LLSC: a parallel symbolic execution compiler for LLVM IR.
Guannan WeiShangyin TanOliver BracevacTiark RompfPublished in: ESEC/SIGSOFT FSE (2021)
Keyphrases
- symbolic execution
- distributed memory machines
- test generation
- test data generation
- parallel execution
- information retrieval
- static analysis
- parallel programming
- specification language
- programming language
- software systems
- level parallelism
- data flow
- shared memory
- optimization algorithm
- general purpose
- domain independent
- source code
- artificial intelligence
- neural network