✦ LIBER ✦

On the use of procedural models for generation of test programs

✍ Scribed by Chien, R.; Fletcher, R.; Ho, W.; Peterson, L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the use of OR-BDDs for test generatio

✍ Lech Jóźwiak; Hein Mijland 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 470 KB

On the Use of Functional Test Generation

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

A software system for the generation of

✍ M.J. Gallagher; V.L. Narasimhan 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 679 KB

Use of simulation modelling for checking

✍ S. B. Danilevich; S. S. Kolesnikov; Yu. A. Palchun 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 128 KB

Test for optimality of a generalized seq

✍ M. Nikolayev 📂 Article 📅 1982 🏛 Springer 🌐 English ⚖ 307 KB

Generation of optimised fault lists for

✍ Milne, A.; Taylor, D.; Saunders, J.; Talbot, A.D. 📂 Article 📅 1999 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 404 KB