Communication protocols are the rules that govern the communication between the different
components within a distributed computer system. Since protocols are implemented in …

Presents a method of generating test sequences for concurrent programs and
communication protocols that are modeled as communicating nondeterministic finite-state …

This paper studies testing based on labelled transition systems, presenting two test
generation algorithms with their corresponding implementation relations. The first algorithm …

Real-time systems interact with their environment using time constrained input/output
signals. Examples of real-time systems include patient monitoring systems, air traffic control …

In order to test the control portion of communication software, specifications are usually first
abstracted to state machines, then test cases are generated from the resulting machines …

Academic research has made significant advances in the generation of test sequences from
formal specifications, and in the development of computer-aided test tools, with the aim of …

The annotated bibliography highlights work in the area of algorithmic test generation from
formal specifications with guaranteed fault coverage, ie, fault model-driven test derivation. A …

Graphical user interfaces (GUIs) are integral parts of software systems that require
interactions from their users. Software testers have paid special attention to GUI testing in …

Testing is a trade-off between increased confidence in the correctness of the implementation
under test and constraints on the amount of time and effort that can be spent in testing …

Real time reactive systems interact with their environment, using inputs and outputs, within
specified time constraints. For such systems, a functional misbehavior or a deviation from the …