See this document in CiteSeerX!

Experience in Developing and Testing Network Protocol Software Using FDTs  (Make Corrections)  
M. Umit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi



  Home/Search   Context   Related

 
View or download:
udel.edu/~fecko/PAPERS...jist03_rev.pdf
udel.edu/~fecko/papers...jist03_rev.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  udel.edu/~fecko...ngpublications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper presents the research effort to formally specify, develop and test a complex real-life protocol for mobile network radios (MIL-STD 188-220). As a result, the team of researchers from the University of Delaware and the City University of the City College of New York, collaborating with scientists from CECOM (an R&D facility of the U.S. Army) and the U.S. Army Research Laboratory, have helped advance the state-of-the-art in the design, development, and testing of wireless... (Update)

Similar documents (at the sentence level):   More
66.2%:   A Formal Approach to Development of Network Protocols: Theory.. - Uyar, Fecko (2001)   (Correct)
47.3%:   Formal Specification and Conformance Testing of Army.. - Amer, Fecko, Sethi.. (2001)   (Correct)
25.8%:   A Success Story of Formal Description Techniques.. - Fecko, Uyar.. (2000)   (Correct)

Active bibliography (related documents):   More   All
1.0:   Generating Executable Tests for Timed and Untimed EFSM Models - Duale, Fecko   (Correct)
0.8:   Efficient Test Generation for Army Network Protocols.. - Fecko, Uyar, Duale, Amer (2000)   (Correct)
0.8:   A Technique to Generate Feasible Tests for - Communications Systems With   (Correct)

Similar documents based on text:   More   All
0.9:   Formal Design And Testing Of Mil-Std 188-220a Based On.. - Fecko, Amer, Sethi, Uyar (1997)   (Correct)
0.9:   Test Generation In The Presence Of Conflicting Timers - Fecko, Uyar, Duale, Amer (2000)   (Correct)
0.8:   Using Semicontrollable Interfaces In Testing Army.. - Fecko, Uyar, Amer, Sethi (1999)   (Correct)

BibTeX entry:   (Update)

@misc{ uyar-experience,
  author = "M. Umit Uyar and Mariusz A. Fecko and Ali Y. Duale and Paul D. Amer and
    Adarshpal S. Sethi",
  title = "Experience in Developing and Testing Network Protocol Software Using FDTs",
  url = "citeseer.ist.psu.edu/534218.html" }
