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