✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 2931 || JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit

✍ Scribed by Petrenko, Alexandre; Ulrich, Andreas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Know

✍ Gabrys, Bogdan; Howlett, Robert J.; Jain, Lakhmi C. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 202 KB

[Communications in Computer and Informat

✍ Maciaszek, Leszek A.; Loucopoulos, Pericles 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 527 KB

[Lecture Notes in Computer Science] Agen

✍ Jezic, Gordan; Kusek, Mario; Nguyen, Ngoc-Thanh; Howlett, Robert J.; Jain, Lakhm 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 742 KB