3 citations · 5 across the 4 of their papers we have counts for
5 papers · 1 filter
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…
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…