From the 2 of 20 linked papers with an AI index.
20 papers
Search-Based Generation of Undetected Quantum Circuit Mutants
Eñaut Mendiluze Usandizaga, Thomas Laurent, Paolo Arcaini +1
Quantum mutation analysis is emerging as an essential technique for evaluating test suites due to the limited availability of real faulty quantum programs. However, existing quantu…
Automatic Testing of Interacting Autonomous Vehicles
Fabio Cavaleri, Alessio Gambi, Paolo Arcaini +2
The paper introduces EVITA, a method that uses multi‑objective optimization to automatically generate diverse simulation scenarios that involve multiple interacting autonomous vehi…
RepTran: Search-Based Repair of Transformer Models
Yuta Ishimoto, Paolo Arcaini, Fuyuki Ishikawa +3
The paper introduces RepTran, a search‑based method that repairs Transformer models by identifying and optimizing suspicious feed‑forward network weights using variance‑based and b…
VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
Prasun Saurabh, Pablo Valle, Aitor Arrieta +2
Testing robots requires assessing whether they perform their intended tasks correctly, dependably, and with high quality, a challenge known as the test oracle problem in software t…
Robust Mutation Analysis of Quantum Programs Under Noise
Sophie Fortz, Eñaut Mendiluze Usandizaga, Shaukat Ali +2
Mutation analysis has long been used in classical software testing and has recently been adopted for assessing the robustness of quantum software testing techniques. However, exist…
Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
Hassan Sartaj, Shaukat Ali, Paolo Arcaini +1
Search-based software engineering (SBSE), which integrates metaheuristic search techniques with software engineering, has been an active area of research for about 25 years. It has…