3 citations · 5 across the 4 of their papers we have counts for
6 papers
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
Facundo Molina, Pablo Ponzio, Nazareno Aguirre +1
Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability re…
Bounded Exhaustive Search of Alloy Specification Repairs
Simón Gutiérrez Brida, Germán Regis, Guolong Zhengz +4
The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However,…
FLACK: Counterexample-Guided Fault Localization for Alloy Models
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida +4
Fault localization is a practical research topic that helps developers identify code locations that might cause bugs in a program. Most existing fault localization techniques are d…
On the construction of explosive relation algebras
Carlos G. Lopez Pombo, Marcelo F. Frias, Thomas S. E. Maibaum
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Ha…
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT
Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez +5
Many techniques for automated program repair involve syntactic program transformations. Applying combinations of such transformations on faulty code yields fix candidates whose cor…
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications
Manuel Giménez, Mariano M. Moscato, Carlos G. Lopez Pombo +1
Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and he…