Cross-coverage testing of functionally equivalent programs.
Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti
Browse the full AST paper archive.
Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti
Browse the full AST paper archive.