Improving symbolic execution for statechart formalisms

Daniel Balasubramanian, Pas Corina, Michael W Whalen, Gábor Karasi, Michael R. Lowry

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

5 Scopus citations
Original languageUndefined/Unknown
Title of host publicationProceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Number of pages6
StatePublished - 2012

Cite this