Formal Approaches to Software Testing
From MaRDI portal
Publication:5902012
DOI10.1007/b95400zbMath1185.68234MaRDI 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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Model-Based Testing, A formal abstract framework for modelling and testing complex software systems, Specification completion for IOCO, Formalization of test experiments, Interaction semantics with refusals, divergence, and destruction, Agreement between conformance and composition, A linear-time branching-time perspective on interface automata, Logical characterisations, rule formats and compositionality for input-output conformance simulation, Nondeterministic modal interfaces, Logical Characterisations and Compositionality of Input-Output Conformance Simulation, Combining Model Checking and Testing, A Note on an Anomaly in Black-Box Testing, A Pre-congruence Format for XY-simulation, Model-Based Testing of Environmental Conformance of Components