VNU-UET Repository

Items where Author is "Tran, Dinh Duong"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Technical Report

Tran, 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 Item

Tran, 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)

This list was generated on Fri Sep 29 07:34:59 2023 +07.