Search Results for author:
Found 3 papers, 1 papers with code
Automated System-level Testing of Unmanned Aerial Systems
Unmanned aerial systems (UAS) rely on various avionics systems that are safety-critical and mission-critical.
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
GURI is a core component of CaReSS, which is responsible for validating incoming data with medical rules.
Efficient Test Data Generation for MC/DC with OCL and Search
Moreover, the combination of both CBR and range reduction for MC/DC test data generation is an effective approach compared to existing constraint solvers.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
