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

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

Original language	English
Title of host publication	Proceedings in Quality Software (QSIC) 2010
Publisher	.
Pages	122-131
ISBN (Print)	978-1-4244-8078-4
Publication status	Published - 2010
Event	QSIC 2010: QSIC 2010 - Zhangjiajie, China Duration: 14 Jul 2010 → 15 Jul 2010

Cite this

@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 -