Blanket Execution: Dynamic Similarity Testing for Program Binaries and Components.
Manuel EgeleMaverick WooPeter ChapmanDavid BrumleyPublished in: USENIX Security Symposium (2014)
Keyphrases
- control flow
- symbolic execution
- test cases
- software testing
- similarity measure
- source code
- program execution
- testing process
- dynamic environments
- building blocks
- euclidean distance
- similarity function
- semantic similarity
- test data generation
- test generation
- dynamic analysis
- neural network
- execution traces
- concurrent programs
- information systems
- edit distance
- search based software testing
- code generation
- data flow
- software components
- business processes
- search engine