J. Arndt, Matters Computational -Ideas, Algorithms, Source Code, 2010.

P. Baudin, P. Cuoq, J. C. Filliâtre, C. Marché, B. Monate et al., ACSL : ANSI/ISO C Specification Language

C. Boyapati, S. Khurshid, and D. Marinov, Korat : automated testing based on Java predicates, Proceedings of the International Symposium on Software Testing and Analysis, pp.123-133, 2002.

F. Butelle, F. Hivert, M. Mayero, and F. Toumazet, Formal Proof of SCHUR Conjugate Function, Intelligent Computer Mathematics, pp.158-171, 2010.
DOI : 10.1007/978-3-642-14128-7_15
URL : https://hal.archives-ouvertes.fr/hal-00477574

M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak et al., Test generation through programming in UDITA, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.1-8, 2010.
DOI : 10.1145/1806799.1806835

F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Frama-C : a Software Analysis Perspective. Formal Aspects of Computing

D. L. Kreher and D. R. Stinson, Combinatorial algorithms, ACM SIGACT News, vol.30, issue.1, 1999.
DOI : 10.1145/309739.309744

D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard, An evaluation of exhaustive testing for data structures, 2003.

A. Milicevic, S. Misailovic, D. Marinov, and S. Khurshid, Korat: A Tool for Generating Structurally Complex Test Inputs, 29th International Conference on Software Engineering (ICSE'07), pp.771-774, 2007.
DOI : 10.1109/ICSE.2007.48

G. Petiot, B. Botella, J. Julliand, N. Kosmatov, and J. Signoles, Instrumentation of Annotated C Programs for Test Generation, 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, 2014.
DOI : 10.1109/SCAM.2014.19

G. Petiot, N. Kosmatov, A. Giorgetti, and J. Julliand, How Test Generation Helps Software Specification and Deductive Verification in Frama-C, Tests and Proofs -8th International Conference, pp.204-211, 2014.
DOI : 10.1007/978-3-319-09099-3_16
URL : https://hal.archives-ouvertes.fr/hal-01108553

F. Ruskey, Combinatorial Generation Working Version (1j-CSC 425/520), 2003.

V. Senni and F. Fioravanti, Generation of Test Data Structures Using Constraint Logic Programming, Lecture Notes in Computer Science, vol.7305, pp.115-131, 2012.
DOI : 10.1007/978-3-642-30473-6_10

K. J. Sullivan, J. Yang, D. Coppit, S. Khurshid, and D. Jackson, Software assurance by bounded exhaustive testing, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, pp.133-142, 2004.