Using likely invariants for test data generation.

Mohammad Nosrati Hassan Haghighi Mojtaba Vahidi-Asl

Published in: J. Syst. Softw. (2020)

Keyphrases

test data generation
test cases
simulated annealing algorithm
search based testing
symbolic execution
test case generation
software testing
generation algorithm
simulated annealing
fitness function
training set
neural network
real world
test set
test generation