Program abstractions for behaviour validation. - de Caso, Guido; Braberman, Víctor; Garbervetsky, Diego; Uchitel, Sebastián (ICSE: International Conference on Software Engineering, 2011)