Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems.
Gürcan GülesirKlaas van den BergLodewijk BergmansMehmet AksitPublished in: Empir. Softw. Eng. (2009)
Keyphrases
- source code
- event driven
- experimental evaluation
- open source
- software systems
- software maintenance
- software engineers
- maintenance activities
- symbolic execution
- legacy systems
- open source software
- text files
- object oriented systems
- program understanding
- software projects
- plagiarism detection
- automated tools
- high level
- execution traces
- mining software repositories
- reusable components
- real time
- open source projects
- computer systems
- java code
- impact analysis
- free software