M. Umit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi  Home/Search
Context
Related
| udel.edu/~fecko/PAPERS...jist03_rev.pdf udel.edu/~fecko/papers...jist03_rev.pdf 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: udel.edu/~fecko...ngpublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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