KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Date:
12/9/2008
Authors:
Cristian Cadar::Stanford University
Daniel Dunbar::Stanford University
Dawson Engler::Stanford University
Paper/Abstract HTML:
Award:
Groups audience: