Using Time to Add Order to Distributed Testing

DOI10.1007/978-3-642-32759-9_20MaRDI QIDQ4647846zbMATH OpenOpenAlexFDO

Authors Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons

Publication date 8 November 2012

Published in FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32759-9_20

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timing issues in distributed testing
• Timed implementation relations for the distributed test architecture
• scientific article; zbMATH DE number 526072
• Distributed testing of concurrent systems: vector clocks to the rescue
• Timed testing of concurrent systems
• Timed testing of concurrent systems
• Coordination algorithm for distributed testing

Cited in

(5)

• Implementation relations and test generation for systems with distributed interfaces
• Distributed computation of vector clocks in Petri net unfoldings for test selection
• Timed implementation relations for the distributed test architecture
• Distributed testing of concurrent systems: vector clocks to the rescue
• scientific article; zbMATH DE number 1418452 (Why is no real title available?)

This page was built for publication: Using Time to Add Order to Distributed Testing

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