Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice
This paper presents the approach to functional test automation of services (black-box
testing) and service architectures (grey-box testing) that has been developed within the …
testing) and service architectures (grey-box testing) that has been developed within the …
Input-output conformance simulation (iocos) for model based testing
C Gregorio-Rodríguez, L Llana… - … Conference on Formal …, 2013 - Springer
A new model based testing theory built on simulation semantics is presented. At the core of
this theory there is an input-output conformance simulation relation (iocos). As a branching …
this theory there is an input-output conformance simulation relation (iocos). As a branching …
Matching implementations to specifications: the corner cases of ioco
R Janssen, J Tretmans - Proceedings of the 34th ACM/SIGAPP …, 2019 - dl.acm.org
A well-known conformance relation for model-based testing is ioco. A conformance relation
expresses when an implementation is correct with respect to a specification. Unlike many …
expresses when an implementation is correct with respect to a specification. Unlike many …
Divergent quiescent transition systems
Quiescence is a fundamental concept in modelling system behaviour, as it explicitly
represents the fact that no output is produced in certain states. The notion of quiescence is …
represents the fact that no output is produced in certain states. The notion of quiescence is …
Effectiveness for input output conformance simulation iocos
C Gregorio-Rodríguez, L Llana… - … Conference on Formal …, 2014 - Springer
In this paper we continue the study of the input-output conformance simulation (ioco s). In
particular, we focus on implementation aspects to show that ioco s is indeed an interesting …
particular, we focus on implementation aspects to show that ioco s is indeed an interesting …
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
The notion of quiescence-the absence of outputs-is vital in both behavioural modelling and
testing theory. Although the need for quiescence was already recognised in the 90s, it has …
testing theory. Although the need for quiescence was already recognised in the 90s, it has …
[HTML][HTML] An axiomatic semantics for iocos_ conformance relation
C Gregorio-Rodríguez, L Llana, R Martínez - Journal of Logical and …, 2018 - Elsevier
Abstract ioco s _ is a preorder on the states of a transition system with input and output
actions. Its aim is to establish a new branching-time conformance framework. In this paper …
actions. Its aim is to establish a new branching-time conformance framework. In this paper …
Logical characterisations and compositionality of input-output conformance simulation
L Aceto, I Fábregas, C Gregorio-Rodríguez… - SOFSEM 2017: Theory …, 2017 - Springer
Input-output conformance simulation has been proposed by Gregorio-Rodríguez, Llana and
Martínez-Torres as a simulation-based behavioural preorder underlying model-based …
Martínez-Torres as a simulation-based behavioural preorder underlying model-based …
Quiescent transition systems
G Stokkink - 2012 - essay.utwente.nl
Quiescence is a fundamental concept in modelling system behaviour, as it explicitly
represents the fact that, in certain system states, no output is provided by the system. The …
represents the fact that, in certain system states, no output is provided by the system. The …
[PDF][PDF] Divergent quiescent transition systems (extended version)
Quiescence is a fundamental concept in modelling system behaviour, as it explicitly
represents the fact that no output is produced in certain states. The notion of quiescence is …
represents the fact that no output is produced in certain states. The notion of quiescence is …