Cross-coverage testing of functionally equivalent programs.

Antonia Bertolino Guglielmo De Angelis Felicita Di Giandomenico Francesca Lonetti

Published in: AST (2023)

Keyphrases

set of test cases
test suite
test cases
symbolic execution

testing process
data sets
neural network
information retrieval

genetic algorithm
case study
multiscale
expert systems

information technology
evolutionary algorithm
concurrent programs