Test Case Generation by Contract Mutation in Spec#

Willibald Karl Krenn, Bernhard Aichernig

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Model-Based Testing -- MBT 09
Herausgeber (Verlag)	Elsevier B.V.
Seiten	71-86
Band	253
Publikationsstatus	Veröffentlicht - 2009
Veranstaltung	5th Workshop on Model-Based Testing: MBT 2009 - York, Großbritannien / Vereinigtes Königreich Dauer: 22 März 2009 → 22 März 2009

Name	Electronic Notes in Theoretical Computer Science
Herausgeber (Verlag)	Elsevier

Workshop	5th Workshop on Model-Based Testing
Land/Gebiet	Großbritannien / Vereinigtes Königreich
Ort	York
Zeitraum	22/03/09 → 22/03/09

Dieses zitieren

@inproceedings{b9132b1827f34f7d9ecb841621ea3d76,

title = "Test Case Generation by Contract Mutation in Spec#",

author = "Krenn, {Willibald Karl} and Bernhard Aichernig",

year = "2009",

language = "English",

volume = "253",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier B.V.",

pages = "71--86",

booktitle = "Model-Based Testing -- MBT 09",

address = "Netherlands",

note = "5th Workshop on Model-Based Testing : MBT 2009 ; Conference date: 22-03-2009 Through 22-03-2009",

}

TY - GEN

T1 - Test Case Generation by Contract Mutation in Spec#

AU - Krenn, Willibald Karl

AU - Aichernig, Bernhard

PY - 2009

Y1 - 2009

M3 - Conference paper

VL - 253

T3 - Electronic Notes in Theoretical Computer Science

SP - 71

EP - 86

BT - Model-Based Testing -- MBT 09

PB - Elsevier B.V.

T2 - 5th Workshop on Model-Based Testing

Y2 - 22 March 2009 through 22 March 2009

ER -