An orchestrated survey of methodologies for automated software test case generation, Journal of Systems and Software, vol.86, issue.8, pp.86-1978, 2013. ,
DOI : 10.1016/j.jss.2013.02.061
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing, Testing Software and Systems -24th IFIP WG 6.1 International Conference, pp.119-135, 2012. ,
DOI : 10.1007/978-3-642-34691-0_10
URL : https://hal.archives-ouvertes.fr/hal-01482398
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing, 2011 18th Asia-Pacific Software Engineering Conference, pp.219-226, 2011. ,
DOI : 10.1109/APSEC.2011.40
, Computer Aided Verification -23rd International Conference, CAV 2011, pp.171-177, 2011.
Hit-or-jump: An algorithm for embedded testing with applications to IN services, in: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), pp.41-56, 1999. ,
,
,
Z3: an efficient SMT solver, in: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, pp.337-340, 2008. ,
A Fast Linear-Arithmetic Solver for DPLL(T), Computer Aided Verification, 18th International Conference, pp.81-94, 2006. ,
DOI : 10.1007/11817963_11
URL : https://link.springer.com/content/pdf/10.1007%2F11817963_11.pdf
A Symbolic Framework for Model-Based Testing, pp.40-54, 2006. ,
DOI : 10.1007/11940197_3
URL : http://www.cs.ru.nl/~lf/publications/FTW06.pdf
Symbolic Execution Techniques for Test Purpose Definition, Proc. of Int. Conf. Testing of Software and Communicating Systems (TestCom), pp.1-18, 2006. ,
DOI : 10.1007/11754008_1
URL : https://hal.archives-ouvertes.fr/hal-00342082
A UML profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, VSL, 2009. ,
Unified modeling language (uml) (2012) ,
Symbolic Model-based Test Selection, Electronic Notes in Theoretical Computer Science, vol.240, pp.167-184, 2009. ,
DOI : 10.1016/j.entcs.2009.05.051
A new approach to program testing, Proceedings of the international conference on Reliable software, pp.228-233, 1975. ,
DOI : 10.1007/3-540-07131-8_30
Stubborn sets for reduced state space generation, Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets, pp.491-515, 1990. ,
DOI : 10.1007/3-540-53863-1_36