research
∙
03/09/2023
ACoRe: Automated Goal-Conflict Resolution
System goals are the statements that, in the context of software require...
share
research
∙
01/29/2023
Specification Inference for Evolving Systems
In this paper, we propose an assertion-based approach to capture softwar...
research
∙
01/28/2023
Assertion Inferring Mutants
Specification inference techniques aim at (automatically) inferring a se...
research
∙
01/26/2022
Fuzzing Class Specifications
Expressing class specifications via executable constraints is important ...
research
∙
05/26/2021
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
The reactive synthesis problem consists of automatically producing corre...
research
∙
02/27/2021
Bounded Exhaustive Search of Alloy Specification Repairs
The rising popularity of declarative languages and the hard to debug nat...
research
∙
02/26/2021
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
Software reliability is a primary concern in the construction of softwar...
research
∙
02/19/2021
FLACK: Counterexample-Guided Fault Localization for Alloy Models
Fault localization is a practical research topic that helps developers i...
research
∙
10/30/2019