David Cortés Sáenz

dblp:162/9463 · also David Cortés · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
2since 2021 · last 2025
0000-0003-1459-6127ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-authorTheory of computation · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2025 Extending Timed Automata with Clock Derivatives
David Cortés Sáenz, Jean Leneutre, Vadim Malvone, James Jerson Ortiz, Pierre-Yves Schobbens
iFM1
2025 MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems
abstract
ABSTRACT To assess test quality, mutation testing (MT) creates mutants by injecting artificial faults into the system and evaluates the ability of tests to distinguish these mutants. Tests distinguishing more mutants have also been proven empirically to detect more real faults. MT has been applied to many domains. We focus on MT for timed safety‐critical systems modelled as Timed Automata (TA). While powerful, MT usually yields equivalent and duplicate mutants, the former having the same behaviour as the original system and the latter other mutants. Such useless mutants bring no value, waste execution time and can be difficult to detect. We integrate useless mutant detection and removal strategies in our mutation framework MUPPAAL. MUPPAAL leverages existing equivalence‐avoiding mutation operators and focuses on detecting mutant duplicates using a scalable bisimulation algorithm and a fast approximate one based on biased simulation. We also demonstrate how to design an operator that reduces the occurrence of mutant duplicates. We evaluate MUPPAAL on six systems, demonstrating that (1) mutant duplicates account for up to 32% of all generated mutants, (2) our bisimulation approach scales effectively with these systems and (3) biased simulations further enhance performance. Our heuristic is 10 times faster than bisimulation and limits the exploration to two times the number of exact duplicates compared to up to 10 times for the baseline.
Jaime Cuartas, David Cortés Sáenz, Joan S. Betancourt, Jesús Aranda, Maxime Cordy, James Jerson Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
Softw. Test. Verification Reliab.2
2015 A fuzzy approach for the selection of non-traditional sheet metal cutting processes
David Cortés Sáenz, Nelly Gordillo Castillo, Carles Riba Romeva, Joaquim Lloveras Macià
Expert Syst. Appl.1