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 proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Pages	47-52
Number of pages	6
State	Published - 2012

OpenUrl availability

@inproceedings{f228566ce1174cc08f6d57694161f0e5,

title = "Improving symbolic execution for statechart formalisms",

author = "Daniel Balasubramanian and Pas Corina and Whalen, {Michael W} and G{\'a}bor Karasi and Lowry, {Michael R.}",

year = "2012",

language = "Undefined/Unknown",

pages = "47--52",

booktitle = "Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation",

}