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 - 2025/05/16 ER -