✦ LIBER ✦

On the use of OR-BDDs for test generation

✍ Scribed by Lech Jóźwiak; Hein Mijland

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Use of Functional Test Generation

✍ Irith Pomeranz; Sudhakar M. Reddy 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 223 KB

On the Use of ZBDDs for Implicit and Com

✍ Kyriakos Christou; Maria K. Michael; Spyros Tragoudas 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 579 KB

The influence of boron content on electr

✍ J.T. Matsushima; W.M. Silva; A.F. Azevedo; M.R. Baldan; N.G. Ferreira 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 243 KB

On the Structure of Counterexamples to S

✍ Rakesh M. Verma; Sarah B. Hwang 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 311 KB

On the complexity of test case generatio

✍ Laura A. Sanchis 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 562 KB

On the use of Ajisai and Jason-1 satelli

✍ L. Iorio 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 299 KB