FSX: fine-grained incremental unit test generation for C/C++ programs.

Hiroaki Yoshida Susumu Tokumoto Mukul R. Prasad Indradeep Ghosh Tadahiro Uehara

Published in: ISSTA (2016)

Keyphrases

fine grained
test generation
symbolic execution
coarse grained
test cases
test sequences
design automation
static analysis
access control
quality assurance
test data generation
data lineage
tightly coupled
software testing
pattern matching
test set
data management
high level
data provenance
case study
database