Building a testing-free future
Testing is a cornerstone of quality software design. And yet, it’s time consuming, labor and resource intensive, and extremely difficult to do exhaustively. In fact, most software in use today is so complex that thorough testing is practically impossible. A group of researchers from U-M envision a smarter alternative: why not let math do the heavy lifting of… Read More »