Citations (may not include all citations):
3972   Introduction To Algorithms (context) - Cormen, Leiserson et al. - 1996
1933   Communication and Concurrency (context) - Milner - 1989
166   Selecting Software Test Data Using Data Flow Information (context) - Rapps, Weyuker - 1985
144   Switching and Finite Automata Theory (context) - Kohavi - 1978
78   An optimization technique for protocol conformance test gene.. - Aho, Dahbura et al. - 1991
69   Principles and methods of testing finite state machines---a .. - Lee, Yannakakis - 1996
65   An introduction to Estelle: A specification language for dis.. (context) - Budkowski, Dembinski - 1991
58   Online minimization of transition systems (context) - Lee, Yannakakis - 1992
48   A protocol test generation procedure (context) - Sabnani, Dahbura - 1988
29   A test design methodology for protocol testing (context) - Sarikaya, von Bochmann et al. - 1987
28   Formal methods for test sequence generation (context) - Ural - 1992
27   On general routing problems (context) - Lenstra, Kan - 1976
25   Conformance testing with labelled transitions systems: Imple.. (context) - Tretmans - 1996
24   A test sequence selection method for protocol testing (context) - Ural, Yang - 1991
24   Automatic generation of functional vectors using the extende.. - Cheng, Krishnakumar - 1996
23   Decidability of bisimulation equivalences for parallel timer.. (context) - Cerans - 1992
22   Protocol validation by random state exploration (context) - West - 1986
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
18   Conformance testing of protocols specified as communicating .. (context) - Lee, Sabnani et al. - 1996
17   Minimum-cost solutions for testing protocols with timers - Uyar, Fecko et al. - 1998
16   Issues in conformance testing: Multiple semicontrollable int.. - Fecko, Uyar et al.
16   the generation of minimal-length conformance tests for commu.. (context) - Miller, Paul - 1993
15   Conformance testing in systems with semicontrollable interfa.. - Fecko, Uyar et al. - 2000
15   FSM-based formal methods in protocol conformance testing: fr.. (context) - Bosik, Uyar - 1991
15   Modeling VHDL Specifications as Consistent EFSMs (context) - Uyar, Duale - 1997
15   International Standard ISOIEC (context) - International, IEC et al. - 1994
15   Formal design and testing of MIL-STD 188-220A based on Estel.. - Fecko, Amer et al. - 1997
15   Modeling VHDL specifications as consistent EFSMs (context) - Uyar, Duale - 1997
14   Checking Experiments in Sequential Machines (context) - Bhattacharyya - 1989
14   Testing timed automata - Springintveld, Vaandrager et al. - 2001
14   Protocol modeling for conformance testing: Case study for th.. (context) - Uyar, Sherif - 1990
13   A Unified Approach to Protocol Test Sequence Generation (context) - Chanson, Zhu - 1993
12   Generating test cases for EFSM with given fault models (context) - Wang, Liu - 1993
11   A well-defined Estelle specification for the automatic test .. (context) - Lee, Lee - 1991
11   A evolution: A model for technical architecture standards de.. (context) - Dzik, McMahon - 1997
11   Formal Description Techniques (context) - Turner - 1989
11   Testing protocols modeled as FSMs with timing parameters - Uyar, Fecko et al. - 1967
11   Timed test cases generation based on state characterisation .. (context) - En-Nouaary, Dssouli et al. - 1998
10   A Simplex Algorithm Whose Average Number of Steps is Bound B.. (context) - Adler, Megiddo - 1985
10   Protocol implementation with Estelle---from prototypes to ef.. - Thees
10   Test generation in the presence of conflicting timers - Fecko, Amer et al. - 2000
9   Using semicontrollable interfaces in testing Army communicat.. - Fecko, Uyar et al. - 1999
9   A tutorial introduction to Estelle (context) - Tenney - 1988
9   Generation of feasible test sequences for EFSM models (context) - Duale, Uyar - 2000
9   Generating test cases for a timed I/O automaton model - Higashino, Nakata et al. - 1999
8   Validation of SDL systems (context) - Hogrefe - 1996
8   Application of a TTCN-based conformance test environment to .. (context) - Bi, Wu
8   Estelle specification of MIL-STD 188-220A DLL (context) - Amer, Burch et al. - 1996
7   Test generation for the specification written in Estelle (context) - Lee, Lee - 1991
7   Estelle specification of MIL-STD 188-220A: Interoperability .. (context) - Li, Amer et al. - 1995
7   A test sequence selection method for protocols specified in .. (context) - Ural, Yang - 1988
7   Automatic Analysis and Test Case Derivation for a Restricted.. (context) - Higashino, Bochmann - 1994
7   Performance evaluation of MIL-STD 188-220A: Interoperability.. (context) - Burch, Amer et al. - 1995
6   The analysis of integrating test results for ATM switching s.. (context) - Cheong, Lee et al.
6   Conformance testing of ATM Adaptation Layer protocol (context) - Yoo, Collica et al.
6   and resolution of IN feature interactions with Estelle (context) - Bredereke, Gotzhein et al. - 1995
6   Analysis tools for Estelle specifications (context) - Wytrebowicz, Rolinski
6   Development and application of ATM protocol conformance test.. (context) - Kang, Seo et al. - 1999
6   SSCOP protocol throughput evaluation---simulation based on E.. (context) - Negulescu, Borcoci
6   Automated implementation of the Xpress Transport Protocol (context) - Catrina, Lallet et al. - 1998
6   Conformance testing methodology of Internet protocols: Inter.. (context) - Gecse
6   Axiomatic test sequence generation for extended finite state.. (context) - Wang, Liu - 1992
6   Generation of conformance test suites for B-ISDN signalling .. (context) - Choi, Hong
6   Uncovering ISO ROSE protocol errors using Estelle (context) - Jirachiefpattana, Lai - 1995
6   Intelligent protocol analyzer with TCP behavior emulation in.. (context) - Idoue, protocol et al. - 1997
6   Conformance tests for Army communication protocols (context) - Uyar, Duale - 2000
6   Removal of inconsistencies in VHDL specifications (context) - Uyar, Duale - 1998
5   OMG Standard: Unified Modeling Language (context) - Group, MA - 1997
5   Automatic implementation TPIP with Estelle workstation dev.. (context) - Sedano, implementation et al. - 1992
5   ISO International Standard 9074: Estelle---A Formal Descript.. (context) - Information - 1989
5   Exploiting symmetry in protocol testing - Romijn, Springintveld
5   Estelle development toolset (context) - Budkowski - 1992
4   A graphical representation and prototype editor for the form.. (context) - Templemore-Finlayson, Raffy et al.
4   France: Institut National des Telecommunications (context) - Budkowski, Fischer et al. - 1998
4   Specification and Description Language (context) - Telecomm, Geneva et al. - 1989
4   Amsterdam: North-Holland (context) - Brinksma, for et al. - 1988
3   MA: Kluwer Academic Publishers (context) - Budkowski, Cavalli et al. - 1998
3   Test development for communication protocols: Towards automa.. (context) - Dssouli, Saleh et al. - 1999
3   MA: Kluwer Academic Publishers (context) - Baumgarten, Burkhardt et al. - 1996
3   Resolving inconsistencies in VHDL Specifications (context) - Uyar, Duale - 1999
3   IFIP Int'l Workshop Test (context) - Kim, Kang et al. - 1997
3   MA: Kluwer Academic Publishers (context) - Petrenko, Yevtushenko et al. - 1998
3   IFIP Int'l Workshop Protocol Test Syst (context) - von Bochmann, Das et al. - 1992
2   An approach for testing real time protocol entities (context) - Khoumsi, Akalay et al. - 2000
2   Formal specification and conformance testing of Army communi.. - Amer, Fecko et al. - 2001
1   Timing and controllability issues in conformance testing of .. (context) - Fecko - 1999
1   Feasible Test Generation by Elimination of Inconsistencies i.. (context) - Duale - 2000
www.cis.udel.edu/

Documents on the same site (http://www.cis.udel.edu/~fecko/mf-testing-publications.html):   More
A Success Story of Formal Description Techniques.. - Fecko, Uyar.. (2000)   (Correct)
Conformance Testing in Systems with Semicontrollable.. - Fecko, Uyar, Amer, Sethi (1998)   (Correct)
Using Semicontrollable Interfaces In Testing Army.. - Fecko, Uyar, Amer, Sethi (1999)   (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