A Logic for Assessing Sets of Heterogeneous Testing Hypotheses

DOI10.1007/11754008_3MaRDI QIDQ3434651zbMATH OpenOpenAlexFDO

Authors Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez

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) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Logically-consistent hypothesis testing and the hexagon of oppositions
• Testing of multialternative hypothesis under a priori uncertainty
• scientific article; zbMATH DE number 2033522
• A Bayesian decision-theoretic approach to logically-consistent hypothesis testing
• Hypotheses testing in adaptive logics: an application to medical diagnosis
• Hypotheses Testing as a Fuzzy Set Estimation Problem
• A New Method for Testing Separate Families of Hypotheses

Cited in

(8)

• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
• Formalization of a test experiment. II
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• A Formal Methodology to Test Complex Heterogeneous Systems
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
• scientific article; zbMATH DE number 2033522 (Why is no real title available?)
• scientific article; zbMATH DE number 2202021 (Why is no real title available?)
• Formalization of test experiments

This page was built for publication: A Logic for Assessing Sets of Heterogeneous Testing Hypotheses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434651)