Formal Approaches to Software Testing
From MaRDI portal
Publication:5902015
DOI10.1007/b95400zbMath1185.68415MaRDI QIDQ5902015
Thierry Jéron, Hervé Marchand, Ahmed Khoumsi
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
real-time systems; conformance test cases generation; Determinizable Timed Automata (DTA); Set-Exp-Automata (SEA); test architecture
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Compositional schedulability analysis of real-time actor-based systems, Conformance testing for real-time systems, Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata, On Conformance Testing for Timed Systems