Testing conformance of a deterministic implementation against a non-deterministic stream X-machine

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (2004)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by R. M. Hierons , M. Harman

Citations:

8 - 5 self

BibTeX

@MISC{Hierons04testingconformance,
    author = {R. M. Hierons and M. Harman},
    title = {Testing conformance of a deterministic implementation against a non-deterministic stream X-machine},
    year = {2004}
}

Bookmark

OpenURL

Abstract

Citations

212	Modeling Reactive Systems with Statecharts - Harel, Politi
210	Notes on structured programming - Dijkstra - 1972
184	D.: Finite automata and their decision problems - Rabin, Scott - 1959
171	Automating the generation and sequencing of test cases from model-based specifications - Dick, Faivre - 1993
101	An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours - Aho, Dahbura, et al. - 1988
87	Testing Software Design Modeled by Finite State Machines - Chow
77	Automata, Languages, and Machines, volume A - Eilenberg - 1974
72	Recommendation Z.100. Specification and Description Language (SDL - ITU-T - 1999
67	Testing can be fo rmal, too - Gaudel - 1995
65	Correct systems --- Building and business process solution - Holcombe, Ipate - 1998
35	X-machines as a basis for dynamic system specification - Holcombe - 1988
33	Reduced length checking sequences - Hierons, Ural
32	An integration testing method that is proved to find all faults - Ipate, Holcombe - 1997
28	Distinguishing tests for nondeterministic and probabilistic machines - Alur, Courcoubetis, et al. - 1995
24	Testing from a Z specification - Hierons - 1997
16	Testing deterministic implementations from nondeterministic fsm specifications - Petrenko, Yevtushenko, et al. - 1996
15	Communicating stream Xmachines systems are no more than X-machines - Balanescu, Cowling, et al. - 1999
15	Statechart testing method for aircraft control systems - Bogdanov, Holcombe
15	Nondeterministic state machines in protocol conformance testing - Petrenko, Yevtushenko, et al. - 1993
15	Principles and methods of testing finite–state machines – a survey - Lee, Yannakakis - 1996
14	Communicating X-machines - Barnard, Whitworth, et al. - 1996
11	Test generation based on control and data dependencies within system specifications in SDL - Ural, Saleh, et al.
10	Hierons. Adaptive testing of a deterministic implementation against a nondetermistic finite state machine - M - 1998
10	Recommendation Z.500 Framework on formal methods in conformance testing - ITU-T - 1997
10	Testing refinements of state-based formal specifications - Derrick, Boiten - 1999
8	COMX: A design methodology using communicating X–machines - Barnard - 1998
8	Using X-machines to model and test discrete event simulation programs - Kehris, Eleftherakis, et al. - 2000
8	On checking experiments with nondeterministic automata - Yevtushenko, Lebedev, et al. - 1991
8	A method for refining and testing generalised machine specifications - Ipate, Holcombe - 1998
7	An integrated methodology for the specification, verification and testing of systems - Holcombe - 1993
7	Resolving inconsistencies in EFSM modeled specifications - Uyar, Duale - 1999
6	Generating test sets from non-deterministic stream X-machines - Ipate, Holcombe
5	Testing from a Z speci - Hierons - 1997
5	Recommendation Z.100 Speci and description language (SDL - ITU-T - 1999
4	Testing software design modelled by state machines - Chow - 1978
4	X-machines as a basis for dynamic system speci - Holcombe - 1988
3	Testing re of state-based formal speci - Derrick, Boiten - 1999
3	Expanding an extended finite state machine to aid testability - Hierons, Kim, et al. - 2002
2	Testing comformance to a quasi-nondeterminstic stream X-machine - Hierons, Harman - 2000
2	An integrated methodology for the speci veri and testing of systems - Holcombe - 1993
2	An integration testing method that is proved to all faults - Ipate, Holcombe - 1997
2	A method for re and testing generalised machine speci - Holcombe, Ipate - 1998
2	Principles and methods of testing machines - Lee, Yannakakis - 1996
2	Improving design dependability by exploiting an open model-based specification - Tomita, Sakamura - 1999
1	Expanding an extended state machine to aid testability - Hierons, Kim, et al. - 2002
1	Resolving inconsistencies in EFSM modeled speci - Uyar, Duale - 1999