• Implementation of a model based test case generator for UML state machines 

      Dalepiane, Mateus Felipin (2014) [Trabalho de conclusão de graduação]
      This work proposes the integration of a model-based test case generation framework for UML state machines into a commercial modeling tool. The framework was proposed by Heckeler et al. in 2013, and generates test cases for ...