Neil Walkinshaw Kirill Bogdanov Shaukat Ali Mike Holcombe Automated discovery of state transitions and their functions in source code. 99-121 2008 18 Softw. Test., Verif. Reliab. 2 http://dx.doi.org/10.1002/stvr.380 db/journals/stvr/stvr18.html#WalkinshawBAH08