Architecture-guided test resource allocation via logic

DOI10.1007/978-3-030-79379-1_2zbMath1489.68043arXiv2107.10948OpenAlexW3177419666MaRDI QIDQ2117254

Clovis Eberhart, Stefan Klikovits, Akihisa Yamada, Ichiro Hasuo, Fuyuki Ishikawa, Tsutomu Kobayashi, Shin-ya Katsumata

Publication date: 21 March 2022

Full work available at URL: https://arxiv.org/abs/2107.10948

zbMATH Keywords

reliabilitylogictest resources allocation

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical problems of computer architecture (68M07) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (2)

Astrahl ⋮ Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs

Cites Work

• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures
• Upper and Lower Probabilities Induced by a Multivalued Mapping
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Architecture-guided test resource allocation via logic