Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha  (2015) A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language.  In: SoICT: the 2015 Symposium on Information and Communication Technology, 3-4 December 2015, Hue, Vietnam.