资讯

IEEE19 天
Test Data Generation from UML State Machine Diagrams using GAs
In this paper, we propose a framework for generating test data from software specifications. The selected specification is Unified Modeling Language (UML) state machine diagram. UML state machine ...
IEEE29 天
A Fully Automated Approach to Discovering Nondeterminism in State Machine Diagrams
Abstract: We present a fully automated technique to detect nondeterminism in state diagrams. Although nondeterminism is a tool often adopted by ... We employ Umple's capability to convert state ...