Program abstractions for behaviour validation.

Guido de Caso, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel

Browse the full ICSE paper archive.