Introduction
Software models, traditionally used mainly for documentation and informal specification purposes, are becoming first-class development artifacts in the area of Modeldriven Engineering (MDE). In MDE, code is generated automatically from multi-view models described in languages like the Unified Modeling Language (UML). Maintaining consistency between the different views of a model is crucial for the generation of correct code.
This work was supported by by the Vienna Science and Technology Fund (WWTF) through project ICT10-018.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Miller, B., Koski, D., Pheow, C., Maganty, L.V., Murthy, R., Natarajan, A., Steidl, J.: Fuzz revisited: A re-examination of the reliability of unix utilities and services. Technical Report CS-TR-1995-1268, University of Wisconsin (1995)
Widl, M., Biere, A., Brosch, P., Egly, U., Heule, M., Kappel, G., Seidl, M., Tompits, H.: Guided merging of sequence diagrams. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 164–183. Springer, Heidelberg (2013), http://modelevolution.org/publications/sle12.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Widl, M. (2013). Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering. In: Biere, A., Nahir, A., Vos, T. (eds) Hardware and Software: Verification and Testing. HVC 2012. Lecture Notes in Computer Science, vol 7857. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39611-3_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-39611-3_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39610-6
Online ISBN: 978-3-642-39611-3
eBook Packages: Computer ScienceComputer Science (R0)