Distinguishing Sequences for Partially Specified FSMs

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-06200-6_5 ◽

2014 ◽

pp. 62-76 ◽

Cited By ~ 8

Author(s):

Robert M. Hierons ◽

Uraz Cengiz Türker

Keyword(s):

Distinguishing Sequences

Download Full-text

Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-319-22360-5_16 ◽

2015 ◽

pp. 188-198 ◽

Cited By ~ 2

Author(s):

Natalia Kushik ◽

Nina Yevtushenko

Keyword(s):

Finite State Machines ◽

State Machines ◽

Synchronizing Automata ◽

Distinguishing Sequences ◽

Finite State

Download Full-text

The relation between preset distinguishing sequences and synchronizing sequences

Formal Aspects of Computing ◽

10.1007/s00165-014-0297-8 ◽

2014 ◽

Vol 26 (6) ◽

pp. 1153-1167 ◽

Cited By ~ 8

Author(s):

Canan Güniçen ◽

Kemal İnan ◽

Uraz Cengiz Türker ◽

Hüsnü Yenigün

Keyword(s):

Distinguishing Sequences

Download Full-text

Automatic test generation using genetically-engineered distinguishing sequences

Proceedings of 14th VLSI Test Symposium ◽

10.1109/vtest.1996.510860 ◽

2002 ◽

Cited By ~ 29

Author(s):

M.S. Hsiao ◽

E.M. Rudnick ◽

J.H. Patel

Keyword(s):

Test Generation ◽

Genetically Engineered ◽

Automatic Test Generation ◽

Automatic Test ◽

Distinguishing Sequences

Download Full-text

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_2 ◽

2015 ◽

pp. 19-34 ◽

Cited By ~ 2

Author(s):

Canan Güniçen ◽

Guy-Vincent Jourdan ◽

Hüsnü Yenigün

Keyword(s):

Sequence Generation ◽

Distinguishing Sequences

Download Full-text

Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences

The Computer Journal ◽

10.1093/comjnl/bxw069 ◽

2016 ◽

Vol 60 (1) ◽

pp. 110-125

Author(s):

Robert M. Hierons ◽

Uraz Cengiz Türker

Keyword(s):

Distributed Testing ◽

Distinguishing Sequences

Download Full-text

Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences

Advanced Information Systems Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-662-44857-1_3 ◽

2014 ◽

pp. 32-47 ◽

Cited By ~ 4

Author(s):

Uraz Cengiz Türker ◽

Tonguç Ünlüyurt ◽

Hüsnü Yenigün

Keyword(s):

Distinguishing Sequences

Download Full-text

Incomplete Distinguishing Sequences for Finite State Machines

The Computer Journal ◽

10.1093/comjnl/bxv041 ◽

2015 ◽

Vol 58 (11) ◽

pp. 3089-3113 ◽

Cited By ~ 10

Author(s):

Robert M. Hierons ◽

Uraz Cengiz Türker

Keyword(s):

Finite State Machines ◽

State Machines ◽

Distinguishing Sequences ◽

Finite State

Download Full-text

Existence Algorithms for Synchronizing/Distinguishing Sequences

IEEE Transactions on Computers ◽

10.1109/tc.1981.1675761 ◽

1981 ◽

Vol C-30 (3) ◽

pp. 234-237 ◽

Cited By ~ 2

Author(s):

Sung Je Hong

Keyword(s):

Distinguishing Sequences

Download Full-text

Effective algorithms for constructing minimum cost adaptive distinguishing sequences

Information and Software Technology ◽

10.1016/j.infsof.2016.02.001 ◽

2016 ◽

Vol 74 ◽

pp. 69-85 ◽

Cited By ~ 4

Author(s):

Uraz Cengiz Türker ◽

Tonguç Ünlüyurt ◽

Hüsnü Yenigün

Keyword(s):

Minimum Cost ◽

Distinguishing Sequences

Download Full-text

Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata

2019 IEEE East-West Design & Test Symposium (EWDTS) ◽

10.1109/ewdts.2019.8884436 ◽

2019 ◽

Author(s):

Igor Burdonov ◽

Alexandr Kossachev ◽

Nina Yevtushenko ◽

Alexey Demakov

Keyword(s):

Input Output ◽

Distinguishing Sequences

Download Full-text