B. Bannour, Symbolic analysis of scenario based timed models for componentbased systems: Compositionality results for testing

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

N. Bjørner, N. Tillmann, and A. Voronkov, Path feasibility analysis for stringmanipulating programs, 15th Int. Conf., TACAS, 2009.

P. Chalin, J. R. Kiniry, G. T. Leavens, and E. Poll, Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2, 4th Int. Symposium, FMCO, volume 4111 of Lecture Notes in Computer Science, 2006.
DOI : 10.1007/11804192_16

P. Cousot, R. Cousot, and F. Logozzo, Precondition Inference from Intermittent Assertions and Application to Contracts on Collections, Proc. VMCAI, 2011.
DOI : 10.1007/11547662_21
URL : https://hal.archives-ouvertes.fr/inria-00543881

C. Csallner, N. Tillmann, and Y. Smaragdakis, DySy, Proceedings of the 13th international conference on Software engineering , ICSE '08, 2008.
DOI : 10.1145/1368088.1368127

J. Deltour, A. Faivre, E. Gaudin, and A. Lapitre, Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY, 8th Int. Conference, 2014.
DOI : 10.1007/978-3-319-11743-0_14

M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, Dynamically discovering likely program invariants to support program evolution, Trans. Soft. Eng, vol.27, 2001.

R. W. Floyd, Assigning meanings to programs, Proc. AMS Symp. on Applied Mathematics, vol.19, 1967.

C. Gaston, P. L. Gall, N. Rapin, and A. Touil, Symbolic Execution Techniques for Test Purpose Definition, Testing of Communicating Systems, Int. Conference, TestCom, 2006.
DOI : 10.1007/11754008_1
URL : https://hal.archives-ouvertes.fr/hal-00342082

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, 1969.

S. Jehan, I. Pill, and F. Wotawa, Functional SOA testing based on constraints, 2013 8th International Workshop on Automation of Software Test (AST), 2013.
DOI : 10.1109/IWAST.2013.6595788

J. C. King, Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, 1976.
DOI : 10.1145/360248.360252

F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Frama-C: A software analysis perspective, Formal Aspects of Computing, vol.12, issue.1???2, 2015.
DOI : 10.1007/s00165-014-0326-7

S. Kumar, S. Khoo, A. Roychoudhury, and D. Lo, Inferring class level specifications for distributed systems, 2012 34th International Conference on Software Engineering (ICSE), 2012.
DOI : 10.1109/ICSE.2012.6227128

D. Lo and S. Maoz, Scenario-based and value-based specification mining, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, 2012.
DOI : 10.1145/1858996.1859081

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, 1992.
DOI : 10.1109/2.161279

P. H. Schmitt and B. Weiß, Inferring invariants by symbolic execution, CEUR Workshop Proceedings, 2007.

J. Tretmans, Conformance testing with labelled transition systems: Implementation relations and test generation, Computer Networks and ISDN Systems, vol.29, issue.1, 1996.
DOI : 10.1016/S0169-7552(96)00017-7

Y. Wang, Y. Xing, and X. Zhang, A Method of Path Feasibility Judgment Based on Symbolic Execution and Range Analysis, International Journal of Future Generation Communication and Networking, vol.7, issue.3, 2014.
DOI : 10.14257/ijfgcn.2014.7.3.19

Y. Wei, C. A. Furia, N. Kazmin, and B. Meyer, Inferring better contracts, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011.
DOI : 10.1145/1985793.1985820

L. Zhang, G. Yang, N. Rungta, S. Person, and S. Khurshid, Invariant discovery guided by symbolic execution, The Java PathFinder Workshop, 2013.