Distinguishing Sequences for Partially Specified FSMs-Reference-Cited by-同舟云学术

Distinguishing Sequences for Partially Specified FSMs

Published:2014 Issue: Volume: Page:62-76
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Hierons Robert M.,Türker Uraz Cengiz

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-06200-6_5

Reference52 articles.

1. Friedman, A.D., Menon, P.R.: Fault detection in digital circuits. Computer Applications in Electrical Engineering Series (1971)

2. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, principles, techniques, and tools. Addison-Wesley series in computer science

3. Chow, T.S.: Testing software design modelled by finite state machines. IEEE Transactions on Software Engineering 4, 178–187 (1978)

4. Holzmann, G.J.: Design and validation of computer protocols. Prentice-Hall software series

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

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

1. Accelerating Finite State Machine-Based Testing Using Reinforcement Learning;IEEE Transactions on Software Engineering;2024-03

2. Efficient state synchronisation in model-based testing through reinforcement learning;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11

3. On Distinguishing Sequences of Several Classes of Reversible Finite State Machines;2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL);2021-05

4. Parallel brute-force algorithm for deriving reset sequences from deterministic incomplete finite automata;TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES;2019-09-18

5. FSM quasi-equivalence testing via reduction and observing absences;Science of Computer Programming;2019-05