Xiaozhen Xue, Akbar Siami Namin. Measuring the Odds of Statements Being Faulty. In Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk, editors, Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings. Volume 7896 of Lecture Notes in Computer Science, pages 109-126, Springer, 2013. [doi]
Abstract is missing.