Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-39611-3_28 | Haifa Verification Conference |
Keywords | Field | DocType |
test case generation,different view,correct code,model-driven engineering,modeldriven engineering,unified modeling language,informal specification purpose,multi-view model,first-class development artifact,maintaining consistency,grammar-based fuzzing,software model | Sequence diagram,Programming language,Fuzz testing,Unified Modeling Language,Computer science,Model-driven architecture,Grammar,Finite-state machine,Software,Documentation | Conference |
Citations | PageRank | References |
2 | 0.37 | 1 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Magdalena Widl | 1 | 60 | 5.88 |