Keyphrases
- symbolic execution
- test generation
- test cases
- static analysis
- test data generation
- semantic annotation
- search based software testing
- automatic annotation
- metadata
- source code
- formal verification
- software testing
- concurrent programs
- hardware designs
- active learning
- dynamic analysis
- databases
- database
- test suite
- image annotation
- test data
- program execution
- asynchronous circuits
- semi automatic
- annotation tool
- artificial intelligence
- machine learning