@inproceedings{inproceedings, title = {{Automated discovery of state transitions and their functions in source code}}, url = {{}}, year = {{2008}}, month = {{6}}, author = {{Walkinshaw N and Bogdanov K and Ali S and Holcombe M}}, doi = {{10.1002/stvr.380}}, volume = {{18}}, journal = {{SOFTWARE TESTING VERIFICATION & RELIABILITY}}, issue = {{2}}, pages = {{99-121}}, note = {{Accessed on 2024/12/22}}}