Cross-coverage testing of functionally equivalent programs

Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico +1

Cross-coverage of a program P refers to the test coverage measured over a different program Q that is functionally equivalent to P. The novel concept of cross-coverage can find use…