Formal Approaches to Software Testing
From MaRDI portal
Publication:5710654
DOI10.1007/b106767zbMath1081.68574OpenAlexW2502633158MaRDI QIDQ5710654
Brian Nielsen, Marius Mikučionis, Kim Guldstrand Larsen
Publication date: 2 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106767
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (12)
Control Strategies for Off-Line Testing of Timed Systems ⋮ Testing using CSP Models: Time, Inputs, and Outputs ⋮ Conformance testing for real-time systems ⋮ Modelling timed reactive systems from natural-language requirements ⋮ Control strategies for off-line testing of timed systems ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ On Conformance Testing for Timed Systems ⋮ An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation ⋮ Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security ⋮ Testing from a stochastic timed system with a fault model ⋮ Conformance Testing Relations for Timed Systems ⋮ Monitoring timed properties (revisited)
Uses Software
This page was built for publication: Formal Approaches to Software Testing
