Efficient Refinement Checking for Model-Based Mutation Testing

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the 12th International Conference on Quality Software (QSIC 2012)
Publisher	IEEE Computer Society
Pages	21-30
Publication status	Published - 2012
Event	QSIC 2012: 12th International Conference on Quality Software: QSIC 2012 - Xian, China Duration: 27 Aug 2012 → 28 Aug 2012

Conference	QSIC 2012: 12th International Conference on Quality Software
Country/Territory	China
City	Xian
Period	27/08/12 → 28/08/12

Fields of Expertise

@inproceedings{13fb31803028460283be77b8b4bd1b51,

title = "Efficient Refinement Checking for Model-Based Mutation Testing",

author = "Bernhard Aichernig and Elisabeth J{\"o}bstl",

year = "2012",

language = "English",

pages = "21--30",

booktitle = "Proceedings of the 12th International Conference on Quality Software (QSIC 2012)",

publisher = "IEEE Computer Society",

address = "United States",

note = "QSIC 2012: 12th International Conference on Quality Software : QSIC 2012 ; Conference date: 27-08-2012 Through 28-08-2012",

}

TY - GEN

T1 - Efficient Refinement Checking for Model-Based Mutation Testing

AU - Aichernig, Bernhard

AU - Jöbstl, Elisabeth

PY - 2012

Y1 - 2012

M3 - Conference paper

SP - 21

EP - 30

BT - Proceedings of the 12th International Conference on Quality Software (QSIC 2012)

PB - IEEE Computer Society

T2 - QSIC 2012: 12th International Conference on Quality Software

Y2 - 27 August 2012 through 28 August 2012

ER -