Benjamin Garry Davis

Leveraging Formal Methods and Fuzzing to Verify Security and Reliability Properties of Large-Scale High-Consequence Systems

Jackson R. Mayo, Joseph R. Ruthruff, Ratish J. Punnoose, 2012 .