A small step to a massive improvement in software reliability