Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel. Program abstractions for behaviour validation. In Richard N. Taylor, Harald Gall, Nenad Medvidovic, editors, Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011. pages 381-390, ACM, 2011. [doi]
Abstract is missing.