mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines.

Reza Ahmadi Karim Jahed Juergen Dingel

Published in: ASE (2019)

Keyphrases

state machine
conceptual model
state machines
object oriented
genetic algorithm
test cases
metamodel