Testing concolic execution through consistency checks.

Emilio Coppa Alessio Izzillo

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

Keyphrases

consistency checks
testing process
test cases
software testing
neural network
code generation
database
data mining
genetic algorithm
computer vision
mobile robot
test data
parallel execution
execution environment
concurrent execution