1. Miller BP, Fredriksen L, So B. An Empirical Study of the Reliability of UNIX Utilities. In: In Proceedings of the Workshop of Parallel and Distributed Debugging. Academic Medicine; 1990. p. 32–44.
2. Symbolic Execution and Program Testing;JC King;Commun ACM,1976
3. Zalewski M. American Fuzzy Lop;. http://lcamtuf.coredump.cx/afl/.
4. Kuznetsov V, Chipounov V, Candea G. Testing closed-source binary device drivers with DDT. In: USENIX Annual Technical Conference. EPFL-CONF-147243; 2010.
5. Chipounov V, Georgescu V, Zamfir C, Candea G. Selective symbolic execution. In: Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep). DSLAB-CONF-2009-002; 2009.