1 citations · 3 across the 6 of their papers we have counts for
4 papers · 1 filter
Software Testing in the Quantum World
Rui Abreu, Shaukat Ali, Paolo Arcaini +11
Quantum computing offers significant speedups for simulating physical, chemical, and biological systems, and for optimization and machine learning. As quantum software grows in com…
Does Road Diversity Really Matter in Testing Automated Driving Systems? -- A Registered Report
Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano +3
Background/Context. The use of automated driving systems (ADSs) in the real world requires rigorous testing to ensure safety. To increase trust, ADSs should be tested on a large se…
On the Need for Multi-Level ADS Scenarios
Stefan Klikovits, Paolo Arcaini
Currently, most existing approaches for the design of Automated Driving System (ADS) scenarios focus on the description at one particular abstraction level typically the most detai…
Architecture-Guided Test Resource Allocation Via Logic
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits +4
We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree represe…