Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving.
Hao WuPublished in: MODELSWARD (2016)
Keyphrases
- metamodel
- modeling language
- development process
- black box
- reference model
- uml profile
- model driven
- life cycle
- data model
- software systems
- timetabling problem
- design patterns
- np complete problems
- stochastic local search
- constraint language
- semantic web
- learning process
- machine learning
- statistical machine translation
- transformation rules
- model driven architecture
- data sets