Formal Approaches to Software Testing
From MaRDI portal
Publication:5902016
DOI10.1007/B95400zbMath1185.68243OpenAlexW2765906234MaRDI QIDQ5902016
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
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items (5)
Exhaustive property oriented model-based testing with symbolic finite state machines ⋮ Testing interruptions in reactive systems ⋮ Complementary Criteria for Testing Temporal Logic Properties ⋮ Test purpose oriented I/O conformance test selection with colored Petri nets ⋮ Towards Property Oriented Testing
This page was built for publication: Formal Approaches to Software Testing
