Executable interface specifications for testing asynchronous Creol components

DOI10.1007/978-3-642-11623-0_19zbMATH Open1274.68187OpenAlexW1546246283MaRDI QIDQ3400930FDOQ3400930

Authors: Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen 

Publication date: 28 January 2010

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10852/10061

Recommendations

• A Fresh Look at Testing for Asynchronous Communication
• A system for compositional verification of asynchronous objects
• Synchronizing asynchronous conformance testing
• Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
• Publication:4942022

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Executable interface specifications for testing asynchronous Creol components

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400930)