Automated discovery of state transitions and their functions in source code

Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe. Automated discovery of state transitions and their functions in source code. Softw. Test., Verif. Reliab., 18(2):99-121, 2008. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: