Model checking and testing combined

DOI10.1007/3-540-45061-0_5MaRDI QIDQ4449163zbMATH OpenFDO

Authors Doron Peled

Publication date 8 February 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2719/27190047.htm

Mathematics Subject Classification ID

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

Recommendations

• Combining model checking and testing
• scientific article; zbMATH DE number 910719
• Model checking
• Model-checking. A tutorial introduction
• Introduction to model checking

Cited in

(9)

• Model checking, testing and verification working together
• Model-checking the preservation of temporal properties upon feature integration
• Combining model checking and testing
• Combining Model Checking and Deduction
• AMC: An adaptive model checker
• scientific article; zbMATH DE number 2102699 (Why is no real title available?)
• Model Checking Using Generalized Testing Automata
• Theoretical Aspects of Computing - ICTAC 2004
• Formal Approaches to Software Testing

This page was built for publication: Model checking and testing combined

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