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.

I. Boudhiba, C. Gaston, P. L. Gall, and V. Prevosto, Input ouput symbolic transitions systems enriched by program calls and contracts : a detailed example of a vending machine, 2015.

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.
DOI : 10.1109/icse.1999.841011

R. W. Floyd, Assigning meanings to programs, Proc. AMS Symp. on Applied Mathematics, vol.19, 1967.
DOI : 10.1090/psapm/019/0235771

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.
DOI : 10.1007/978-3-642-48354-7_17

URL : http://www.utdallas.edu/~kxh060100/cs6371fa07/hoare.pdf

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/11408901_21

URL : https://hal.archives-ouvertes.fr/cea-01808981

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

URL : http://www.mysmu.edu/faculty/davidlo/papers/icse12-symbolic.pdf

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

URL : http://www.inf.ethz.ch/~meyer/publications/computer/contract.pdf

, Object Management Group. OMG Unified Modeling Language TM (OMG UML), version 2.5 edition, 2013.

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.