Testing Transition Systems: An Annotated Bibliography-Reference-Cited by-同舟云学术

Testing Transition Systems: An Annotated Bibliography

Published:2001 Issue: Volume: Page:187-195
ISSN:0302-9743
Container-title:Modeling and Verification of Parallel Processes
language:
Short-container-title:

Author:

Brinksma Ed,Tretmans Jan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45510-8_9

Reference78 articles.

1. S. Abramsky. Observational equivalence as a testing equivalence. Theoretical Computer Science, 53(3):225–241, 1987.

2. R. Alderden. COOPER, the compositional construction of a canonical tester. In S.T. Vuong, editor, FORTE’89, pages 13–17. North-Holland, 1990.

3. E. Brinksma, R. Alderden, R. Langerak, J. van de Lagemaat, and J. Tretmans. A formal approach to conformance testing. In J. de Meer, L. Mackert, and W. Effelsberg, editors, Second Int. Workshop on Protocol Test Systems, pages 349–363. North-Holland, 1990. Also: Memorandum INF-89-45, University of Twente, The Netherlands.

4. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.

5. Lect Notes Comput Sci;G. Bernot,1991

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

1. Leveraging Conditional Statement to Generate Acceptance Tests Automatically via Traceable Sequence Generation;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22

2. Complexity of adaptive testing in scenarios defined extensionally;Frontiers of Computer Science;2022-10-22

3. Specification-Based Testing;Texts in Theoretical Computer Science. An EATCS Series;2022

4. Energy-Efficient Multi-fragment Markov Model Guided Online Model-Based Testing for MPSoC;Green IT Engineering: Social, Business and Industrial Applications;2018-09-30

5. Model-Based Testing Without Models: The TodoMVC Case Study;ModelEd, TestEd, TrustEd;2017