Items where Author is "Tran, Dinh Duong"
Group by: Item Type | No Grouping Jump to: Technical Report | Conference or Workshop Item Number of items: 4. Technical ReportTran, Dinh Duong and Nguyen, Manh Hung and Pham, Ngoc Hung (2018) A method of Automated User Interface Testing for Windows-based Applications. Technical Report. VNU University of Engineering and Technology. Conference or Workshop ItemTran, Dinh Duong and Ogata, Kazuhiro and Bui, Duy Dang and Gupta, Parth (2020) Lemma Weakening for State Machine Invariant Proofs. In: THE 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE. Tran, Dinh Duong and Ogata, Kazuhiro (2020) Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG. In: International Conference on Software Engineering and Knowledge Engineering, July 9 to 19, 2020, Wyndham Pittsburgh University Center, Pittsburgh, USA. Tran, Dinh Duong and Pham, Ngoc Hung and Nguyen, Duy Tung (2018) A Method for Automated User Interface Testing of Windows-based Applications. In: 2018 the 9th International Symposium on Information and Communication Technology (SoICT), 6-7 December 2018, Da Nang City, Viet Nam. (In Press) |
