✦ LIBER ✦

Assume-guarantee testing for software components

✍ Scribed by Giannakopoulou, D.; Pasareanu, C.S.; Blundell, C.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Assume-guarantee verification of softwar

✍ Parizek, P.; Plasil, F. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 600 KB

Assume-guarantee synthesis for digital c

✍ Krishnendu Chatterjee, Vishwanath Raman 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 651 KB

Robustness testing for software componen

✍ Bin Lei; Xuandong Li; Zhiming Liu; Charles Morisset; Volker Stolz 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 801 KB

Automated assume-guarantee reasoning for

✍ Sagar Chaki; Arie Gurfinkel 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 399 KB

Integration of “Components” to Test Soft

✍ Antonia Bertolino; Eda Marchetti; Andrea Polini 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 144 KB

Software compatibility guarantee for 386

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 115 KB