MultiSE: multi-path symbolic execution using value summaries.
Koushik SenGeorge C. NeculaLiang GongWontae ChoiPublished in: ESEC/SIGSOFT FSE (2015)
Keyphrases
- multipath
- symbolic execution
- static analysis
- test data generation
- test generation
- source code
- specification language
- end to end
- multi path routing
- routing algorithm
- multiple paths
- data flow
- fading channels
- wireless ad hoc networks
- bit error rate
- mobile ad hoc networks
- multiresolution
- open source
- simulated annealing algorithm
- case study
- test cases
- response time
- evolutionary algorithm