✦ LIBER ✦

TestEra: Specification-Based Testing of Java Programs Using SAT

✍ Scribed by Sarfraz Khurshid; Darko Marinov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Use of sequencing constraints for specif

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

Low-Cost Specification Based Testing of

✍ Abhilash Goyal; Madhavan Swaminathan; Abhijit Chatterjee 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 681 KB

Automated Generation of Strictly Conform

✍ A. S. Kossatchev; P. Kutter; M. A. Posypkin 📂 Article 📅 2004 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 111 KB

Trustworthy Genetic Programming-Based Sy

✍ McConaghy, T.; Palmers, P.; Steyaert, M.; Gielen, G.G.E. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 780 KB

Durability testing of basic crystalline

✍ P. Paige-Green 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 279 KB

A simulation study using EFA and CFA pro

✍ Shin-Feng Chen; Shuyi Wang; Chen-Yuan Chen 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 471 KB