Formal Approaches to Software Testing
From MaRDI portal
Publication:5710653
DOI10.1007/b106767zbMath1081.68569MaRDI QIDQ5710653
Laura Brandán Briones, Ed Brinksma
Publication date: 2 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106767
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Control Strategies for Off-Line Testing of Timed Systems, Control strategies for off-line testing of timed systems, Model-based testing of probabilistic systems, A formal abstract framework for modelling and testing complex software systems, Conformance testing for real-time systems, Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata, Conformance Testing Relations for Timed Systems, Controllable Test Cases for the Distributed Test Architecture, On Conformance Testing for Timed Systems
Uses Software