4 papers · 1 filter
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…
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…