Test generation with inputs, outputs, and quiescence-Reference-Cited by-同舟云学术

Test generation with inputs, outputs, and quiescence

Published:1996 Issue: Volume: Page:127-146
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Tretmans Jan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61042-1_42.pdf

Reference19 articles.

1. G. Bernot. Testing against formal specifications: A theoretical view. In S. Abramsky and T. S. E. Maibaum, eds., TAPSOFT'91, 99–119. LNCS 494, Springer-Verlag, 1991.

2. E. Brinksma. A theory for the derivation of tests. In S. Aggarwal and K. Sabnani, eds., Prot. Spec., Test., and Ver. VIII, 63–74. North-Holland, 1988.

3. E. Brinksma, R. Alderden, R. Langerak, J. van de Lagemaat, and J. Tretmans. A formal approach to conformance testing. In J. de Meer, et al., eds., Protocol Test Systems II, 349–363. North-Holland, 1990.

4. ITU-T. SDL. Recommendation Z.100, 1992.

5. R. De Nicola. Extensional equivalences for transition systems. Acta Informatica, 24:211–237, 1987.

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

1. Symbolic Path-Guided Test Cases for Models with Data and Time;Lecture Notes in Computer Science;2024

2. Language-Based Testing for Pushdown Reactive Systems;Lecture Notes in Computer Science;2023-12-02

3. Finding Causally Different Tests for an Industrial Control System;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

4. Testing using CSP Models: Time, Inputs, and Outputs;ACM Transactions on Computational Logic;2023-01-28

5. A Formalization of Heisenbugs and Their Causes;Software Engineering and Formal Methods;2023