✦ LIBER ✦

Verification, Validation, and Testing of Software: Special Issue of theProgrammirovanieJournal

✍ Scribed by A. K. Petrenko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Issue on Dynamic Analysis and Te

✍ W. Eric Wong; W.K. Chan; T.H. Tse; Fei-Ching Kuo 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 72 KB

Techniques for verification and validati

📂 Article 📅 1985 🏛 Elsevier Science ⚖ 737 KB

A Methodology of Verification and Testin

✍ V. V. Lipaev 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 60 KB

Experimental Evaluation of Verification

✍ Guillaume Brat; Doron Drusinsky; Dimitra Giannakopoulou; Allen Goldberg; Klaus H 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 376 KB

Special issue on Automated Specification

✍ Laura Kovács; Temur Kutsia 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 72 KB

Introduction to the special issue on: mo

✍ J.H Poore 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 49 KB