TY  - JOUR

T1  - Generating a checking sequence with a minimum number of reset transitions

JO  - Automated Software Engineering

UR  - https://doi.org/10.1007/s10515-009-0061-0

PY  - 2009/12/22

AU  - Hierons RM

AU  - Ural H

ED  - 

DO  - DOI: 10.1007/s10515-009-0061-0

PB  - Springer Science and Business Media LLC

VL  - 17

IS  - 3

SP  - 217

EP  - 250

Y2  - 2025/11/05

ER  -