Why do programs fail? For as far as we've come since the very first time Ada Lovelace saw the potential of universal computation in the 19th century, our software still has bugs. Over the years, even ...