12 citations · 17 across the 11 of their papers we have counts for
14 papers
Agentic Generation and Evolution of Knowledge Models
Man Zhang, Tao Yue, Nazareno M. Aguirre +2
Complex software systems such as autonomous vehicles, robotics increasingly interact with dynamic physical, cyber, and social environments. Reasoning about their behavior, maintain…
Improving Dynamic Specification Inference with LLM-Generated Counterexamples
Agustín Balestra, Agustín Nolasco, Facundo Molina +3
Contract assertions, such as preconditions, postconditions, and invariants, play a crucial role in software development, enabling applications such as program verification, test ge…
State Field Coverage: A Metric for Oracle Quality
Facundo Molina, Nazareno Aguirre, Alessandra Gorla
The effectiveness of testing in uncovering software defects depends not only on the characteristics of the test inputs and how thoroughly they exercise the software, but also on th…
Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
Pablo F. Castro, Luciano Putruele, Renzo Degiovanni +1
We present an approach to automatically synthesize synchronized models from lightweight formal specifications. Our approach takes as input a specification of a distributed system a…
ACoRe: Automated Goal-Conflict Resolution
Luiz Carvalho, Renzo Degiovanni, Matìas Brizzio +4
System goals are the statements that, in the context of software requirements specification, capture how the software should behave. Many times, the understanding of stakeholders o…
Specification Inference for Evolving Systems
Renzo Degiovanni, Facundo Molina, Agustin Nolasco +2
In this paper, we propose an assertion-based approach to capture software evolution, through the notion of commit-relevant specification. A commit-relevant specification summarises…
Assertion Inferring Mutants
Aayush Garg, Renzo Degiovanni, Facundo Molina +4
Specification inference techniques aim at (automatically) inferring a set of assertions that capture the exhibited software behaviour by generating and filtering assertions through…
Fuzzing Class Specifications
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but dev…
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
Matías Brizzio, Maxime Cordy, Mike Papadakis +3
The reactive synthesis problem consists of automatically producing correct-by-construction operational models of systems from high-level formal specifications of their behaviours.…
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…
Proceedings First Latin American Workshop on Formal Methods
Nazareno Aguirre, Leila Ribeiro
Formal approaches to software development are techniques that aim at developing quality software by employing notations, analysis processes, etc., based on mathematical grounds. Al…