C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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