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