Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation-Reference-Cited by-同舟云学术

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

Published:2015 Issue: Volume: Page:19-34
ISSN:0302-9743
Container-title:Testing Software and Systems
language:
Short-container-title:

Author:

Güniçen Canan,Jourdan Guy-Vincent,Yenigün Hüsnü

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-25945-1_2

Reference30 articles.

1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, Principles, Techniques, and Tools. Addison-Wesley series in computer science. Addison-Wesley Pub. Co., Reading (1986)

2. Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, Reading (1999)

3. Brinksma, E.: A theory for the derivation of tests. In: Proceedings of Protocol Specification, Testing, and Verification VIII, Atlantic City, North-Holland, pp. 63–74 (1988)

4. Lecture Notes in Computer Science;J Chen,2005

5. Chow, T.S.: Testing software design modelled by finite state machines. IEEE Trans. Softw. Eng. 4, 178–187 (1978)

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

1. Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines;The Computer Journal;2018-09-19

2. Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation;Formal Aspects of Computing;2018-03

3. On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications;Testing Software and Systems;2016

4. Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation;Testing Software and Systems;2015