Formal Approaches to Software Testing

DOI10.1007/B95400MaRDI QIDQ5902016zbMATH OpenOpenAlexFDO

Authors Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon

Publication date 4 June 2009

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

Full work available at URL https://doi.org/10.1007/b95400

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 2079824
• Towards property oriented testing
• Automatic Testing from Formal Specifications
• Formal Approaches to Software Testing

Cited in

(10)

• Test purpose oriented I/O conformance test selection with colored Petri nets
• Combining test case generation and runtime verification
• Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement
• Exhaustive property oriented model-based testing with symbolic finite state machines
• Functional Testing in the Focal Environment
• Complementary Criteria for Testing Temporal Logic Properties
• Testing interruptions in reactive systems
• Formal Approaches to Software Testing
• Towards property oriented testing
• scientific article; zbMATH DE number 1857651 (Why is no real title available?)

This page was built for publication: Formal Approaches to Software Testing

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