Valkovsky, and Mustafina, 2004. Abduction models in software reliability analysis. SPIIRAS Proceedings. 1, 2 (Apr. 2004), 57-63. DOI:https://doi.org/10.15622/sp.2.4.