Melania Ionescu

Learn More
Passive testing is the process of collecting traces of the messages exchanged between an operating implementation and its environment, in order to verify that these traces actually belong to the language accepted by the provided specification. The specification has in general the form of a finite state machine (FSM). In this paper, we present an extension(More)
  • 1