Login / Signup
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution.
Charitha Saumya
Rohan Gangaraju
Kirshanthan Sundararajah
Milind Kulkarni
Published in:
CoRR (2023)
Keyphrases
</>
control flow
symbolic execution
data flow
software testing
test data generation
test generation
case study
specification language
pattern matching
database
source code
workflow management systems
static analysis
business process models