Login / Signup
Applying Slicing-based Testability Transformation to Improve Test Data Generation with Symbolic Execution.
Hsin-Yu Chien
Chin-Yu Huang
Chih-Chiang Fang
Published in:
Int. J. Perform. Eng. (2021)
Keyphrases
</>
test data generation
symbolic execution
simulated annealing algorithm
search based testing
test cases
test generation
software testing
generation algorithm
fitness function
simulated annealing
high level
multi objective
knowledge management
test data
static analysis
specification language