A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
From MaRDI portal
Publication:3434651
DOI10.1007/11754008_3zbMath1185.68422OpenAlexW1586287692MaRDI QIDQ3434651
Manuel A. Nunez, Ismael Rodríguez, Mercedes G. Merayo
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11754008_3
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (4)
A Formal Methodology to Test Complex Heterogeneous Systems ⋮ \(\mathcal {HOTL}\): Hypotheses and observations testing logic ⋮ Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems ⋮ Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
This page was built for publication: A Logic for Assessing Sets of Heterogeneous Testing Hypotheses