scientific article; zbMATH DE number 2080069

MaRDI QIDQ4472265zbMATH OpenFDO

Authors Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 2079824
• scientific article; zbMATH DE number 2090141
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(20)

• Towards property oriented testing
• scientific article; zbMATH DE number 1951541 (Why is no real title available?)
• scientific article; zbMATH DE number 2087635 (Why is no real title available?)
• scientific article; zbMATH DE number 2080007 (Why is no real title available?)
• On-the-fly conformance testing using SPIN
• scientific article; zbMATH DE number 2090141 (Why is no real title available?)
• scientific article; zbMATH DE number 2090131 (Why is no real title available?)
• scientific article; zbMATH DE number 2079824 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• STG
• Model-Based Test Selection for Infinite-State Reactive Systems
• Model-Based Testing for Functional and Security Test Generation
• A tool for automated test code generation from high-level Petri nets
• Symbolic Test Generation Using a Temporal Logic with Constrained Events
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 1956610 (Why is no real title available?)
• Generating Unit Tests from Formal Proofs
• Conformance testing for real-time systems
• Guided Test Generation from CSP Models
• scientific article; zbMATH DE number 1629962 (Why is no real title available?)

This page was built for publication:

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