AI enables software reliability