Kirill Bogdanov

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

Automated Discovery of State Transitions and Their Functions in Source Code

Software Testing, Verification and Reliability

S. Ali, K. Bogdanov and N. Walkinshaw

A Comparative Study of Methods for Dynamic Reverse-Engineering of State Models