Efficient symbolic execution for software testing.

Johannes Kinder

Browse the full FMCAD paper archive.