@inproceedings{SisLab1540,
       booktitle = {SoICT: the 2015 Symposium on Information and Communication Technology},
           title = {A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language},
          author = {Thi Dao Vu and Ngoc Hung Pham and Viet Ha Nguyen},
            year = {2015},
           pages = {335--341},
         journal = {SoICT 2015},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1540/},
        abstract = {This paper proposes an automated test data generation method from the information embedded in model elements such as Unified Modeling Language (UML) sequence diagrams, class diagrams, and Object Constraint Language (OCL). The method supports UML 2.0 sequence diagrams including eight kinds of combined fragments describing control flow of systems. Comparing with some approaches by using depth first search (DFS) or breadth first search (BFS) algorithms, the proposed method generates all possible test scenarios with the higher error uncover capability. Test data for testing loop fragment is also generated. Therefore, it helps to detect errors in testing loops and the concurrency errors such as safety and liveness property of the systems.}
}