Synchronizing asynchronous conformance testing
DOI10.1007/978-3-642-24690-6_23zbMATH Open1350.68048DBLPconf/sefm/NorooziKMW11OpenAlexW2149542769WikidataQ57745615 ScholiaQ57745615MaRDI QIDQ3095247FDOQ3095247
Authors:
Publication date: 28 October 2011
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://research.tue.nl/nl/publications/c5ba610b-a218-4e12-8a71-3e103b03a980
Recommendations
Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
Cited In (12)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generation of complete test suites from Mealy input/output transition systems
- The complexity of asynchronous model based testing
- Executable interface specifications for testing asynchronous Creol components
- Synchronizing asynchronous conformance testing
- On the complexity of generating synchronizable test sequences
- Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
- A Fresh Look at Testing for Asynchronous Communication
- Synchronization paradigm for protocol testing under multiparty configuration
- Automated testing of asynchronous nondeterministic systems with data.
- Title not available (Why is that?)
This page was built for publication: Synchronizing asynchronous conformance testing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3095247)
