Passive testing with asynchronous communications and timestamps

DOI10.1007/S00446-017-0308-0zbMath1451.68051OpenAlexW2743046373MaRDI QIDQ1656880

Robert M. Hierons, Mercedes G. Merayo, Manuel A. Nunez

Publication date: 10 August 2018

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: http://eprints.whiterose.ac.uk/142296/1/2nd_submission_dc.pdf

zbMATH Keywords

distributed systemsmodel-based testingtimed systems

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Uses Software

• PTTAC

Cites Work

• Unnamed Item
• Unnamed Item
• From regular expressions to deterministic automata
• The complexity of asynchronous model based testing
• Conformance testing for real-time systems
• Testing from a stochastic timed system with a fault model
• A theory of timed automata
• Timed implementation relations for the distributed test architecture
• A brief account of runtime verification
• Safer asynchronous runtime monitoring using compensations
• Formal testing from timed finite state machines
• A passive testing approach based on invariants: application to the WAP
• A decomposition theorem for partially ordered sets
• Message Confidentiality Testing of Security Protocols – Passive Monitoring and Active Checking
• Computingϵ-Free NFA from Regular Expressions inO(nlog²(n)) Time
• Testing can be formal, too
• Testing timed automata
• Translating regular expressions into small \(\epsilon\)-free nondeterministic finite automata

This page was built for publication: Passive testing with asynchronous communications and timestamps