TITLE     : Cross-coverage testing of functionally equivalent programs
AUTHOR(S) : Bertolino A, De Angelis G, Di Giandomenico F, Lonetti F
TYPE      : Conference article
YEAR      : 2023
CODE      : 485431

*** DO NOT EDIT THIS FILE ***