2 citations · 5 across the 9 of their papers we have counts for
13 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…