DSDSR: a tool that uses dynamic symbolic execution for data structure repair.

Ishtiaque Hussain Christoph Csallner

Published in: WODA (2010)

Keyphrases

data structure
symbolic execution
static analysis
test generation
test data generation
database
software engineering
case study