K. Y. Ahn and E. Denney, Testing First-Order Logic Axioms in Program Verification, p.TAP, 2010.
DOI : 10.1007/978-3-642-13977-2_4

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

D. Beyer, T. Henzinger, and G. Theoduloz, Program Analysis with Dynamic Precision Adjustment, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, p.ASE, 2008.
DOI : 10.1109/ASE.2008.13

B. Botella, M. Delahaye, S. Hong-tuan-ha, N. Kosmatov, P. Mouy et al., Automating structural testing of C programs: Experience with PathCrawler, 2009 ICSE Workshop on Automation of Software Test, p.AST, 2009.
DOI : 10.1109/IWAST.2009.5069043

A. D. Brucker and B. Wolff, On theorem prover-based testing, Formal Aspects of Computing, vol.29, issue.4, 2012.
DOI : 10.1007/s00165-012-0222-y

O. Chebaro, N. Kosmatov, A. Giorgetti, and J. Julliand, Program slicing enhances a verification technique combining static and dynamic analysis, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, p.SAC, 2012.
DOI : 10.1145/2245276.2231980
URL : https://hal.archives-ouvertes.fr/hal-00746814

M. Christakis, P. Müller, and V. Wüstholz, Collaborative Verification and Testing with Explicit Assumptions, p.FM, 2012.
DOI : 10.1007/978-3-642-32759-9_13

K. Claessen and H. Svensson, Finding Counter Examples in Induction Proofs, In: TAP, 2008.
DOI : 10.1007/978-3-540-79124-9_5

L. Correnson and J. Signoles, Combining Analyses for C Program Verification, In: FMICS, 2012.
DOI : 10.1007/978-3-642-32469-7_8

C. Csallner and T. Xie, DSD-Crasher: A hybrid analysis tool for bug finding, p.ISSTA, 2006.

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-C a software analysis perspective, p.SEFM, 2012.

M. Delahaye, N. Kosmatov, and J. Signoles, Common specification language for static and dynamic analysis of C programs, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, p.SAC, 2013.
DOI : 10.1145/2480362.2480593
URL : https://hal.archives-ouvertes.fr/hal-00853721

C. Gladisch, Could We Have Chosen a Better Loop Invariant or Method Contract?, p.TAP, 2009.
DOI : 10.1007/978-3-540-73770-4_3

P. Godefroid, A. V. Nori, S. K. Rajamani, and S. D. Tetali, Compositional may-must program analysis: unleashing the power of alternation, p.POPL, 2010.

G. Klein, From a Verified Kernel towards Verified Systems, p.APLAS, 2010.
DOI : 10.1007/978-3-642-17164-2_3

G. T. Leavens, Y. Cheon, C. Clifton, C. Ruby, and D. R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, p.FMCO, 2003.

G. Petiot, N. Kosmatov, A. Giorgetti, and J. Julliand, StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C, Tech. rep, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00992159

N. Polikarpova, C. A. Furia, and S. West, To Run What No One Has Run Before: Executing an Intermediate Verification Language, p.RV, 2013.
DOI : 10.1007/978-3-642-40787-1_15

J. Signoles, E-ACSL: Executable ANSI/ISO C Specification Language