Model-Based Mutation Testing of Reactive Systems

DOI10.1007/978-3-642-39698-4_2zbMath1390.68175OpenAlexW207264427MaRDI QIDQ2842624

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)

Related Items (1)

Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification

Uses Software

• Spec#

Cites Work

• Spec#
• Connectors as designs: modeling, refinement and test case generation
• Mutation testing in the refinement calculus
• Mutation testing in UTP
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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