Model-Based Testing for Asynchronous Systems-Reference-Cited by-同舟云学术

Model-Based Testing for Asynchronous Systems

Published:2017 Issue: Volume: Page:66-82
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Graf-Brill Alexander,Hermanns Holger

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-67113-0_5

Reference28 articles.

1. Balemi, S.: Control of discrete event systems: theory and application. Ph.D. thesis, Swiss Federal Institute of Technology, Zurich, Switzerland (1992)

2. Bernot, G., Gaudel, M.-C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387–405 (1991)

3. Lecture Notes in Computer Science;M Bijl,2005

4. CAN in Automation International Users and Manufacturers Group e.V.: CiA 301 CANopen Application Layer and Communication Profile, v. 4.2.0 (2011)

5. CAN in Automation International Users and Manufacturers Group e.V.: CiA 305 Layer setting services (LSS) and protocols, v. 3.0.0 (2013)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller;Formal Methods for Industrial Critical Systems;2023

2. Doping Tests for Cyber-physical Systems;ACM Transactions on Modeling and Computer Simulation;2021-07-31

3. A Methodology to do Model-Based Testing using FMEA;Proceedings of the 2nd International Conference on Networking, Information Systems & Security - NISS19;2019

4. Component-aware Input-Output Conformance;Formal Techniques for Distributed Objects, Components, and Systems;2019

5. Asynchronous Testing of Synchronous Components in GALS Systems;Lecture Notes in Computer Science;2019