Factorized test generation for multi-input/output transition systems-Reference-Cited by-同舟云学术

Factorized test generation for multi-input/output transition systems

Published:1998 Issue: Volume: Page:67-82
ISSN:
Container-title:Testing of Communicating Systems
language:
Short-container-title:

Author:

Brinksma Ed,Heerink Lex,Tretmans Jan

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35381-4_5

Reference14 articles.

1. E. Brinksma. A theory for the derivation of tests. In S. Aggarwal et al. (eds.), PSTV VIII, pages 63–74. North-Holland, 1988.

2. E. Brinksma, L. Heerink, and J. Tretmans. Developments in testing transition systems. In M. Kim et al. (eds.), IWTCS X, pages 143–166. Chapman Hall, 1997.

3. R. De Nicola and M.C.B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34: 83–133, 1984.

4. J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In R. Alur et al. (eds.), CAV’96. LNCS 1102, Springer-Verlag, 1996.

5. L. Heerink and J. Tretmans. Refusal testing for classes of transition systems with inputs and outputs. In T. Mizuno et al. (eds.), FORTE X/PSTV XVII, pages 23–38. Chapman Hall, 1997.

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

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

2. Constraint-Based Oracles for Timed Distributed Systems;Testing Software and Systems;2017

3. A More Precise Implementation Relation for Distributed Testing;The Computer Journal;2015-08-05

4. An Implementation Relation and Test Framework for Timed Distributed Systems;Testing Software and Systems;2013

5. Using schedulers to test probabilistic distributed systems;Formal Aspects of Computing;2012-07