10 citations · 17 across the 7 of their papers we have counts for
7 papers
Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini +1
Writing temporal logic properties is often a challenging task for users of model-based development frameworks, particularly when translating informal requirements into formal speci…
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools
Andrea Bombarda, Angelo Gargantini
Combinatorial testing is a widely adopted technique for efficiently detecting faults in software. The quality of combinatorial test generators plays a crucial role in achieving eff…
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini +1
Rigorous development processes aim to be effective in developing critical systems, especially if failures can have catastrophic consequences for humans and the environment. Such pr…
An Automated Testing Framework For Smart TV apps Based on Model Separation
Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures
Smart TV application (app) is a new technological software app that can deal with smart TV devices to add more functionality and features. Despite its importance nowadays, far too…
Code-Aware Combinatorial Interaction Testing
Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli +3
Combinatorial interaction testing (CIT) is a useful testing technique to address the interaction of input parameters in software systems. In many applications, the technique has be…
Repairing Timed Automata Clock Guards through Abstraction and Testing
Étienne André, Paolo Arcaini, Angelo Gargantini +1
Timed automata (TAs) are a widely used formalism to specify systems having temporal requirements. However, exactly specifying the system may be difficult, as the user may not know…