Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation.
Long H. PhamQuang Loc LeQuoc-Sang PhanJun SunShengchao QinPublished in: ATVA (2019)
Keyphrases
- symbolic execution
- test generation
- test data generation
- test cases
- simulated annealing algorithm
- static analysis
- generation algorithm
- specification language
- data structure
- source code
- software testing
- logic programming
- test suite
- artificial intelligence
- orders of magnitude
- general purpose
- databases
- data flow
- fitness function
- quality assurance
- query processing
- xml documents
- search algorithm