Systematically Exploring the Behavior of Control Programs. (2015)

by J Croft, R Mahajan, M Caesar, M Musuvathi
Venue:In ATC. USENIX,