TY  - CPAPER
AU  - Aceto, Luca
AU  - Fábregas Alfaro, Ignacio
AU  - Gregorio Rodríguez, Carlos
AU  - Ingólfsdóttir, Anna
A2  - Steffen, Bernhard
A2  - Baier, Christel
A2  - van den Brand, Mark
A2  - Eder, Johann
A2  - Hinchey, Mike
A2  - Margaria, Tiziana
PY  - 2017
DO  - 10.1007/978-3-319-51963-0\_4
SN  - 978-3-319-51963-0
UR  - https://hdl.handle.net/20.500.14352/98297
AB  - Input-output conformance simulation (iocos) has been pro- posed by Gregorio-Rodr ́ıguez, Llana and Mart ́ınez-Torres as a simulation- based behavioural preorder underlying model-based testing. This relation is inspired by Tretman’s classic ioco...
LA  - eng
TI  - Logical characterisations and compositionality of input-output conformance simulation
TY  - conference paper
ER  -