A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
This paper proposes an automated test cases generation method from sequence diagrams, class diagrams, and object constraint language in order to solve several steps of the model-based testing process. The method supports UML 2.0 sequence diagrams including eight kinds of combined fragments. Test cases are generated with respect to the given concurrency coverage criteria. With strong concurrency coverage, generating exhaustive test cases for all concurrent interleaving sequences is exponentialdoi:10.1145/2833258.2833294 dblp:conf/soict/VuHN15 fatcat:fobganfhebcx5hpqup7zofi3ma