S. Anand, P. Godefroid, and N. Tillmann, Demand-Driven Compositional Symbolic Execution, Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.367-381, 2008.
DOI : 10.1007/978-3-540-78800-3_28
URL : http://research.microsoft.com/pubs/70499/tr-2007-138.pdf

S. Anand, C. S. , and W. Visser, JPF???SE: A Symbolic Execution Extension to Java PathFinder, Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.134-138, 2007.
DOI : 10.1007/978-3-540-71209-1_12
URL : http://ase.arc.nasa.gov/people/pcorina/papers/jpfseTACAS07.pdf

M. Arnaud, B. Bannour, and A. Lapitre, An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios, Electronic Notes in Theoretical Computer Science, vol.320, pp.21-34, 2016.
DOI : 10.1016/j.entcs.2016.01.003
URL : https://hal.archives-ouvertes.fr/hal-01812130

D. Babic and A. J. Hu, Structural abstraction of software verification conditions, Proceedings of the 19th International Conference on Computer Aided Verification, pp.366-378, 2007.

B. Bannour, J. P. Escobedo, C. Gaston, and P. L. Gall, Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing, Testing Software and Systems, pp.119-135, 2012.
DOI : 10.1007/978-3-642-34691-0_10
URL : https://hal.archives-ouvertes.fr/hal-01482398

B. Bannour, C. Gaston, M. Aiguier, and A. Lapitre, Results for Compositional Timed Testing, 2013 20th Asia-Pacific Software Engineering Conference (APSEC), pp.559-564, 2013.
DOI : 10.1109/APSEC.2013.81
URL : https://hal.archives-ouvertes.fr/hal-01812126

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

I. Boudhiba, C. Gaston, P. L. Gall, and V. Prevosto, Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts, Testing Software and Systems -27th IFIP WG 6.1 International Conference, ICTSS, pp.35-51, 2015.
DOI : 10.1007/978-3-319-25945-1_3
URL : https://hal.archives-ouvertes.fr/hal-01470156

C. Cadar and D. Engler, Execution Generated Test Cases: How to Make Systems Code Crash Itself, Software Model Checking, 2005.
DOI : 10.1007/11537328_2
URL : http://www.stanford.edu/~cristic/papers/egt-spin-05.pdf

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

A. Lori and . Clarke, A system to generate test data and symbolically execute programs, IEEE Trans. Softw. Eng, pp.215-222, 1976.

, The consortium Sesam-Grids. The Sesam-Grids Project

, CREST, pp.2017-2020

J. Deltour, A. Faivre, E. Gaudin, and A. Lapitre, Model-based testing: An approach with SDL/RTDS and DIVERSITY 15. DIVERSITY. https://projects.eclipse.org/proposals/ eclipse-formal-modeling-project, In SAM LNCS, vol.8769, pp.2017-2020, 2014.

D. Engler and D. Dunbar, Under-constrained execution, Proceedings of the 2007 international symposium on Software testing and analysis, ISSTA '07, pp.1-4, 2007.
DOI : 10.1145/1273463.1273464

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

P. Godefroid, N. Klarlund, and K. Sen, Dart: Directed automated random testing, PLDI 05 Programming Language Design and Implementation, pp.213-223, 2005.

P. Godefroid, N. Klarlund, and K. Sen, Dart: Directed automated random testing, SIGPLAN Not, pp.213-223, 2005.

D. Gopan and T. Reps, Low-Level Library Analysis and Summarization, Proceedings of the 19th International Conference on Computer Aided Verification, pp.68-81, 2007.
DOI : 10.1007/978-3-540-73368-3_10

. Jcute, , pp.2017-2020

S. Khurshid and Y. L. Suen, Generalizing symbolic execution to library classes, SIGSOFT Softw. Eng. Notes, pp.103-110, 2005.

N. Kicillof, W. Grieskamp, N. Tillmann, and V. Braberman, Achieving both model and code coverage with automated gray-box testing Advances in Model-Based Testing (A-MOST) ACM, 2007. 24. MathWorks. The Simulink documentation

P. Mouy, B. Marre, N. Willams, and P. L. Gall, Generation of All-Paths Unit Test with Function Calls, 2008 International Conference on Software Testing, Verification, and Validation, pp.32-41, 2008.
DOI : 10.1109/ICST.2008.35
URL : https://hal.archives-ouvertes.fr/hal-01810199

J. Glenford, C. Myers, T. Sandlers, and . Badgett, The Art of Software Testing Object Management Group. The UML standard specification, 2011.

. Pathcrawler, , pp.2017-2020

S. Pathfinder, , pp.2017-2020

C. S. , N. Rungta, and W. Visser, Symbolic execution with mixed concrete-symbolic solving, Proceedings of the 2011 International Symposium on Software Testing and Analysis, pp.34-44, 2011.

J. J. Rutten, A calculus of transition systems (towards universal coalgebra), CWI (Centre for Mathematics and Computer Science), 1995.

K. Sen, D. Marinov, and G. Agha, CUTE, ACM SIGSOFT Software Engineering Notes, vol.30, issue.5, pp.263-272, 2005.
DOI : 10.1145/1095430.1081750

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

J. Tretmans, Model Based Testing with Labelled Transition Systems, Formal Methods and Testing, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1

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

N. Williams, B. Marre, P. Mouy, and M. Roger, PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis, European Dependable Computing Conference, pp.281-292, 2005.
DOI : 10.1007/11408901_21
URL : https://hal.archives-ouvertes.fr/hal-01810201