✦ LIBER ✦

Special issue: software verification and testing

✍ Scribed by Mohammad Reza Mousavi, Jun Pang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification, Validation, and Testing of

✍ A. K. Petrenko 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 16 KB

Preface to special issue on software ver

✍ Hoare, C. A. R.; Misra, Jayadev 📂 Article 📅 2009 🏛 Association for Computing Machinery 🌐 English ⚖ 45 KB

Software debugging, testing, and verific

✍ Hailpern, B.; Santhanam, P. 📂 Article 📅 2002 🏛 IBM 🌐 English ⚖ 243 KB

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

Preface to the special issue on Numerica

✍ Gil, Amparo; Muller, Jean-Michel; Segura, Javier 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 110 KB

Special issue on Verification and Valida

✍ Leonard E. Schwer; William L. Oberkampf 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 97 KB