Formal Approaches to Software Testing
From MaRDI portal
Publication:5902012
DOI10.1007/B95400zbMATH Open1185.68234OpenAlexW2765906234MaRDI QIDQ5902012FDOQ5902012
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
Recommendations
Cited In (25)
- Title not available (Why is that?)
- Testing using CSP Models: Time, Inputs, and Outputs
- A Pre-congruence Format for XY-simulation
- A formal abstract framework for modelling and testing complex software systems
- A Note on an Anomaly in Black-Box Testing
- Agreement between conformance and composition
- Goodbye ioco
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design
- Interaction semantics with refusals, divergence, and destruction
- Model-Based Testing of Environmental Conformance of Components
- Component-aware input-output conformance
- Integration Testing of Distributed Components Based on Learning Parameterized I/O Models
- Specification completion for IOCO
- Combining Model Checking and Testing
- A linear-time branching-time perspective on interface automata
- Combining Partial Specifications using Alternating Interface Automata
- Logical Characterisations and Compositionality of Input-Output Conformance Simulation
- Formalization of test experiments
- Nondeterministic modal interfaces
- Relating alternating relations for conformance and refinement
- Logical characterisations, rule formats and compositionality for input-output conformance simulation
- TOrPEDO : witnessing model correctness with topological proofs
- Model-Based Testing
- Compositional Testing of Communication Systems
- A Formal Methodology to Test Complex Heterogeneous Systems
This page was built for publication: Formal Approaches to Software Testing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5902012)
