Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems

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

Originalsprache	englisch
Titel	Proceedings in Quality Software (QSIC) 2010
Herausgeber (Verlag)	.
Seiten	122-131
ISBN (Print)	978-1-4244-8078-4
Publikationsstatus	Veröffentlicht - 2010
Veranstaltung	10th International Conference on Quality Software: QSIC 2010 - Zhangjiajie, China Dauer: 14 Juli 2010 → 15 Juli 2010

Konferenz	10th International Conference on Quality Software
Land/Gebiet	China
Ort	Zhangjiajie
Zeitraum	14/07/10 → 15/07/10

Dieses zitieren

@inproceedings{fd5d8b793c7c4a189e64f5c277b5f770,

title = "Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems",

author = "Christian Schwarzl and Bernhard Peischl",

year = "2010",

language = "English",

isbn = "978-1-4244-8078-4",

pages = "122--131",

booktitle = "Proceedings in Quality Software (QSIC) 2010",

publisher = ".",

note = "QSIC 2010 : QSIC 2010 ; Conference date: 14-07-2010 Through 15-07-2010",

}

TY - GEN

T1 - Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems

AU - Schwarzl, Christian

AU - Peischl, Bernhard

PY - 2010

Y1 - 2010

M3 - Conference paper

SN - 978-1-4244-8078-4

SP - 122

EP - 131

BT - Proceedings in Quality Software (QSIC) 2010

PB - .

T2 - QSIC 2010

Y2 - 14 July 2010 through 15 July 2010

ER -