1. afl-fuzz—American fuzzy lop. https://lcamtuf.coredump.cx/afl/
2. Lecture Notes in Computer Science;M Barnett,2010
3. Lecture Notes in Computer Science;M Barnett,2005
4. Barnett, M., Schulte, W.: Contracts, components, and their runtime verification on the.net platform. Technical report MSR-TR-2002-38, April 2002. https://www.microsoft.com/en-us/research/publication/contracts-components-and-their-runtime-verification-on-the-net-platform/
5. Barnett, M., Schulte, W.: Runtime verification of .NET contracts, vol. 65, pp. 199–208. Elsevier (2003). https://www.microsoft.com/en-us/research/publication/runtime-verification-of-net-contracts/