Mutation Testing in UTP

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)33-64
JournalFormal aspects of computing
Volume21
DOIs
Publication statusPublished - 2009

Cite this

Mutation Testing in UTP. / Aichernig, Bernhard; He, Jifeng.

In: Formal aspects of computing, Vol. 21, 2009, p. 33-64.

Research output: Contribution to journalArticleResearchpeer-review

Aichernig, Bernhard ; He, Jifeng. / Mutation Testing in UTP. In: Formal aspects of computing. 2009 ; Vol. 21. pp. 33-64.
@article{d7d52e5847b74615a4895f67c6a474d6,
title = "Mutation Testing in UTP",
author = "Bernhard Aichernig and Jifeng He",
year = "2009",
doi = "10.1007/s00165-008-0083-6",
language = "English",
volume = "21",
pages = "33--64",
journal = "Formal aspects of computing",
issn = "0934-5043",
publisher = "Springer London",

}

TY - JOUR

T1 - Mutation Testing in UTP

AU - Aichernig, Bernhard

AU - He, Jifeng

PY - 2009

Y1 - 2009

U2 - 10.1007/s00165-008-0083-6

DO - 10.1007/s00165-008-0083-6

M3 - Article

VL - 21

SP - 33

EP - 64

JO - Formal aspects of computing

JF - Formal aspects of computing

SN - 0934-5043

ER -