, ISO/IEC/IEEE international standard -health informatics -personal health device communication -part 20601: Application profile -optimized exchange protocol, 2016.
Using Finite State Machine at the Testing of Network Protocols, 2011. ,
Model-based mutation testing via symbolic refinement checking, Science of Computer Programming, vol.97, issue.P4, pp.383-404, 2015. ,
Time for mutants -model-based mutation testing with timed automata, Margus Veanes and Luca Viganò, vol.7942, pp.20-38, 2013. ,
Protocol conformance testing a SIP registrar: an industrial application of formal methods, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM, 2007. ,
FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study, Journal of Aerospace Technology and Management, vol.6, issue.4, pp.447-461, 2014. ,
Repairing timed automata clock guards through abstraction and testing, Tests and Proofs -13th International Conference, 2019. ,
SMT-based automatic proof of ASM model refinement, Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, pp.253-269, 2016. ,
A model-driven process for engineering a toolset for a formal method, Software: Practice and Experience, vol.41, pp.155-166, 2011. ,
Automatic refinement of asm abstract test cases, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.1-10, 2019. ,
Off-line test case generation for timed symbolic model-based conformance testing, Testing Software and Systems, pp.119-135, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01482398
Asm2c++: A tool for code generation from abstract state machines to arduino, NASA Formal Methods, pp.295-301, 2017. ,
Generation of C++ unit tests from abstract state machines specifications, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.185-193, 2018. ,
Abstract State Machines: A Method for High-Level System Design and Analysis, 2003. ,
Model-based firewall conformance testing, Testing of Software and Communicating Systems, pp.103-118, 2008. ,
Tightening the contract refinements of a system architecture, Formal Methods in System Design, vol.52, issue.1, pp.88-116, 2018. ,
FSM-based conformance testing methods: A survey annotated with experimental evaluation, Information and Software Technology, vol.52, issue.12, pp.1286-1297, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00593960
Fsm-based conformance testing methods: A survey annotated with experimental evaluation, Information and Software Technology, vol.52, issue.12, pp.1286-1297, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00593960
Test selection based on finite state models, IEEE Transactions on Software Engineering, vol.17, issue.6, pp.591-603, 1991. ,
A conformance testing method for communication protocols modeled as concurrent DFSMs. treatment of non-observable non-determinism, Proceedings 15th International Conference on Information Networking, 2001. ,
ASM-based testing: Coverage criteria and automatic test sequence, Journal of Universal Computer Science, vol.7, issue.11, pp.1050-1067, 2001. ,
Medical device communication: A standards-based conformance testing approach, 9th International HL7 Interoperability Conference, 2008. ,
Conformance testing and interoperability: A case study in healthcare data exchange, Software Engineering Research and Practice, pp.143-151, 2008. ,
How effective are code coverage criteria?, 2015 IEEE International Conference on Software Quality, Reliability and Security, 2015. ,
Model-based construction and verification of critical systems using composition and partial refinement, Formal Methods in System Design, vol.37, issue.2, pp.265-294, 2010. ,
A model-based approach to combine conformance and load tests: an eHealth case study, International Journal of Critical Computer-Based Systems, vol.8, issue.3/4, p.282, 2018. ,
Iso/ieee 11073 phd message generation toolkit to standardize healthcare device, Annual International Conference of the IEEE, pp.1161-1164, 2011. ,
Practical Model-Based Testing, 2007. ,
Testor: A modular tool for on-the-fly conformance test case generation, Tools and Algorithms for the Construction and Analysis of Systems, pp.211-228, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01777861
An interoperability test framework for HL7-based systems, IEEE Transactions on Information Technology in Biomedicine, vol.13, issue.3, pp.389-399, 2009. ,
A model-based testing approach combining passive conformance testing and runtime verification: Application to web service compositions deployed in clouds, Management and Applications, pp.99-116, 2014. ,
A test design methodology for protocol testing, IEEE Transactions on Software Engineering, SE, vol.13, issue.5, pp.518-531, 1987. ,
Validation of code transformation from Abstract State Machine models to C++ code, ICTSS 2018 -30th International Conference on Testing Software and Systems, pp.17-32, 2018. ,
Testing timed automata, Theoretical Computer Science, vol.254, issue.1-2, pp.225-257, 2001. ,
A general conformance testing framework for IEEE 11073 PHD's communication model, Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA '13, vol.12, pp.1-12, 2013. ,
Formal specification and verification of a coordination protocol for an automated air traffic control system, Science of Computer Programming, vol.96, pp.337-353, 2012. ,