Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering
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.
KeywordsState Machine Unify Modeling Language Sequence Diagram Test Case Generation Message Symbol
- 1.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)Google Scholar
- 2.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 CrossRefGoogle Scholar