BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
simul (3)
composit (3)
test (3)
readi (1)
extend (1)

Stem ioco$ (all stems)

5 papers:

CBSECBSE-2015-BenesDHKN #composition #testing
Complete Composition Operators for IOCO — Testing Theory (NB, PD, TAH, JK, DN), pp. 101–110.
SACSAC-2015-Gregorio-Rodriguez #consistency #simulation
Extending mCRL2 with ready simulation and iocos input-output conformance simulation (CGR, LL, RMT), pp. 1781–1788.
ICSTICST-2014-DacaHKN #composition #specification #testing
Compositional Specifications for ioco Testing (PD, TAH, WK, DN), pp. 373–382.
ICTSSICTSS-2010-VeanesB #simulation
Alternating Simulation and IOCO (MV, NB), pp. 47–62.
FATESFATES-2003-BijlRT #composition #testing
Compositional Testing with ioco (MvdB, AR, JT), pp. 86–100.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.