Test generation derived from model-checking

DOI10.1007/3-540-48683-6_12MaRDI QIDQ4817537zbMATH OpenFDO

Authors Thierry Jéron, Pierre Morel

Publication date 24 September 2004

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

Full work available at URL https://doi.org/10.1007/3-540-48683-6_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking and testing combined
• Using Model Checking to Generate Fault Detecting Tests
• Combining model checking and testing
• scientific article; zbMATH DE number 910719
• Model checking, testing and verification working together

Cited in

(11)

• Test generation for processing control
• I\(_{\text{DDT}}\): Fundamentals and test generation
• Comparing TorX, autolink, TGV and UIO test algorithms
• Mechanical software verification: high level control aspects from a user's perspective
• Mutation-Based Test Case Generation for Simulink Models
• Data Flow Analysis and Testing of Abstract State Machines
• Model Checking Using Generalized Testing Automata
• Model-Based Testing for Functional and Security Test Generation
• Theoretical Aspects of Computing - ICTAC 2004
• Formal Approaches to Software Testing
• Test generation from P systems using model checking

This page was built for publication: Test generation derived from model-checking

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