Execution synthesis: a technique for automated software debugging.
Cristian ZamfirGeorge CandeaPublished in: EuroSys (2010)
Keyphrases
- execution traces
- software testing
- software systems
- software development
- control flow
- source code
- hardware designs
- software architecture
- software package
- data flow
- semi automated
- java programs
- computer systems
- java virtual machine
- software tools
- software design
- static analysis
- user interface
- execution model
- hardware design
- test cases
- design patterns
- software maintenance
- fully automated