TY  - CONF

T1  - Automated discovery of state transitions and their functions in source code

JO  - SOFTWARE TESTING VERIFICATION & RELIABILITY

PY  - 2008/06/01

AU  - Walkinshaw N

AU  - Bogdanov K

AU  - Ali S

AU  - Holcombe M

ED  - 

DO  - DOI: 10.1002/stvr.380

VL  - 18

IS  - 2

SP  - 99

EP  - 121

Y2  - 2024/12/22

ER  -