Skip to content

Cross-coverage testing of functionally equivalent programs.

Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti

VenueCAST
Year2023
ProceedingsAST

Browse the full AST paper archive.