✦ LIBER ✦

Complete deterministic stream X-machine testing

✍ Scribed by Florentin Ipate

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Testing Conformance to a Quasi-Non-Deter

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

Testing a deterministic implementation a

✍ Robert M. Hierons; Florentin Ipate 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 380 KB

Generating Test Sets from Non-Determinis

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

Testing (Stream) X-machines

✍ Florentin Ipate; Marian Gheorghe; Mike Holcombe 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 201 KB

Testing Conditions for Communicating Str

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

Testing timed systems modeled by Stream

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