Prototyping symbolic execution engines for interpreted languages.

Stefan Bucur, Johannes Kinder, George Candea

Browse the full ASPLOS paper archive.