VLDB 2026 Research / reviewers in the wild / expert
David Cortés Sáenz
dblp:162/9463 · also David Cortés
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Extending Timed Automata with Clock Derivatives
David Cortés Sáenz, Jean Leneutre, Vadim Malvone, James Jerson Ortiz, Pierre-Yves Schobbens |
iFM | 1 |
| 2025 | MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based SystemsabstractABSTRACT 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 |