@inproceedings{e3ce101191af4e48b060b9f49d9756bf,
title = "Repetitive Quiescence in Implementation and Testing (Extended Abstract)",
abstract = "This paper studies implementation relations and testing based on labelled transition sys- tems, using the assumption that implementations communicate with their environment via inputs and outputs. Such implementations are formalized by restricting the class of transition systems to those systems that can always accept input actions. Implementation relations, which formalize the notion of correctness of these implementations with respect to labelled transition system specifications, are defined analogous to the theories of testing equivalence and preorder, and refusal testing. A test generation algorithm is given, which is proved to produce a sound and exhaustive test suite from a specification, i.e., a test suite that fully characterizes the set of correct implementations.",
keywords = "FMT-TESTING",
author = "G.J. Tretmans",
year = "1997",
month = jun,
language = "English",
isbn = "3-88457-315-2",
series = "GMD Studien",
publisher = "GMD-Forschungszentrum Informationstechnik GmbH",
pages = "23--37",
editor = "A. Wolisz and I. Schieferdecker and A. Rennoch",
booktitle = "Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellpr{\"u}fung",
note = "Formale Beschreibungstechniken f{\"u}r verteilte Systeme, FBT 1997 : GI/ITG-Fachgespr{\"a}ch, FBT ; Conference date: 19-06-1997 Through 20-06-1997",
}