Integrating Model-Based Testing and Analysis Tools via Test Case Exchange, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, pp.119-126, 2012. ,
DOI : 10.1109/TASE.2012.20
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution, TACAS 2010, pp.266-270 ,
DOI : 10.1007/978-3-642-12002-2_21
JTorX: exploring model-based testing, 2014. ,
DOI : 10.3990/1.9789036537070
14 Tools for Test Case Generation, pp.391-438 ,
DOI : 10.1007/11498490_18
A TGV-like approach for asynchronous testing, Proceedings of the 7th India Software Engineering Conference on, ISEC '14, pp.1-13, 2014. ,
DOI : 10.1145/2590748.2590761
Asynchronous testing of real-time systems, EPiC Series in Computing EasyChair, vol.45, pp.42-48, 2017. ,
Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies, 2013 13th International Conference on Quality Software, pp.125-134, 2013. ,
DOI : 10.1109/QSIC.2013.48
Using Dependency Relations to Improve Test Case Generation from UML Statecharts, 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, pp.71-76, 2013. ,
DOI : 10.1109/COMPSACW.2013.24
STG: A Symbolic Test Generation Tool, TACAS 2002, pp.470-475 ,
DOI : 10.1007/3-540-46002-0_34
Lutess, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.267-276, 1999. ,
DOI : 10.1145/302405.302634
More testable properties, International Journal on Software Tools for Technology Transfer, vol.3, issue.2, pp.407-437, 2012. ,
DOI : 10.1109/HASE.2007.57
URL : https://hal.archives-ouvertes.fr/hal-00743981
Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.194-211, 1979. ,
DOI : 10.1016/0022-0000(79)90046-1
OPEN/C??SAR: An open software architecture for verification, simulation, and testing, TACAS 1998, pp.68-84, 1998. ,
DOI : 10.1007/BFb0054165
CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013. ,
DOI : 10.1007/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056
From LOTOS to LNT, ModelEd, TestEd, TrustEd. LNCS, pp.3-26, 2017. ,
DOI : 10.1016/j.scico.2016.01.002
URL : https://hal.archives-ouvertes.fr/hal-01621670
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark, MARS 2017, pp.230-270, 2017. ,
DOI : 10.1002/(SICI)1097-024X(19990710)29:8<677::AID-SPE251>3.0.CO;2-Z
URL : https://hal.archives-ouvertes.fr/hal-01511847
Model-Based Testing for Asynchronous Systems, FMICS/AVoCS-2017, pp.66-82, 2017. ,
DOI : 10.1109/COMPSAC.2009.194
A Model-Based Certification Framework for the EnergyBus Standard, 2014. ,
DOI : 10.1007/978-3-662-43613-4_6
URL : https://hal.archives-ouvertes.fr/hal-01098360
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
Model-Based Testing of a WAP Gateway: An Industrial Case-Study, FMICS 2006, pp.116-131, 2007. ,
DOI : 10.1007/978-3-540-70952-7_8
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
DOI : 10.1145/359576.359585
TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005. ,
DOI : 10.1137/0201010
URL : http://www.irisa.fr/triskell/publis/2002/Jard02c.pdf
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools, FMICS 2015, pp.47-61, 2015. ,
DOI : 10.1007/978-3-319-19458-5_4
Using a formal model to improve verification of a cachecoherent system-on-chip, TACAS 2015, pp.708-722, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01104747
Testing real-time embedded software using UPPAAL-TRON, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.299-306, 2005. ,
DOI : 10.1145/1086228.1086283
Test sequences generation from LUSTRE descriptions: GATEL, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, p.229, 2000. ,
DOI : 10.1109/ASE.2000.873667
Efficient Diagnostic Generation for Boolean Equation Systems, TACAS 2000, pp.251-265 ,
DOI : 10.1007/3-540-46419-0_18
URL : https://hal.archives-ouvertes.fr/inria-00072795
On-the-fly state space reductions for weak equivalences, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, pp.80-89, 2005. ,
DOI : 10.1145/1081180.1081191
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer, vol.8, issue.1, pp.37-56, 2006. ,
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628
Hierarchical Adaptive State Space Caching Based on Level Sampling, TACAS 2009, pp.215-229, 2009. ,
DOI : 10.1007/3-540-44798-9_22
URL : https://hal.archives-ouvertes.fr/inria-00381682
T-uppaal : online model-based testing of real-time systems, Proceedings. 19th International Conference on Automated Software Engineering, 2004., pp.396-397, 2004. ,
DOI : 10.1109/ASE.2004.1342774
Standard-compliant testing for safety-related automotive software, 2013. ,
DOI : 10.1109/ret.2015.9
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience, IEEE Software, vol.30, issue.3, pp.50-57, 2013. ,
DOI : 10.1109/MS.2013.43
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard, MARS 2015, pp.61-147, 2015. ,
DOI : 10.1007/11589976_17
URL : https://hal.archives-ouvertes.fr/hal-01227999
Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost, Science of Computer Programming, vol.80, pp.188-209, 2014. ,
DOI : 10.1016/j.scico.2013.04.009
A Formal Approach to Conformance Testing, 1992. ,
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
Model Based Testing with Labelled Transition Systems, Formal Methods and Testing, pp.1-38, 2008. ,
DOI : 10.1007/978-3-540-78917-8_1
URL : http://repository.ubn.ru.nl/bitstream/2066/35653/1/35653.pdf
TorX: automated model-based testing, Model- Driven Software Engineering, pp.32-43, 2003. ,
A taxonomy of model-based testing approaches, Software Testing, Verification and Reliability, vol.30, issue.4, pp.297-312, 2012. ,
DOI : 10.1145/1353673.1353681
URL : https://hal.archives-ouvertes.fr/hal-00940611
Asynchronous Input-Output Conformance Testing, 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp.154-159, 2009. ,
DOI : 10.1109/COMPSAC.2009.194
Model-Based Testing for Embedded Systems, Boca Raton, 2017. ,