Formal Approaches to Software Testing

DOI10.1007/B95400zbMATH Open1185.68234OpenAlexW2765906234MaRDI QIDQ5902012FDOQ5902012

Authors: MacHiel van der Bijl, Arend Rensink, Jan Tretmans 

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

• Compositional Testing of Communication Systems
• Testing of abstract components
• Specification completion for IOCO
• Model-Based Testing of Environmental Conformance of Components
• Testability of a communicating system through an environment

Mathematics Subject Classification ID

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

Cited In (28)

• Title not available (Why is that?)
• Testing using CSP Models: Time, Inputs, and Outputs
• Combining partial specifications using alternating interface automata
• A formal abstract framework for modelling and testing complex software systems
• Model-based testing
• A Note on an Anomaly in Black-Box Testing
• Agreement between conformance and composition
• Goodbye ioco
• Interaction semantics with refusals, divergence, and destruction
• Combining model checking and testing
• Testing of abstract components
• Model-Based Testing of Environmental Conformance of Components
• Component-aware input-output conformance
• Logical characterisations and compositionality of input-output conformance simulation
• Input-output conformance testing for software product lines
• Integration Testing of Distributed Components Based on Learning Parameterized I/O Models
• Specification completion for IOCO
• Testability of a communicating system through an environment
• Integrating topological proofs with model checking to instrument iterative design
• A pre-congruence format for \(XY\)-simulation
• A linear-time branching-time perspective on interface automata
• 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
• 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)