Test case generation by OCL mutation and constraint solving

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

Originalsprache	englisch
Titel	QSIC 2005
Redakteure/-innen	Kai-Yuan Cai
Erscheinungsort	Los Alamitos, Calif.
Herausgeber (Verlag)	IEEE Computer Soc. Press
Seiten	64-71
Publikationsstatus	Veröffentlicht - 2005
Veranstaltung	Fifth International Conference on Quality Software: QSIC 2005 - Melbourne, Australien Dauer: 19 Sept. 2005 → 20 Sept. 2005

Konferenz	Fifth International Conference on Quality Software
Land/Gebiet	Australien
Ort	Melbourne
Zeitraum	19/09/05 → 20/09/05

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

@inproceedings{b0e6e6bf834d4a63b0e5bb081a49f2ca,

title = "Test case generation by OCL mutation and constraint solving",

author = "Bernhard Aichernig and {Pari Salas}, Percy",

year = "2005",

language = "English",

pages = "64--71",

editor = "Kai-Yuan Cai",

booktitle = "QSIC 2005",

publisher = "IEEE Computer Soc. Press",

note = "QSIC 2OO5, Fifth International Conference on Quality Software : QSIC 2005 ; Conference date: 19-09-2005 Through 20-09-2005",

}

TY - GEN

T1 - Test case generation by OCL mutation and constraint solving

AU - Aichernig, Bernhard

AU - Pari Salas, Percy

PY - 2005

Y1 - 2005

M3 - Conference paper

SP - 64

EP - 71

BT - QSIC 2005

A2 - Cai, Kai-Yuan

PB - IEEE Computer Soc. Press

CY - Los Alamitos, Calif.

T2 - QSIC 2OO5, Fifth International Conference on Quality Software

Y2 - 19 September 2005 through 20 September 2005

ER -