An extended framework for passive asynchronous testing

DOI10.1016/J.JLAMP.2016.02.004zbMath1353.68052OpenAlexW2325039465MaRDI QIDQ347402

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

Publication date: 30 November 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.02.004

zbMATH Keywords

asynchronous testingformal approaches to testingpassive testing

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• PTTAC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Testing from a stochastic timed system with a fault model
• Semi-commutations
• Algebraic theory of probabilistic processes.
• Follow automata.
• A brief account of runtime verification
• Safer asynchronous runtime monitoring using compensations
• A passive testing approach based on invariants: application to the WAP
• A decomposition theorem for partially ordered sets
• Introduction to Software Testing
• Monitoring of Real-Time Properties
• Depth-First Search and Linear Graph Algorithms
• Model checking of safety properties

This page was built for publication: An extended framework for passive asynchronous testing