Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi. Systematically Exploring the Behavior of Control Programs. In Shan Lu, Erik Riedel, editors, 2015 USENIX Annual Technical Conference, USENIX ATC '15, July 8-10, Santa Clara, CA, USA. pages 165-176, USENIX Association, 2015. [doi]
Abstract is missing.