3 papers
cs.SE2020
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…
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…