Formalizing and testing the consistency of DSL transformations.

Sarmen Keshishzadeh Arjan J. Mooij

Published in: Formal Aspects Comput. (2016)

Keyphrases

test cases
artificial intelligence
data sets
information retrieval
web services
object recognition
global constraints
test generation
maintaining consistency