S. Anand, C. Pasareanu, and W. Visser, Symbolic execution with abstraction, International Journal on Software Tools for Technology Transfer, vol.10, issue.2, pp.53-67, 2009.
DOI : 10.1007/s10009-008-0090-1

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis, The IF Toolset, SFM, pp.237-267, 2004.
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307

L. Clarke, A System to Generate Test Data and Symbolically Execute Programs, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.215-222, 1976.
DOI : 10.1109/TSE.1976.233817

A. Faivre, C. Gaston, and P. L. Gall, Symbolic Model Based Testing for Component Oriented Systems, Testing of Software and Communicating Systems TestCom, pp.90-106, 2007.
DOI : 10.1007/978-3-540-73066-8_7

A. Faivre, C. Gaston, P. L. Gall, and A. Touil, Test Purpose Concretization through Symbolic Action Refinement, Testing of Software and Communicating Systems TestCom, pp.184-199, 2008.
DOI : 10.1007/11430230_7

J. L. Fiadeiro, A. Lopes, and M. Wermelinger, A Mathematical Semantics for Architectural Connectors, LNCS, vol.2793, pp.190-234, 2003.

C. Gaston, M. Aiguier, A. Lapitre, A. Cuccuru, and C. Mraidha, LEM : a language for expressing execution and interaction semantics, 2008.

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

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.54-64, 1996.
DOI : 10.1145/235321.235322

S. Khurshid, C. S. Pasareanu, and W. Visser, Generalized Symbolic Execution for Model Checking and Testing
DOI : 10.1007/3-540-36577-X_40

J. King, A new approach to program testing, Proc. of the international conference on Reliable software, pp.21-23228, 1975.

N. Rapin, C. Gaston, A. Lapitre, and J. Gallois, Behavioural unfolding of formal specifications based on communicating automata, Proc. of first Workshop on Automated technology for verification and analysis, 2003.

A. Roychoudhury, A. Goel, and B. Sengupta, Symbolic message sequence charts, ESEC-FSE '07: Proc. of the 6th joint meeting of the European software engineering conference and ACM SIGSOFT symposium on the foundations of software engineering, pp.275-284, 2007.
DOI : 10.1145/2089116.2089122
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.174.8893

T. Wang, A. Roychoudhury, R. H. Yap, and S. C. Choudhary, Symbolic Execution of Behavioral Requirements, PADL, pp.178-192, 2004.
DOI : 10.1007/978-3-540-24836-1_13