✦ LIBER ✦

Use of sequencing constraints for specification-based testing of concurrent programs

✍ Scribed by Carver, R.H.; Kuo-Chung Tai

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

TestEra: Specification-Based Testing of

✍ Sarfraz Khurshid; Darko Marinov 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 251 KB

SYN-sequence selection strategy for test

✍ Fangli Pu; Yansheng Lu 📂 Article 📅 2009 🏛 Wuhan University 🌐 English ⚖ 281 KB

Combination reduction: A SYN-sequence se

✍ Chao Lu; Yansheng Lu 📂 Article 📅 2007 🏛 Wuhan University 🌐 English ⚖ 321 KB

An Input Language Based on Extended Mess

✍ V.P. Kotlyarov; V.A. Sukhomlinov 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 95 KB

A knowledge-based approach for high-leve

✍ Phillip C-Y. Sheu 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 979 KB

Automated debugging based on a constrain

✍ Franz Wotawa; Mihai Nica; Iulia Moraru 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 637 KB