This study audits four quantum mutation-testing tools and three curated bug benchmarks, and collects 410 verified bugs from ten quantum software repositories over two years to provide empirical evidence to guide fault models and benchmarks that capture these mechanisms and preserve the contexts needed to reproduce them...
Asif Mohammed Saad, A. Sabit, Jonah Brandenburgh et al.· 0 citations
This work presents PROGRESS (PROperty-Guided REgression Search for Semantic Falsification), integrating intent-driven properties into coverage-guided, search-based evolutionary test generation to reach deep program states and detect violations of intended behavior.
D. Mo, Noshin Ulfat, Matthew B. Dwyer et al.· arXiv.org· 0 citations
OE25𝑑𝑒𝑣, a multi-variant dataset curated from developer-written unit tests across 25 open-source Java projects spanning 56 modules, and TOGBench, an end-to-end benchmark suite for TOG, which captures six oracle categories and preserves realistic settings, are introduced.
Tasfia Tasnim, Matthew B. Dwyer, Soneya Binta Hossain· AIware· 1 citation
Future TOG systems should be evaluated not only by whether they predict the correct oracle type, but also by whether their predictions are grounded in meaningful exception-triggering evidence, to challenge the assumption that strong exception-oracle accuracy reflects robust use of exception semantics.
Soneya Binta Hossain, Matthew B. Dwyer, Tasfia Tasnim· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.