TY  - JOUR

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

JO  - Automated Software Engineering

PY  - 2010/01/01

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  - 2024/12/22

ER  -