Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution).

Eti Chaudhary Saurabh Joshi

Published in: CoRR (2019)

Keyphrases

symbolic execution
test data generation

test generation
static analysis

specification language
decision trees

data flow
data sets