Model-based testing

DOI10.1007/978-3-319-07317-0_8MaRDI QIDQ5175779zbMATH OpenOpenAlexFDO

Authors Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer

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

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

Recommendations

• FM 2005: Formal Methods
• Model-Based Testing for Functional and Security Test Generation
• Model-based testing of object-oriented systems.
• Model-Based Mutation Testing of Reactive Systems
• Model-based testing of reactive systems. Advanced lectures.

Cites work

• A Greedy Heuristic for the Set-Covering Problem
• A modal interface theory for component-based design
• Extensional equivalences for transition systems
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 108425 (Why is no real title available?)
• scientific article; zbMATH DE number 2090103 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Incremental model-based testing of delta-oriented software product lines
• Modal I/O Automata for Interface and Product Line Theories
• Modal Interface Automata
• Model-based testing of reactive systems. Advanced lectures.
• On Conformance Testing for Timed Systems
• Software is different

Cited in

(13)

• Model-based fault injection for testing gray-box systems
• Software testing using model programs
• Model based testing with logical properties versus state machines
• Incremental model-based testing of delta-oriented software product lines
• scientific article; zbMATH DE number 2088728 (Why is no real title available?)
• Input-output conformance testing for software product lines
• Model Driven Testing Based on Test History
• A dynamic model for component testing
• Building Test Cases through Model Driven Engineering
• Model-Based Testing for Functional and Security Test Generation
• FM 2005: Formal Methods
• Model-based testing of object-oriented systems.
• An approximation-based approach for the random exploration of large models

This page was built for publication: Model-based testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5175779)