Test Cases Generation for Nondeterministic Real-Time Systems-Reference-Cited by-同舟云学术

Test Cases Generation for Nondeterministic Real-Time Systems

Published:2004 Issue: Volume: Page:131-146
ISSN:0302-9743
Container-title:Formal Approaches to Software Testing
language:
Short-container-title:

Author:

Khoumsi Ahmed,Jéron Thierry,Marchand Hervé

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24617-6_10

Reference14 articles.

1. Lecture Notes in Computer Science;R. Alur,1999

2. Khoumsi, A., Ouedraogo, L.: A new transformation of timed automata into finite state automata. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988. Springer, Heidelberg (2004)

3. Jard, C., Jéron, T.: TGV: theory, principles and algorithms. In: Proc. 6th World Conf. on Integ. Design and Process Technol (IDPT), Pasadena, California, USA (June 2002)

4. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools 17 (1996)

5. Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Proc. PSTV/FORTE, Beijing, China (October 1999)

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

1. Compositional schedulability analysis of real-time actor-based systems;Acta Informatica;2016-01-25

2. Modeling and Testing of Automation Systems;Frontiers in Computer Education;2012

3. Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata;Tools and Algorithms for the Construction and Analysis of Systems;2011

4. Testing Real-Time Systems under Uncertainty;Formal Methods for Components and Objects;2011

5. A Formal Framework for Testing duration Systems;Advances in Intelligent and Soft Computing;2011