A Pragmatic Approach to Generating Test Sequences for Embedded Systems-Reference-Cited by-同舟云学术

A Pragmatic Approach to Generating Test Sequences for Embedded Systems

Published:1997 Issue: Volume: Page:288-307
ISSN:
Container-title:Testing of Communicating Systems
language:
Short-container-title:

Author:

Lima Luiz Paula,Cavalli Ana R.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35198-8_18

Reference10 articles.

1. G. Booch, Object Oriented Analysis and Design with Applications, 2nd Edition The Benjamin/Cummings Publishing Company, 1994.

2. PT, Component Testing for Mobile and Broadband Telecommunications - COIMBRA, COPERNICUS Project Proposal, Feb. 1996.

3. R. Anido, A. Cavalli, T. Macavei, L. P. Lima, M. Clatin, M. Phalippou, Testing a real protocol with the aid of verification techniques, XXII SEMISH–Brazil, Aug. 1996, pp. 237–248.

4. A. Cavalli, B. Lee and T. Macavei, Test generation for the SSCOP-ATM networks protocol, SDL Forum’97, September 1997, France.

5. ISO, Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework,International Standard IS-9646. ISO, 1991.

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

1. Integration testing for robotic systems;Software Quality Journal;2020-11-18

2. Test Translation for Embedded Finite State Machine Components;The Computer Journal;2016-06-28

3. Transition covering tests for systems with queues;Software Testing, Verification and Reliability;2009-03

4. An Approach to Testing with Embedded Context Using Model Checker;Formal Methods and Software Engineering;2008

5. A Logic for Assessing Sets of Heterogeneous Testing Hypotheses;Lecture Notes in Computer Science;2006