Automated Discovery of State Transitions and Their Functions in Source Code

Automated Discovery of State Transitions and Their Functions in Source Code

Authors
N. Walkinshaw, K. Bogdanov, S. Ali and M. Holcombe