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

Abstract Model based testing is one of the promising technologies to meet the challenges
imposed on software testing. In model based testing an implementation under test is tested …

This paper studies testing based on labelled transition systems, using the assumption that
implementations communicate with their environment via inputs and outputs. Such …

This paper discusses the use of formal methods in testing of concurrent systems. It is argued
that formal methods and testing can be mutually profitable and useful. A framework for …

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

This paper studies testing based on labelled transition systems, using the assumption that
implementations communicate with their environment via inputs and outputs. Such …

Labelled transition system based test theory has made remarkable progress over the past
15 years. From a theoretically interesting approach to the semantics of reactive systems it …

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 …

In this paper we describe an experiment in automatic generation of test suites for protocol
testing. We report the results gained with generation of test suites based on advanced …

In this chapter, we give a comprehensive overview of the research results in the field of
action refinement during the past 12 years. The different approaches that have been …