Gastón Scilingo

According to our database, Gastón Scilingo authored at least 5 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

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

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

2017

Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions.

Simón Gutiérrez Brida, Gastón Scilingo

Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

2013

Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking.

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Analyzing formal requirements specifications using an off-the-shelf model checker.

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre

Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013

2009

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