• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Automatic Benchmark Generation for Object Constraint Language.

Ankit Jha
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