1. Accessed: 2021. The implementation of modernized HDD. https://github.com/renatahodovan/picireny Accessed: 2021. The implementation of modernized HDD. https://github.com/renatahodovan/picireny
2. Accessed: 2021. Tensorflow tutorials. https://www.tensorflow.org/guide Accessed: 2021. Tensorflow tutorials. https://www.tensorflow.org/guide
3. Accessed: 2021. xmllint. http://xmlsoft.org/xmllint.html Accessed: 2021. xmllint. http://xmlsoft.org/xmllint.html
4. Exploiting count spectra for Bayesian fault localization
5. Supratik Chakraborty Dror Fried Kuldeep S Meel and Moshe Y Vardi. 2015. From Weighted to Unweighted Model Counting. In IJCAI. 689–695. https://dl.acm.org/doi/10.5555/2832249.2832345 Supratik Chakraborty Dror Fried Kuldeep S Meel and Moshe Y Vardi. 2015. From Weighted to Unweighted Model Counting. In IJCAI. 689–695. https://dl.acm.org/doi/10.5555/2832249.2832345