✦ LIBER ✦

Replay and testing for concurrent programs

✍ Scribed by Carver, R.H.; Tai, K.-C.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structural testing of concurrent program

✍ Taylor, R.N.; Levine, D.L.; Kelly, C.D. 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 987 KB

Distributed reachability testing of conc

✍ Richard H. Carver; Yu Lei 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 201 KB

Incremental integration testing of concu

✍ Koppol, P.V.; Carver, R.H.; Kuo-Chung Tai 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 568 KB

A class library for implementing, testin

✍ Richard H. Carver; Yu Lei 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 960 KB

Testing Concurrent Java Programs using R

✍ Scott D. Stoller 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 156 KB

Use of sequencing constraints for specif

✍ Carver, R.H.; Kuo-Chung Tai 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 137 KB