David Lee, Mihalis Yannakakis  Home/Search
Context Related
| belllabs.com/user/leedavid...survey.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/user...bibliography (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: With advanced computer technology, systems are getting larger to fulfill more complicated tasks, however, they are also becoming less reliable. Consequently, testing is an indispensable part of system design and implementation; yet it has proved to be a formidable task for complex systems. This motivates the study of testing finite state machines to ensure the correct functioning of systems and to discover aspects of their behavior. A finite state machine contains a finite number of states and ... (Update)
Cited by: More
Testing from Algebraic Specifications: Test Data.. - Aiguier, Arnould, .. (2005) (Correct)
A Technique to Generate Feasible Tests for - Communications Systems With (Correct)
A Method for Functional Testing of Media.. - Yamada, Mori.. (2002) (Correct)
Active bibliography (related documents): More All
2.1: On Fault Coverage of Tests for Finite State Specifications - Petrenko, Bochmann (1996) (Correct)
1.9: An Optimization Technique for Protocol Conformance Test.. - Aho, Dahbura, Lee, Uyar (1991) (Correct)
1.6: Distinguishing Tests for Nondeterministic and.. - Alur, Courcoubetis.. (1995) (Correct)
Similar documents based on text: More All
0.2: Reduced Length Checking Sequences - Hierons, Ural (2002) (Correct)
0.2: Adaptive Design Methods for Checking Sequences.. - Digital Systems.. (Correct)
0.1: Yannakakis:1981:CMF - Yan Mihalis Yannakakis (Correct)
Related documents from co-citation: More All
18: An optimization technique for protocol conformance test generation based on UIO .. - Aho, Dahbura et al. - 1991
14: On general routing problems (context) - Lenstra, Kan - 1976
14: A test design methodology for protocol testing (context) - Sarikaya, Bochmann et al. - 1987
BibTeX entry: (Update)
D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines - a survey," Proc. of the IEEE, vol. 84, pp. 1090--1123, Aug 1996. http://citeseer.ist.psu.edu/lee96principles.html More
@inproceedings{ lee96principles,
author = "D. Lee and M. Yannakakis",
title = "Principles and Methods of Testing Finite State Machines - {A} Survey",
booktitle = "Proceedings of the {IEEE}",
volume = "84",
pages = "1090--1126",
year = "1996",
url = "citeseer.ist.psu.edu/lee96principles.html" }
Citations (may not include all citations):4212 Computers and Intractability: a Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1989
2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
624 Computer Networks (context) - Tanenbaum - 1988
537 A theory of learnable (context) - Valiant - 1984
267 Computer-aided Verification of Coordinating Processes (context) - Kurshan - 1995
244 Learning regular sets from queries and counterexamples (context) - Angluin - 1987
202 Wiley Series in Telecommunications (context) - Cover, Thomas et al. - 1991
184 Cryptographic limitations on learning Boolean formulae and f.. - Kearns, Valiant - 1989
164 Society for Industrial and - Applied Mathematics (context) - Tarjan, Structures et al. - 1983
148 Combinatorial Optimization: Networks and Matroids (context) - Lawler - 1976
144 Switching and Finite Automata Theory (context) - Kohavi - 1978
127 Complexity of automaton identification from given data (context) - Gold - 1978
109 Inference of finite automata using homing sequences (context) - Rivest, Schapire - 1989
103 On communicating finite-state machines (context) - Brand, Zafiropulo - 1983
100 Gedanken-experiments on sequential machines (context) - Moore - 1956
94 A theory for the derivation of tests (context) - Brinksma - 1988
78 An optimization technique for protocol conformance test gene.. - Aho, Dahbura et al. - 1991
73 Testing software design modeled by finite-state machines (context) - Chow - 1978
68 Theoretical improvements in algorithmic efficiency for - net.. (context) - Edmonds, Karp - 1972
66 Computational learning theory: survey and selected bibliogra.. (context) - Angluin - 1992
61 Test selection based on finite state models - Fujiwara, Bochmann et al. - 1991
60 Algebraic Structure Theory of Sequential Machines (context) - Hartmanis, Stearns - 1966
48 A protocol test generation procedure (context) - Sabnani, Dahbura - 1988
45 The minimum consistent DFA problem cannot be approximated wi.. (context) - Pitt, Warmath - 1993
36 An n log n algorithm for minimizing states in a finite autom.. (context) - Hopcroft - 1971
34 Testing probabilistic and nondeterministic processes (context) - Yi, Larsen - 1992
33 An efficient algorithm for minimizing real-time transition s.. (context) - Yannakakis, Lee - 1993
33 Formal methods for protocol testing: a detailed study (context) - Sidhu, Leung - 1989
30 Protocol verification via projections (context) - Lam, Shankar - 1984
29 A test design methodology for protocol testing (context) - Sarikaya, Bochmann et al. - 1987
28 Automatic functional test generation using the extended fini.. (context) - Cheng, Krishnakumar - 1993
26 Introduction to the Theory of Finite-state Machines (context) - Gill - 1962
25 An improved protocol test generation procedure based on UIOs (context) - Chan, Vuong et al. - 1989
24 Fault detecting experiments for sequential circuits (context) - Hennie - 1964
22 Protocol validation by random state exploration (context) - West - 1986
20 Testing finite state machines: fault detection (context) - Yannakakis, Lee - 1995
20 Random walks, universal traversal sequences, and the complex.. (context) - Aleliunas, Karp et al. - 1979
20 Optimal test sequence generation for protocols: the Chinese .. (context) - Uyar, Dahbura - 1986
20 The Derivation of conformance tests from LOTOS specification.. (context) - Pitt, Freestone - 1990
19 Fault detection for sequential machines by transitions tours (context) - Naito, Tsunoyama - 1981
18 Conformance testing of protocols specified as communicating .. (context) - Lee, Sabnani et al.
16 Finite State Markov Decision Processes (context) - Derman - 1972
16 Probabilistic verification of Boolean functions (context) - Jain, Bitner et al. - 1992
16 Matching, Euler tours and the Chinese postman (context) - Edmonds, Johnson - 1973
14 A framework for test selection (context) - Brinksma, Tretmans et al. - 1991
14 Protocol conformance testing using multiple UIO sequences (context) - Shen, Lombardi et al. - 1989
13 A unified approach to protocol test sequence generation (context) - Chanson, Zhu - 1993
13 Failure diagnosis of automata (context) - Vasilevskii - 1973
12 Testing finite state machines (context) - Yannakakis, Lee - 1991
12 The CO-OP method for compositional derivation of conformance.. (context) - Wezeman - 1989
12 Generating test cases for EFSM with given fault models (context) - Wang, Liu - 1993
11 Testing finite state machines: state identification and veri.. (context) - Lee, Yannakakis - 1994
11 A well-defined Estelle specification for the automatic test .. (context) - Lee, Lee - 1991
11 Approaches utilizing segment overlap to minimize test sequen.. (context) - Chen, Choi et al. - 1990
11 Protocol conformance test generation using multiple UIO sequ.. (context) - Yang, Ural - 1990
11 Reset sequences for monotonic automata - Eppstein - 1990
11 A Method for the design of fault detection experiments (context) - Gonenc - 1980
10 Synchronization and specification issues in protocol testing (context) - Sarikaya, Bochmann - 1984
9 Test Case Generation for Protocols Specified in Estelle (context) - Chun, Amer - 1990
9 Fault detection with multiple observers (context) - Wang, Schwartz - 1993
8 Distinguishing tests for nondeterministic and probabilistic .. - Alur, Courcoubetis et al. - 1995
8 Design and Validation of Protocols (context) - Holzmann - 1990
8 VFSM executable specification (context) - Wagner - 1992
8 Formal methods for generating protocol conformance test sequ.. (context) - Dahbura, Sabnani et al. - 1990
7 Fault Testable Hardware Design (context) - Lala, Tolerant - 1985
7 State-identification experiments in finite automata (context) - Gill - 1961
7 Test generation for the specification written in Estelle (context) - Lee, Lee - 1991
6 Test generation from LOTOS specifications (context) - Tripathy, Sarikaya
6 Graphic programming using odd or even points (context) - Kuan - 1962
6 Generating conformance test sequences for combined control a.. (context) - Miller, Paul - 1992
5 Checking experiments for sequential machines (context) - Hsieh - 1971
5 line minimization of transition systems (context) - Lee, Yannakakis - 1992
5 Fault Detection in Digital Circuits (context) - Friedman, Menon - 1971
5 International standard ISO (context) - standard, IEEE - 1989
5 On test sequence generation for protocols (context) - Chan, Vuong et al. - 1989
4 Improvements on UIO sequence generation and partial UIO sequ.. (context) - Chun, Amer - 1992
4 Protocol pruning (context) - Lee, Netravali et al. - 1995
4 International standard ISO/IEC (context) - standard, ANSI et al. - 1992
4 Translation of test specifications in TTCN to LOTOS (context) - Sarikaya, Gao - 1988
4 Generating minimal length test sequences for conformance tes.. (context) - Miller, Paul - 1991
4 Automatic generation of test scenario skeletons from protoco.. (context) - Favreau, Linn - 1986
4 A polynomial time algorithm for the local testability proble.. (context) - Kim, McNaughton et al. - 1991
4 Protocol testing techniques (context) - Wang, Hutchinson - 1987
3 A test suite generation method for extended finite state mac.. (context) - Wang, Liu - 1992
3 Reverse-engineering of communication protocols (context) - Lee, Sabnani - 1993
3 A useful FSM representation for test suite design and develo.. (context) - Kanungo, Lamont et al. - 1986
3 A Survey of formal methods (context) - Bochmann, Sunshine - 1983
3 Some experience with test sequence generation (context) - Sarikaya, Bochmann - 1982
3 A notation for specifying test selection criteria (context) - Pachl - 1990
3 A test derivation method for protocol conformance testing (context) - Ural - 1987
2 An approach to designing checking experiments based on a dyn.. (context) - Seitz - 1972
2 Conformance testing with multiple observers (context) - Dssouli, Bochmann - 1986
2 Testability in the context of SDL (context) - Ellsberger, Kristoffersen - 1992
2 Testing protocol implementations based on a formal specifica.. (context) - Miller, Lundy - 1990
2 Test Generation for VLSI Chips (context) - Agrawal, Seth - 1988
2 Protocol testing: the first ten years, the next ten years (context) - Sidhu - 1990
2 Efficient algorithms for constructing testing sets, covering.. - Aho, Lee - 1987
2 Experience with test generation for real protocols (context) - Sidhu, Leung - 1988
2 Model checking for real-timed systems (context) - Alur, Courcoubetis et al. - 1990
2 Protocol conformance testing by discriminating UIO sequences (context) - Sun, Shen et al. - 1991
2 Test result analysis and diagnostics for finite state machin.. (context) - Ghedamsi, Bochmann - 1992
2 Multiple fault diagnostics for finite state machines (context) - Ghedamsi, Bochmann et al. - 1993
2 Computing diagnostic tests for incorrect processes (context) - Celikkan, Cleaveland - 1992
2 Design and implementation of a ferry clip test systems (context) - Chanson, Lee et al. - 1989
2 An integrated software environment for developing and valida.. (context) - Probert, Ural et al. - 1988
2 Automated validation of TTCN test suites (context) - Bar, Schneider - 1992
2 Minimum-cost synchronizable test sequence generation via the.. (context) - Chen, Tang et al. - 1993
2 Generating test sequences and their degrees of indeterminism.. (context) - Cheung, Wu et al. - 1991
2 the complexity of generating optimal test sequences (context) - Boyd, Ural - 1991
2 Probabilistic conformance testing of protocols with unobserv.. (context) - Low - 1993
2 Derivation and validation of test scenarios based on the for.. (context) - de Meer - 1986
1 LAPB conformance testing using trace analysis (context) - Wvong - 1991
1 Towards execution of TTCN test cases (context) - Eswara, Berrian et al. - 1990
1 Promoting the local test method with the new concept ferry c.. (context) - Zeng, Du et al. - 1988
1 Development of an international standard for conformance tes.. (context) - Alfano, Kanungo - 1990
1 Fault location in iterative logic arrays (context) - Friedman, Menon - 1972
1 Check words for the states of a finite automaton (context) - Gobershtein - 1974
1 Using checking sequences for OSI session layer conformance t.. (context) - Hengeveld, Kroon - 1987
1 Automatic test generation for protocol data aspects (context) - Kwast - 1992
1 An algorithm for generating a fault detection test for a cla.. (context) - Breuer - 1972
1 Testing linear operators (context) - Lee, Wozniakowski - 1995
1 Testing nonlinear operators (context) - Lee, Wozniakowski - 1995
1 MAP 2.1 network management and directory services test syste.. (context) - Muralidhar - 1987
1 Methods and semi-automatic tools for preparing distributed t.. (context) - Castanet, Sijelmassi - 1986
1 Diagnostic experiments with automata (context) - Sokolovskii - 1971
1 Variable-length distinguishing sequences and their applicati.. (context) - Kohavi, Kohavi - 1968
1 Protocol testing for the ISDN D-channel network layer (context) - Rathgeb, Homann et al. - 1987
1 Towards automatic test generation for protocol data aspects (context) - Kwast - 1991
1 Presentation layer conformance testing with TTCN (context) - Bar, Strecker et al. - 1991
1 Inderring the structure of a Markov chain from its output (context) - Rudich - 1985
1 Behavior and Synthesis (context) - Trakhtenbrot, Barzdin et al. - 1973
1 Passive testing and network management (context) - Lee, Netravali et al.
1 MHTS/400 - testing message handling systems (context) - Austermuehl - 1986
1 User-guided test sequence generation (context) - Ural, Probert - 1983
1 Conformance testing: operational aspects, tools, and experie.. (context) - Matthews, Muralidhar et al. - 1986
1 Exact solutions for the construction of optimal length test .. (context) - Rodrigues, Ural - 1993
1 Conformance relation, associated equivalence, and new canoni.. - Leduc - 1991
1 A test derivation method based on exploiting structure infor.. (context) - Velthuys, Schneider et al. - 1992
1 Test suit generation from an FSM with a given type of implem.. (context) - Petrenko, Yevtushenko - 1992
1 line minimization of transition systems - general methods (context) - Lee, Yannakakis
1 An optimization technique for protocol conformance testing u.. (context) - Chen, Lu et al. - 1990
1 Synchronizable protocol test generation via the duplex techn.. (context) - Chen, Lu et al. - 1991
1 the degree of distinguishability of finite automata (context) - Korshunov - 1967
1 Strategic testing environment with formal description techni.. (context) - Katsuyama, Sato et al. - 1991
1 Application of the ISO distributed single-layer testing meth.. (context) - Nightingale - 1986
1 Software Reliability: Principles & Practices (context) - Myers - 1976
1 Testability of formal specifications (context) - Burgt, Kroon et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.bell-labs.com/user/leedavid/bibliography.html):
Efficient Gateway Synthesis from Formal Specifications - Kristol, Lee, Netravali.. (1993) (Correct)
An Optimization Technique for Protocol Conformance Test.. - Aho, Dahbura, Lee, Uyar (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC