Augmenting Equivalent Mutant Dataset Using Symbolic Execution.

Seungjoon Chung Shin Yoo

Published in: ICST Workshops (2022)

Keyphrases

symbolic execution
test generation
static analysis
source code
test data generation
specification language
database
real world
search space
domain independent
regular expressions
data flow