Finding Errors in Python Programs Using Dynamic Symbolic Execution.

Samir Sapra Marius Minea Sagar Chaki Arie Gurfinkel Edmund M. Clarke

Published in: ICTSS (2013)

Keyphrases

symbolic execution
static analysis
test data generation
source code
test generation
specification language
data flow
data sets
programming language
training data
relational databases
open source