Contract-based mutation testing in the Refinement Calculus

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	351-351
Journal	Electronic Notes in Theoretical Computer Science
Volume	70
Issue number	3
DOIs	https://doi.org/doi:10.1016/S1571-0661(05)82561-7
Publication status	Published - 2002

Access to Document

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

@article{4f5b5550cd334677a6ff9960ca22cb5a,

title = "Contract-based mutation testing in the Refinement Calculus",

author = "Bernhard Aichernig",

note = "vollstaendiger Artikel ging bei der Ueberfuehrung von ENTCS zu Elsevier verloren, daher nur ein Abstract",

year = "2002",

doi = "doi:10.1016/S1571-0661(05)82561-7",

language = "English",

volume = "70",

pages = "351--351",

journal = "Electronic Notes in Theoretical Computer Science ",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Contract-based mutation testing in the Refinement Calculus

AU - Aichernig, Bernhard

N1 - vollstaendiger Artikel ging bei der Ueberfuehrung von ENTCS zu Elsevier verloren, daher nur ein Abstract

PY - 2002

Y1 - 2002

U2 - doi:10.1016/S1571-0661(05)82561-7

DO - doi:10.1016/S1571-0661(05)82561-7

M3 - Article

SN - 1571-0661

VL - 70

SP - 351

EP - 351

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 3

ER -