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

Hao Wu, Rosemary Monahan, James F. Power

Browse the full TASE paper archive.