Executable interface specifications for testing asynchronous Creol components

DOI10.1007/978-3-642-11623-0_19MaRDI QIDQ3400930zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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
• scientific article; zbMATH DE number 1418463

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)