Keyphrases
- static analysis
- computer systems
- software tools
- program understanding
- test cases
- software development
- software systems
- databases
- programming environments
- program comprehension
- test bed
- control flow
- programming environment
- software projects
- hardware designs
- computer hardware
- dynamic analysis
- software packages
- data flow
- analysis tool
- computer programs
- modeling language
- commercial software
- test data generation
- source code
- programming language
- real time
- execution traces
- personal computer
- search based software testing