Automatic Benchmark Generation for Object Constraint Language.

Published in: ICST (2023)

Keyphrases

constraint language
d objects
integrity constraints
object model
constraint networks
linear programming
high level
process model
search space
special case
multiple objects
modeling language
uml diagrams