Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis

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

Original language	English
Title of host publication	International Conference on Software Engineering Advances
Publisher	.
Pages	?-?
Publication status	Published - 2006
Event	International Conference on Software Engineering Advances: ICSEA 2006 - Tahiti, French Polynesia Duration: 29 Oct 2006 → 3 Nov 2006

Conference	International Conference on Software Engineering Advances
Country/Territory	French Polynesia
City	Tahiti
Period	29/10/06 → 3/11/06

Treatment code (Nähere Zuordnung)

@inproceedings{1dca01b092994fbe8a8224e859a8cc4d,

title = "Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis",

author = "Gordon Fraser and Franz Wotawa",

year = "2006",

language = "English",

pages = "?--?",

booktitle = "International Conference on Software Engineering Advances",

publisher = ".",

note = "International Conference on Software Engineering Advances : ICSEA 2006 ; Conference date: 29-10-2006 Through 03-11-2006",

}

TY - GEN

T1 - Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis

AU - Fraser, Gordon

AU - Wotawa, Franz

PY - 2006

Y1 - 2006

M3 - Conference paper

SP - ?-?

BT - International Conference on Software Engineering Advances

PB - .

T2 - International Conference on Software Engineering Advances

Y2 - 29 October 2006 through 3 November 2006

ER -