Automated Discovery of State Transitions and Their Functions in Source Code
- Authors
 - N. Walkinshaw, K. Bogdanov, S. Ali and M. Holcombe
 - Status
 - Accepted
 - Publication type
 - Journal Article
 - Year of publication
 - 2007
 - Journal
 - Software Testing, Verification and Reliability
 - Publisher
 - John Wiley & Sons
 - Citation key
 - 9204