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 technique that can be used to locate and repair bugs automatically by tracing out every path a program might take during execution. The problem is, that technique doesn’t tend to work well with applications written using today’s programming frameworks.
