Synthesizing Modal Transition Systems from Triggered Scenarios

TitleSynthesizing Modal Transition Systems from Triggered Scenarios
Publication TypeJournal Article
Year of Publication2013
AuthorsSibay, GE, Braberman, VA, Uchitel, S, Kramer, J
JournalIEEE Transactions on Software Engineering
Volume39
Pagination975-1001
ISSN0098-5589
DOI10.1109/TSE.2012.62
Work Package: 
WP4