✦ LIBER ✦

Mutation Testing in the Refinement Calculus

✍ Scribed by Bernhard K. Aichernig

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Contract-based Mutation Testing in the R

✍ Bernhard K. Aichernig 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 41 KB

Program inversion in the refinement calc

✍ J. von Wright 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 842 KB

Procedure compilation in the refinement

✍ K. Lermer; C. J. Fidge 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 832 KB

The Least Conjunctive Refinement and Pro

✍ Brendan P. Mahony 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 213 KB

Fusion and simultaneous execution in the

✍ Ralph-Johan Back; Michael Butler 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 163 KB

Mutation testing in UTP

✍ Bernhard K. Aichernig; He Jifeng 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 561 KB