Complete composition operators for ioco-testing theory, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, pp.101-110, 2015. ,
Compositional testing with ioco, Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, vol.2931, pp.86-100, 2003. ,
A model-based integration and testing method to reduce system development effort, Electr. Notes Theor. Comput. Sci, vol.164, issue.4, pp.13-28, 2006. ,
, CAN in Automation Int. Users and Manufacturers Group e.V.: CiA 301 CANopen Application Layer and Comm. Profile, 2011.
CiA 454 Draft Standard Proposal Application profile for energy management systems -doc. series 1-14, CAN in Automation Int. Users and Manufacturers Group e, 2014. ,
A modular approach to model-based testing of concurrent programs, Multicore Software Engineering, Performance, and Tools -International Conference, MUSEPAT 2013, vol.8063, pp.85-96, 2013. ,
Compositional specifications for ioco testing, Seventh IEEE International Conference on Software Testing, Verification and Validation, pp.373-382, 2014. ,
Extensional equivalences for transition systems, Acta Inf, vol.24, issue.2, pp.211-237, 1987. ,
Testing equivalences for processes, Theor. Comput. Sci, vol.34, pp.83-133, 1984. ,
Compositional verification of asynchronous concurrent systems using, CADP. Acta Inf, vol.52, issue.4-5, pp.337-392, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01138749
Compositional testing of communication systems, Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, vol.3964, pp.227-244, 2006. ,
Compositional minimisation of finite state systems using interface specifications, Formal Asp. Comput, vol.8, issue.5, pp.607-616, 1996. ,
Modelling and certification for electric mobility, 15th IEEE International Conference on Industrial Informatics, pp.109-114, 2017. ,
Model-based testing for asynchronous systems, Critical Systems: Formal Methods and Automated Verification -Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems -and -17th International Workshop on Automated Verification of Critical Systems, vol.10471, pp.66-82, 2017. ,
A model-based certification framework for the energybus standard, Formal Techniques for Distributed Objects, Components, and Systems -34th IFIP WG 6.1 International Conference, vol.8461, pp.84-99, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01098360
Ins and Outs in Refusal Testing, 1998. ,
You assume, we guarantee: Methodology and case studies, 10th International Conference, CAV '98, vol.1427, pp.440-451, 1998. ,
Matching Implementations to Specifications: The Corner Cases of ioco, ACM/SIGAPP Symp. on Applied Computing -Software Verification and Testing Track, pp.2196-2205, 2019. ,
A testing theory for LOTOS using deadlock detection, Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, pp.87-98, 1989. ,
TESTOR: A modular tool for on-thefly conformance test case generation, Tools and Algorithms for the Construction and Analysis of Systems -24th International Conference, vol.10806, pp.211-228, 2018. ,
Decomposability in input output conformance testing, Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, pp.51-66, 2013. ,
Refusal testing, Theor. Comput. Sci, vol.50, pp.90117-90121, 1987. ,
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, vol.4949, pp.1-38 ,
, , 2008.