symbolic execution

Symbolic execution is a technique for automated testing.

In my 20% time, I am collaborating with Stefan Bucur and Prof George Candea of DSLAB (EPFL) on scaling this technique and making it usable.

Expect some open source software linked from here soon.

Comments