Gastón Scilingo

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 2

Top Topics

Formal Verification

Boolean Expressions

Object Identity

Top Venues

Publications

Pablo Ponzio, Valeria S. Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre, Marcelo F. Frias
On the effect of object redundancy elimination in randomly testing collection classes. SBST@ICSE (2018)
Simón Gutiérrez Brida, Gastón Scilingo
Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions. CLEI (2017)
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. LAFM (2013)
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre
Analyzing formal requirements specifications using an off-the-shelf model checker. CLEI (2013)
Javier Blanco, Leticia Losano, Nazareno Aguirre, María Marta Novaira, Sonia Permigiani, Gastón Scilingo
An introductory course on programming based on formal specification and program calculation. ACM SIGCSE Bull. 41 (2) (2009)