InRob: An approach for testing interoperability and robustness of real-time embedded software-Reference-Cited by-同舟云学术

InRob: An approach for testing interoperability and robustness of real-time embedded software

Author:

Mattiello-Francisco Fátima,Martins Eliane,Cavalli Ana Rosa,Yano Edgar Toshiro

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference31 articles.

1. Designing fault injection with state-based model for a space application;Ambrosio,2007

2. Specification of timed EFSM fault models in SDL;Batth,2007

3. Two methods for interoperability testing application to TCP/IP protocol;Besse,2002

4. Testing Object-oriented Systems – Models, Patterns and Tools;Binder,2002

5. Model-Based Testing of Reactive Systems, Advanced Lectures, LNCS 3472;Broy,2005

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

1. ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts;2023 IEEE/ACM 5th International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT);2023-05

2. A Test Design and Coverage Measurement Method for Equipment Software System Testing;2022 IEEE 10th Joint International Information Technology and Artificial Intelligence Conference (ITAIC);2022-06-17

4. Characterizing and Injecting Faults in Executable Models Specified with fUML;2021 10th Latin-American Symposium on Dependable Computing (LADC);2021-11