Automated discovery of state transitions and their functions in source code.
Neil WalkinshawKirill BogdanovShaukat AliMike HolcombePublished in: Softw. Test. Verification Reliab. (2008)
Keyphrases
- source code
- automated discovery
- state transitions
- open source
- state transition
- software systems
- knowledge discovery
- software projects
- static analysis
- software maintenance
- open source software
- text files
- symbolic execution
- object oriented systems
- plagiarism detection
- software evolution
- open source projects
- program understanding
- software repositories
- free software
- program slicing
- version control
- reverse engineer
- data mining
- bug localization
- automated tools
- mailing lists
- input output
- search space
- data analysis
- reinforcement learning
- machine learning