An introductory course on programming based on formal specification and program calculation. - Javier Blanco; Leticia Losano; Nazareno Aguirre; María Marta Novaira; Sonia Permigiani; Gastón Scilingo (ACM SIGCSE Bull., 2009)

Analyzing formal requirements specifications using an off-the-shelf model checker. - Gastón Scilingo; María Marta Novaira; Renzo Degiovanni; Nazareno Aguirre (CLEI, 2013)

Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. - Gastón Scilingo; María Marta Novaira; Renzo Degiovanni (LAFM, 2013)

Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions. - Simón Gutiérrez Brida; Gastón Scilingo (CLEI, 2017)

On the effect of object redundancy elimination in randomly testing collection classes. - Pablo Ponzio; Valeria S. Bengolea; Simón Gutiérrez Brida; Gastón Scilingo; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2018)