activity
20112026
most citedDeveloping a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA

10 citations · 17 across the 7 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

cs.SE2019

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…

cs.LO2019

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…