1. A. Adir, E. Almog, L. Fournier, E. Marcus, M. Rimon, M. Vinov, A. Ziv, Genesys-pro: innovations in test program generation for functional processor verification. Des. Test Comput. 21(2), 84–93 (2004)
2. M. Aharoni, S. Asaf, L. Fournier, A. Koifman, R. Nagel, FPGEN—a test generation framework for datapath floating-point verification, in Proceedings of the 8th IEEE International High-Level Design Validation and Test Workshop (2003), pp. 17–22
3. R.T. Alexander, J. Offutt, A. Stefik, Testing coupling relationships in object-oriented programs. STVR 20(4), 291–327 (2010)
4. American fuzzy lop (2018).
http://lcamtuf.coredump.cx/afl/
5. N. Bombieri, F. Fummi, G. Pravadelli, A mutation model for the SystemC TLM 2.0 communication interfaces, in Proceedings of the 2008 Design, Automation and Test in Europe (2008), pp. 396–401