https://platoaistream.com/plato-data/deep-learning-for-fault-localization-innovation-in-verification-semiwiki/