Test generation from functional requirements in natural language (NL) is often time-
consuming and error prone, especially in complex projects. In this context, formal …

Web service composition involves a collection of web services; the interaction among the
participating services makes the testing of the web service composition significantly …

Model-Based Testing is a testing approach used for automated test generation, execution,
and evaluation. It is based on a formal behavioral model of the tested system. This paper …

This thesis introduces Timed Moore Automata, a specification formalism, which extends the
classical Moore Automata by adding the concept of abstract timers without concrete delay …

Model-Based Testing is an automated test approach used for automated test generation,
execution, and evaluation. For this purposes, it uses a formal model of system behavior. In …

Abstract This thesis introduces Timed Moore Automata, a specification formalism, which
extends the classical Moore Automata by adding the concept of abstract timers without …