5/12 TOSEM paper accepted: Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, and Sebastián Uchitel. Enabledness-based program abstractions for behaviour validation.
4/12 TSE paper accepted: Dalal Alrajeh, Jeff Kramer, Alessandra Russo, and Sebastián Uchitel. Elaborating requirements using model checking and inductive learning.