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…