![](/img/cover-not-exists.png)
[ACM Press the Workshop - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12 - Improving symbolic execution for statechart formalisms
Balasubramanian, Daniel, Păsăreanu, Corina, Whalen, Michael W., Karasi, Gábor, Lowry, MichaelYear:
2012
Language:
english
DOI:
10.1145/2427376.2427385
File:
PDF, 1.27 MB
english, 2012