Formal Approaches to Software Testing

DOI10.1007/b95400zbMath1185.68234OpenAlexW2765906234MaRDI QIDQ5902012

Arend Rensink, Jan Tretmans, MacHiel van der Bijl

Publication date: 4 June 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95400

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Testing using CSP Models: Time, Inputs, and Outputs ⋮ Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ Combining Partial Specifications using Alternating Interface Automata ⋮ Nondeterministic modal interfaces ⋮ Combining Model Checking and Testing ⋮ A Pre-congruence Format for XY-simulation ⋮ A linear-time branching-time perspective on interface automata ⋮ Logical characterisations, rule formats and compositionality for input-output conformance simulation ⋮ Goodbye ioco ⋮ Component-aware input-output conformance ⋮ Logical Characterisations and Compositionality of Input-Output Conformance Simulation ⋮ Model-Based Testing of Environmental Conformance of Components ⋮ Unnamed Item ⋮ Formalization of test experiments ⋮ Interaction semantics with refusals, divergence, and destruction ⋮ Model-Based Testing ⋮ Agreement between conformance and composition ⋮ A formal abstract framework for modelling and testing complex software systems ⋮ TOrPEDO : witnessing model correctness with topological proofs ⋮ Specification completion for IOCO ⋮ A Note on an Anomaly in Black-Box Testing

This page was built for publication: Formal Approaches to Software Testing