Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering

  • Magdalena Widl
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7857)


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.


State Machine Unify Modeling Language Sequence Diagram Test Case Generation Message Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 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. 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), CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Magdalena Widl
    • 1
  1. 1.Knowledge-based Systems GroupVienna University of TechnologyAustria

Personalised recommendations