Cross-coverage testing of functionally equivalent programs.

Antonia Bertolino Guglielmo De Angelis Felicita Di Giandomenico Francesca Lonetti

Published in: CoRR (2023)

Keyphrases

set of test cases
test cases
test suite
symbolic execution
white box testing
code coverage
concurrent programs
software testing
black box
testing process
static analysis
test generation
fixpoint
genetic algorithm
computer programs
answer sets
decision making