Systematically Exploring the Behavior of Control Programs.

Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi

Browse the full USENIX paper archive.