1. Lecture Notes in Computer Science;G. Balakrishnan,2005
2. Bardin, S., Fleury, E., Herrmann, P., Leroux, J., Ly, O., Sighireanu, M., Tabary, R., Touili, T., Vincent, A.: Description of the BINCOA Model. Deliverable J1.1 part 2 of ANR Project BINCOA (2009), https://bincoa.labri.fr/
3. Bardin, S., Herrmann, P.: Structural Testing of Executables. In: IEEE ICST 2008. IEEE Computer Society, Los Alamitos (2008)
4. Bardin, S., Herrmann, P.: OSMOSE: Automatic Structural Testing of Executables. International Journal of Software Testing, Verification and Reliability (STVR) 21(1) (2011)
5. Brumley, D., Hartwig, C., Kang, M.: BitScope: Automatically Dissecting Malicious Binaries. Carnegie Mellon Uni. technical report CMU, pp. 7–133 (2007)