M. Umit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer  Home/Search
Context Related
| udel.edu/~fecko/PAPERSPD...ipccc98.pdf udel.edu/~fecko/papers_pd...ipccc98.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: udel.edu/~fecko...ngpublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A method to generate a minimum-cost test sequence for a protocol with timers is presented. The protocol timers limit the number of consecutive self-loops that can be realized in a given state. The solution presented is applicable to test sequences that use any state identification method such as UIO sequences, distinguishing sequences, and characterizing sequences. If valid and inopportune transition testing are combined, or if only valid transitions are considered, a minimum-cost solution... (Update)
Context of citations to this paper: More
...as discussed in Section 6.1. Earlier results of this study, limited to verification sequences that are self loops, are presented in [21]. This paper generalizes these earlier results to both self loop and non self loop verification sequences. Section 2 presents some practical...
.... that an IUT can remain only a limited amount of time in some states during testing, before a timer s expiration forces a state change [78,79]. The solution first augments an original graph representation of the protocol FSM model. Then it formulates a Rural Chinese Postman...
Cited by: More
Optimum Test Sequence Generation from Estelle Specifications - Fecko, Uyar, Amer, Sethi (Correct)
Formal Specification and Conformance Testing of Army.. - Amer, Fecko, Sethi.. (2001) (Correct)
A Formal Approach to Development of Network Protocols: Theory.. - Uyar, Fecko (2001) (Correct)
Similar documents (at the sentence level): More
62.2%: Minimum-Cost Solutions For Testing Protocols With Timers - Uyar, Fecko, Sethi, Amer (1997) (Correct)
9.7%: Testing Protocols Modeled as FSMs with Timing Parameters - Uyar, Fecko, Sethi, Amer (1999) (Correct)
9.1%: Generation Of Realizable Conformance Tests Under Timing.. - Uyar, Fecko, Sethi, Amer (1998) (Correct)
Active bibliography (related documents): More All
0.6: Experience in Developing and Testing Network Protocol .. - Uyar, Fecko, Duale.. (Correct)
0.6: Issues in Conformance Testing: Multiple Semicontrollable .. - Fecko, Uyar, Sethi, D.. (1998) (Correct)
0.5: Using Semicontrollable Interfaces In Testing Army.. - Fecko, Uyar, Amer, Sethi (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.9: Optimum Test Sequence Generation From Estelle Specifications - Fecko, Uyar, Amer, Sethi (Correct)
0.7: Using Semicontrollable Interfaces In Testing Army.. - Fecko, Uyar, Amer, Sethi (1999) (Correct)
0.7: Issues In Conformance Testing: Multiple Semicontrollable.. - Fecko, Uyar (1998) (Correct)
Related documents from co-citation: More All
17: An optimization technique for protocol conformance test generation based on UIO .. - Aho, Dahbura et al. - 1991
16: A Protocol Test Generation Procedure (context) - Sabnani, Dahbura - 1988
15: On general routing problems (context) - Lenstra, Kan - 1976
BibTeX entry: (Update)
M. U. Uyar, M. A. Fecko, A. S. Sethi, and P. D. Amer, "Minimum-cost solutions for testing protocols with timers," Tech. Rep. TR-97-17, CIS Dept., University of Delaware, Newark, DE, 1997. http://citeseer.ist.psu.edu/article/uyar97minimumcost.html More
@misc{ uyar97minimumcost,
author = "M. Uyar and M. Fecko and A. Sethi and P. Amer",
title = "Minimum-cost solutions for testing protocols with timers",
text = "M. U. Uyar, M. A. Fecko, A. S. Sethi, and P. D. Amer, Minimum-cost solutions
for testing protocols with timers, Tech. Rep. TR-97-17, CIS Dept., University
of Delaware, Newark, DE, 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/article/uyar97minimumcost.html" }
Citations (may not include all citations):144 Switching and Finite Automata Theory (context) - Kohavi - 1978
83 Princeton Univ (context) - Ford, Fulkerson et al. - 1962
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
48 A protocol test generation procedure (context) - Sabnani, Dahbura - 1988
29 A test design methodology for protocol testing (context) - Sarikaya, Bochmann et al. - 1987
28 Formal methods for test sequence generation (context) - Ural - 1992
27 On general routing problems (context) - Lenstra, Kan - 1976
25 An improved protocol test generation procedure based on UIOs (context) - Chan, Vuong - 1989
20 Optimal test sequence generation for protocols: the Chinese .. (context) - Uyar, Dahbura - 1986
18 Structural analysis of protocol specifications and generatio.. (context) - Miller, Paul - 1994
17 Minimumcost solutions for testing protocols with timers - Uyar, Fecko et al. - 1997
16 the generation of minimal-length conformance tests for commu.. (context) - Miller, Paul - 1993
15 Formal design and testing of MILSTD 188-220A based on Estell.. - Fecko, Amer et al. - 1997
15 Conformance testing for OSI protocols (context) - Linn - 1990
15 FSM-based formal methods in protocol conformance testing: fr.. (context) - Bosik, Uyar - 1991
14 Checking Experiments in Sequential Machines (context) - Bhattacharyya - 1989
14 Protocol conformance testing using multiple UIO sequences (context) - Shen, Lombardi et al. - 1992
14 Protocol modeling for conformance testing: Case study for th.. (context) - Uyar, Sherif - 1990
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
6 Minimal length test sequences for protocol conformance (context) - Chen, Choi et al. - 1989
6 An improved method for test sequence generation (context) - Ural, Lu - 1990
5 Test generation for protocols with timing constraints (context) - Uyar, Fecko et al. - 1997
5 ISO Int'l Standard 9646: Conformance Testing Methodology and.. (context) - Information, Geneva - 1991
3 Generating maximal fault coverage conformance test sequences.. (context) - Miller, Paul - 1993
1 ESS243 Switch---ISDN Basic Rate Interface Specification (context) - AT, Generic - 1985
The graph only includes citing articles where the year of publication is known.
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