Model-Based Mutation Testing of Reactive Systems

DOI10.1007/978-3-642-39698-4_2MaRDI QIDQ2842624zbMATH OpenOpenAlexFDO

Authors Bernhard K. Aichernig

Publication date 16 August 2013

Published in Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39698-4_2

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Model-based testing of reactive systems. Advanced lectures.
• Mutation-Based Test Case Generation for Simulink Models

Cites work

• scientific article; zbMATH DE number 1693451 (Why is no real title available?)
• scientific article; zbMATH DE number 3015360 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Connectors as designs: modeling, refinement and test case generation
• Mutation testing in UTP
• Mutation testing in the refinement calculus
• Spec#
• Unifying theories for logic programming

Cited in

(17)

• Using regular grammars for event-based testing
• Model-based fault injection for testing gray-box systems
• scientific article; zbMATH DE number 1870534 (Why is no real title available?)
• Generation of complete test suites from Mealy input/output transition systems
• scientific article; zbMATH DE number 2043472 (Why is no real title available?)
• Semantic mutation testing
• Model-based testing
• scientific article; zbMATH DE number 1949626 (Why is no real title available?)
• Testing-based formal verification for theorems and its application in software specification verification
• Multiple mutation testing from FSM
• Test generation from integrated system models capturing state-based and MSC-based notations
• Mutation testing in UTP
• Model-Based Test Selection for Infinite-State Reactive Systems
• Mutation-Based Test Case Generation for Simulink Models
• Lattice-based semantics for combinatorial model evolution
• Coverage-based testing with symbolic transition systems
• Association of under-approximation techniques for generating tests from models

Describes a project that uses

Uses Software

• Spec#

This page was built for publication: Model-Based Mutation Testing of Reactive Systems

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