Tutorial I: Efficient symbolic execution for software testing.

Johannes Kinder

Browse the full MEMOCODE paper archive.