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

C. Cadar, D. Dunbar, and D. Engler, KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs, p.OSDI, 2008.

G. Canet, P. Cuoq, and B. Monate, A Value Analysis for C Programs, 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, p.SCAM, 2009.
DOI : 10.1109/SCAM.2009.22

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

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 and N. Kosmatov, A Late Treatment of C??Precondition in Dynamic Symbolic Execution Testing Tools, p.RV, 2013.
DOI : 10.1007/978-3-642-40787-1_20
URL : https://hal.archives-ouvertes.fr/hal-00974764

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

M. D. Ernst, Static and dynamic analysis: Synergy and duality, p.WODA, 2003.
DOI : 10.1145/996821.996823

M. D. Ernst, How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback, p.TAP, 2010.
DOI : 10.1007/978-3-642-13977-2_1

C. Flanagan, K. R. Leino, M. Lillibridge, G. Nelson, J. B. Saxe et al., Extended static checking for Java, p.PLDI, 2002.

P. Godefroid, Compositional dynamic test generation, 2007.
DOI : 10.1145/1190216.1190226
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.655

P. Godefroid, M. Y. Levin, and D. A. Molnar, Automated whitebox fuzz testing, p.NDSS, 2008.

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.

A. Gotlieb, TCAS software verification using constraint programming, The Knowledge Engineering Review, vol.99, issue.03, 2012.
DOI : 10.1109/TSE.2004.22
URL : https://hal.archives-ouvertes.fr/hal-00807905

N. Kosmatov, G. Petiot, and J. Signoles, An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs, p.RV, 2013.
DOI : 10.1007/978-3-642-40787-1_10

V. Kuncak, E. Kneuss, and P. Suter, Executing Specifications Using Synthesis and Constraint Solving, p.RV, 2013.
DOI : 10.1007/978-3-642-40787-1_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.2392

L. Goues, C. Leino, K. R. Moskal, and M. , The boogie verification debugger, p.SEFM, 2011.

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.

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

S. K. Rajamani, Verification, Testing and Statistics, p.FM, 2009.
DOI : 10.1145/1390630.1390634

K. Sen and G. Agha, CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools, p.CAV, 2006.
DOI : 10.1007/11817963_38
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.7926

J. Slaby, J. Strej?ek, and M. Trtík, Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution, p.TACAS, 2013.
DOI : 10.1007/978-3-642-36742-7_50

N. Tillmann and J. De-halleux, Pex???White Box Test Generation for .NET, p.TAP, 2008.
DOI : 10.1007/978-3-540-79124-9_10

J. Tschannen, C. A. Furia, M. Nordio, and B. Meyer, Usable verification of objectoriented programs by combining static and dynamic techniques, p.SEFM, 2011.

M. Weiser, Program Slicing, IEEE Transactions on Software Engineering, vol.10, issue.4, 1981.
DOI : 10.1109/TSE.1984.5010248