Mariusz A. Fecko, M. Ümit Uyar, Paul D. Amer, Adarshpal S. Sethi  Home/Search
Context
Related
| informatik.unimannheim.d...paper25.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: informatik.unimann...proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The recent research results from the Protocol Engineering Lab of the University of Delaware in minimum-length test generation based on Estelle specifications are summarized. The methods use models restricting the number of self-loops to be consecutively traversed for each state, and utilizing semicontrollable interfaces of the IUT to increase the number of testable transitions. The initial results show that test sequences can be successfully generated for reallife Estelle specifications, such... (Update)
Similar documents (at the sentence level): More
63.3%: Optimum Test Sequence Generation From Estelle Specifications - Fecko, Uyar, Amer, Sethi (Correct)
48.5%: Formal Specification and Conformance Testing of Army.. - Amer, Fecko, Sethi.. (2001) (Correct)
47.5%: A Success Story of Formal Description Techniques.. - Fecko, Uyar, Amer.. (1999) (Correct)
Active bibliography (related documents): More All
0.7: Minimum-Cost Solutions for Testing Protocols with Timers - Uyar, Fecko, Sethi, Amer (1997) (Correct)
0.6: Using Semicontrollable Interfaces In Testing Army.. - Fecko, Uyar, Amer, Sethi (1999) (Correct)
0.6: Using Semicontrollable Interfaces In Testing Army.. - Fecko, Uyar, Amer, Sethi (1999) (Correct)
Similar documents based on text: More All
0.6: Issues In Conformance Testing: Multiple Semicontrollable.. - Fecko, Uyar (1998) (Correct)
0.6: Test Generation In The Presence Of Conflicting Timers - Fecko, Uyar, Duale, Amer (2000) (Correct)
BibTeX entry: (Update)
@misc{ fecko-optimum,
author = "Mariusz A. Fecko and M. Ümit Uyar and Paul D. Amer and Adarshpal S. Sethi",
title = "Optimum Test Sequence Generation from Estelle Specifications",
url = "citeseer.ist.psu.edu/694006.html" }
Citations (may not include all citations):268 A theory of timed automata - Alur, Dill - 1994
144 Switching and Finite Automata Theory (context) - Kohavi - 1978
78 An optimization technique for protocol conformance test gene.. - Aho, Dahbura et al. - 1991
72 Minimization of timed transition systems - Alur, Courcoubetis et al. - 1992
65 An introduction to Estelle: A specification language for dis.. (context) - Budkowski, Dembinski - 1991
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
27 On general routing problems (context) - Lenstra, Kan - 1976
25 An improved protocol test generation procedure based on UIOs (context) - Chan, Vuong - 1989
24 A test sequence selection method for protocol testing (context) - Ural, Yang - 1991
20 Optimal test sequence generation for protocols: the Chinese .. (context) - Uyar, Dahbura - 1986
17 Minimum-cost solutions for testing protocols with timers - Uyar, Fecko et al. - 1998
16 the generation of minimal-length conformance tests for commu.. (context) - Miller, Paul - 1993
16 Issues in conformance testing: Multiple semicontrollable int.. - Fecko, Uyar et al. - 1998
15 FSM-based formal methods in protocol conformance testing: fr.. (context) - Bosik, Uyar - 1991
14 Protocol modeling for conformance testing: Case study for th.. (context) - Uyar, Sherif - 1990
14 Checking Experiments in Sequential Machines (context) - Bhattacharyya - 1989
14 Testing timed automata - Springintveld, Vaandrager et al. - 1997
9 A tutorial introduction to Estelle (context) - Tenney - 1988
8 Formal design and testing of MIL-STD 188-220A based on Estel.. (context) - Fecko, Amer et al. - 1997
7 ISO International Standard 9646: Conformance Testing Methodo.. (context) - Information, OSI et al. - 1991
6 Generation of realizable conformance tests under timing cons.. - Uyar, Fecko et al. - 1998
5 Test generation for protocols with timing constraints (context) - Uyar, Fecko et al. - 1997
2 Using Estelle to evolve MIL-STD 188-220 (context) - Amer, Fecko et al. - 1998
Documents on the same site (http://www.informatik.uni-mannheim.de/informatik/pi4/events/estelle98/program/proceedings.html): More
Specification Style and Efficiency in Estelle - Bredereke (Correct)
Analysis Tools for Estelle Specifications - Rolinski, Wytrebowicz (Correct)
Real Time and Estelle: A Comparison of Approaches - Stefan Fischer University (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