Synthesizing Modal Transition Systems from Triggered Scenarios
| Title | Synthesizing Modal Transition Systems from Triggered Scenarios |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | Sibay, GE, Braberman, VA, Uchitel, S, Kramer, J |
| Journal | IEEE Transactions on Software Engineering |
| Volume | 39 |
| Pagination | 975-1001 |
| ISSN | 0098-5589 |
| DOI | 10.1109/TSE.2012.62 |
Work Package:
WP4
