Model-Based Testing

DOI10.1007/978-3-319-07317-0_8zbMath1445.68056OpenAlexW1847524687MaRDI QIDQ5175779

Matthias Kowal, Ina Schaefer, Malte Lochau, Sven Peldszus

Publication date: 25 February 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-07317-0_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extensional equivalences for transition systems
• Software is different
• Model-based testing of reactive systems. Advanced lectures.
• A Modal Interface Theory for Component-based Design
• Incremental Model-Based Testing of Delta-Oriented Software Product Lines
• On Conformance Testing for Timed Systems
• A Greedy Heuristic for the Set-Covering Problem
• Modal I/O Automata for Interface and Product Line Theories
• Modal Interface Automata
• Formal Approaches to Software Testing

This page was built for publication: Model-Based Testing