On-the-fly conformance testing using SPIN
From MaRDI portal
Publication:1856165
DOI10.1007/s100090050044zbMath1059.68592OpenAlexW2109563237MaRDI QIDQ1856165
Jan Tretmans, René G. de Vries
Publication date: 2000
Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s100090050044
Related Items
Model-Based Testing of Environmental Conformance of Components ⋮ Data Flow Analysis and Testing of Abstract State Machines ⋮ An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation