What's old is new again with MIT's latest bug finder

Debugging code is a perennial headache for software developers, but scientists have announced a new technique that could make the process significantly easier.
Developed at MIT’s Computer Science and Artificial Intelligence Laboratory and the University of Maryland, the method essentially bridges the gap between the traditional technique of symbolic execution and today's modern software, making it possible to debug code far more efficiently.
Symbolic execution is a software-analysis techn