𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Specification based test sequence generation with propositional logic

✍ Scribed by G. Wimmel; H. Lötzbeyer; A. Pretschner; O. Slotosch

Publisher
John Wiley and Sons
Year
2000
Tongue
English
Weight
224 KB
Volume
10
Category
Article
ISSN
0960-0833

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning with propositional knowledge b
Reasoning with propositional knowledge based on fuzzy neural logic
✍ Wangming Wu; Hoon-Heng Teh; Bo Yuan 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 760 KB

In this article, a new kind of reasoning for propositional knowledge, which is based on the fuzzy neural logic initialed by Teh, is introduced. A fundamental theorem is presented showing that any fuzzy neural logic network can be represented by operations: bounded sum, complement, and scalar product

Test generation for technology-specific
Test generation for technology-specific multi-faults based on detectable perturbations
✍ Andrej Zemva; Baldomir Zajc 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 397 KB

In this paper, we introduce the concept of detectable perturbations as a method to generate tests that cover any technology-specific faults such as multiple bridging, open and stuck-at faults. Rather than devising a customized test pattern generation system for each class of technology-specific faul