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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings in Quality Software (QSIC) 2010
Publisher.
Pages122-131
ISBN (Print)978-1-4244-8078-4
Publication statusPublished - 2010
EventInternational Conference on Quality Software - Zhangjiajie, China
Duration: 15 Jul 201015 Jul 2010

Conference

ConferenceInternational Conference on Quality Software
CountryChina
CityZhangjiajie
Period15/07/1015/07/10

Cite this

Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems. / Schwarzl, Christian; Peischl, Bernhard.

Proceedings in Quality Software (QSIC) 2010. ., 2010. p. 122-131.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Schwarzl, C & Peischl, B 2010, Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems. in Proceedings in Quality Software (QSIC) 2010. ., pp. 122-131, International Conference on Quality Software, Zhangjiajie, China, 15/07/10.
@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 = ".",

}

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 contribution

SN - 978-1-4244-8078-4

SP - 122

EP - 131

BT - Proceedings in Quality Software (QSIC) 2010

PB - .

ER -