Debugging system for complex analysis of programs that import huge swaths of commonly used code

Wednesday, May 25, 2016 - 05:21 in Mathematics & Economics

Symbolic execution is a powerful software-analysis tool that can be used to automatically locate and even repair programming bugs. Essentially, it traces out every path that a program's execution might take.

Read the whole article on Physorg

More from Physorg

Latest Science Newsletter

Get the latest and most popular science news articles of the week in your Inbox! It's free!

Check out our next project, Biology.Net