Formal Approaches to Software Testing

DOI10.1007/B95400zbMATH Open1185.68243OpenAlexW2765906234MaRDI QIDQ5902016FDOQ5902016

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)

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)