✦ LIBER ✦

Mutation testing in UTP

✍ Scribed by Bernhard K. Aichernig; He Jifeng

Publisher: Springer
Year: 2008
Tongue: English
Weight: 561 KB
Volume: 21
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-008-0083-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mutation Testing in the Refinement Calcu

Mutation Testing in the Refinement Calculus

✍ Bernhard K. Aichernig 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 171 KB

A UTP semantics forCircus

✍ Marcel Oliveira; Ana Cavalcanti; Jim Woodcock 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 756 KB

Contract-based Mutation Testing in the R

Contract-based Mutation Testing in the Refinement Calculus

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

Mutation testing—its origin and evolutio

Mutation testing—its origin and evolution

✍ M.R. Woodward 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 739 KB

Molecular diagnosis in LGMD2A: Mutation

Molecular diagnosis in LGMD2A: Mutation analysis or protein testing?

✍ M. Fanin; L. Fulizio; A.C. Nascimbeni; M. Spinazzi; G. Piluso; V.M. Ventriglia; 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 260 KB

Limb girdle muscular dystrophy (LGMD) type 2A (LGMD2A) is caused by mutations in the CAPN3 gene encoding for calpain-3, a muscle specific protease. While a large number of CAPN3 gene mutations have already been described in calpainopathy patients, the diagnosis has recently shifted from molecular ge

Transgenic mutation models: Research, te

Transgenic mutation models: Research, testing, and reality checks

✍ Thomas R. Skopek 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 61 KB