Test Generation for Mutation Testing by Symbolic Execution.

Rui Su Zhiyi Zhang Yuqian Zhou Yongming Yao

Published in: QRS Companion (2023)

Keyphrases

test generation
symbolic execution
mutation testing
test cases
test sequences
static analysis
software testing
quality assurance
test data generation
neural network
xml documents
source code
test set
regression testing