✦ LIBER ✦

Testing (Stream) X-machines

✍ Scribed by Florentin Ipate; Marian Gheorghe; Mike Holcombe

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Testing timed systems modeled by Stream

✍ Mercedes G. Merayo; Manuel Núñez; Robert M. Hierons 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 936 KB

Complete deterministic stream X-machine

✍ Florentin Ipate 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 155 KB

An Integrated Refinement and Testing Met

✍ Florentin Ipate; Mike Holcombe 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 297 KB

Testing Conditions for Communicating Str

✍ Florentin Ipate; Mike Holcombe 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 182 KB

Generating Test Sets from Non-Determinis

✍ Florentin Ipate; Mike Holcombe 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 172 KB

Testing Conformance to a Quasi-Non-Deter

✍ R. M. Hierons; M. Harman 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 205 KB