TY  - JOUR
AU  - Aceto, Luca
AU  - Fábregas Alfaro, Ignacio
AU  - Gregorio Rodríguez, Carlos
AU  - Ingólfsdóttir, Anna
PY  - 2019
DO  - 10.1016/J.JLAMP.2019.04.005
SN  - 2352-2208
UR  - https://hdl.handle.net/20.500.14352/98271
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - Input-output conformance simulation (iocos) has been proposed by Gregorio- Rodríguez, Llana and Martínez-Torres as a simulation-based behavioural preorder underlying model-based testing. This relation is inspired by Tretmans’ classic ioco relation,...
LA  - eng
TI  - Logical characterisations, rule formats and compositionality for input-output conformance simulation
TY  - journal article
ER  -