✦ LIBER ✦

Test generation from P systems using model checking

✍ Scribed by Florentin Ipate; Marian Gheorghe; Raluca Lefticaru

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Test sequence generation and model check

✍ Sérgio Campos; Orna Grumberg; Karen Yorav; Copty Fady 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 250 KB

Scalable satisfiability checking and tes

✍ Yannis Smaragdakis; Christoph Csallner; Ranjith Subramanian 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 483 KB

Generating test case specifications of w

✍ Ling-li Qian; Yi-hai Chen 📂 Article 📅 2011 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 208 KB

Test sequence generation method for syst

✍ Fumiaki Sato; Jun Munemori; Tadanori Mizuno; Tetsuo Ideguchi 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 790 KB

A Behavior Model for Next Generation Tes

✍ Lee A. Shombert; John W. Sheppard 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 101 KB

System design of a CC-NUMA multiprocesso

✍ Hubert Garavel; César Viho; Massimo Zendri 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 324 KB