Inproceedings,

Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver.

, , and .
TASE, page 175-182. IEEE Computer Society, (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews