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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Conference

ConferenceQSIC 2010
CountryChina
CityZhangjiajie
Period14/07/1015/07/10

Cite this