A Logic for Assessing Sets of Heterogeneous Testing Hypotheses

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

Mathematics Subject Classification ID

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