Test Case Selection Based on Path Condtions of Symbolic Execution.

Kazuki Munakata Shoichiro Fujiwara Susumu Tokumoto Tadahiro Uehara

Published in: APSEC (2012)

Keyphrases

symbolic execution
test case selection
test cases
test data generation
test generation
static analysis
specification language
source code
test set
software testing
data flow
description language
quality assurance
test suite
data sets
error rate
high level
real world
databases