1. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs;Cadar Cristian;OSDI,2008
2. Neal Cardwell Yuchung Cheng Lawrence Brakmo Matt Mathis Barath Raghavan Nandita Dukkipati Hsiao keng Jerry Chu Andreas Terzis and Tom Herbert. 2013. packetdrill: Scriptable Network Stack Testing from Sockets to Packets. In Presented as part of the 2013 USENIX Annual Technical Conference (USENIX ATC 13). USENIX San Jose CA 213--218. https://www.usenix.org/conference/atc13/technical-sessions/presentation/cardwell Neal Cardwell Yuchung Cheng Lawrence Brakmo Matt Mathis Barath Raghavan Nandita Dukkipati Hsiao keng Jerry Chu Andreas Terzis and Tom Herbert. 2013. packetdrill: Scriptable Network Stack Testing from Sockets to Packets. In Presented as part of the 2013 USENIX Annual Technical Conference (USENIX ATC 13). USENIX San Jose CA 213--218. https://www.usenix.org/conference/atc13/technical-sessions/presentation/cardwell
3. Neal Cardwell and Barath Raghavan. 2013. Drilling Network Stacks with packetdrill. (2013). Neal Cardwell and Barath Raghavan. 2013. Drilling Network Stacks with packetdrill. (2013).