VNU-UET Repository

Items where Author is "Pham, Ngoc Hung"

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

Nguyen, Duc Anh and Do, Minh Kha and Pham, Thi To Nga and Pham, Ngoc Hung (2021) An Autoencoder-based Method for Targeted Attack on Deep Neural Network Models. In: 2021 IEEE International Conference on Research, Innovation and Vision for the Future (RIVF 2021), June 3-5, 2021, Hanoi. (In Press)

Nguyen, Thu Trang and Nguyen, Hue and Bui, Quang Cuong and Pham, Ngoc Hung and Vo, Dinh Hieu and Takeuchi, Shigeki (2020) Practical approach to access the impact of global variables on program parallelism. In: 14th International Conference on Advanced COMPuting and Applications, 25 November 2020.

Tran, Nguyen Huong and Do, Minh Kha and Tran, Hoang Viet and Pham, Ngoc Hung (2020) Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values. In: 12th International Conference on Knowledge and Systems Engineering (KSE 2020), 12-14 November, 2020, Can Tho, Vietnam. (In Press)

Tran, Hoang Viet and Pham, Ngoc Hung and Nguyen, Viet-Ha and Aoki, Toshiaki (2020) A framework for assume-guarantee regression verification of evolving software. Sci. Comput. Program., 193 . p. 102439.

Tran, Hoang Viet and Nguyen, Quang-Trung and Pham, Ngoc Hung (2019) On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems. In: THE 10TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY, December 4 – 6, 2019, Ha Long Bay, Quang Ninh, Vietnam. (In Press)

Nguyen, Duc Anh and Pham, Ngoc Hung and Vo, Dinh Hieu and Tran, Nguyen Huong (2019) Improvements of Directed Automated Random Testingin Test Data Generation for C++ Projects. International Journal of Software Engineering and Knowledge Engineering, 29 (9). pp. 1279-1312. ISSN 10.1142/S0218194019500402

Nguyen, Duc Anh and Tran, Nguyen Huong and Vo, Dinh Hieu and Pham, Ngoc Hung (2019) ON IMPROVEMENTS OF DIRECTED AUTOMATED RANDOM TESTING IN TEST DATA GENERATION FOR C++ PROJECTS. International journal of software engineering and knowledge engineering (IJSEKE) . ISSN 0218-1940 (In Press)

Tran, Hoang Viet and Pham, Ngoc Hung and Nguyen, Viet Ha (2019) ON LOCALLY MINIMUM AND STRONGEST ASSUMPTION GENERATION METHOD FOR COMPONENT-BASED SOFTWARE VERIFICATION. IEICE Transactions on Information and Systems . ISSN 0916-8532 (In Press)

Tran, Hoang Viet and Pham, Ngoc Hung (2018) On Locally Strongest Assumption Generation Method for Component-Based Software Verification. VNU Journal of Science: Computer Science and Communication Engineering, 34 (2). pp. 16-32. ISSN 2588-1086

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)

Tran, Hoang Viet and Pham, Ngoc Hung and Dang, Van Hung (2018) On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. In: 2018 10th International Conference on Knowledge and Systems Engineering (KSE), 1-3 November 2018, Ho Chi Minh city, Vietnam. (In Press)

Tran, Duc Toan and Pham, Ngoc Hung (2018) "Smart Codefun": A tool supporting programming skills for students. Technical Report. VNU University of Engineering and Technology.

Bui, Quang Cuong and Dinh, Tien Loc and Luu, Anh Viet and Nguyen, Viet Hoa and Pham, Ngoc Quy and Pham, Ngoc Hung (2018) A Toolchain for Source Code Quality Assurance of Java EE Applications. Technical Report. Vietnam National University Hanoi. (In Press)

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.

Le, Ba Cuong and Nguyen, Van Son and Nguyen, Duc Anh and Pham, Ngoc Hung and Vo, Dinh Hieu (2017) JCIA: A Tool for Change Impact Analysis of Java EE Applications. In: 4th International Conference on Information Systems Design and Intelligent Applications, 15-17 June 2017, Danang, Vietnam. (In Press)

Le, Chi Luan and Tran, Hoang Viet and Pham, Ngoc Hung (2017) On Implementation of the Assumption Generation Method for Component-Based Software Verification. In: The 9th Asian Conference on Intelligent Information and Database Systems, 3-5 April 2017, Kanazawa, Japan.

Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2017) A Method for Automated Test Cases Generation from UML Models with String Constraints. In: The 9th Asian Conference on Intelligent Information and Database Systems, 2017, Japan.

Nguyen, Duc Anh and Pham, Ngoc Hung (2017) A Test Data Generation Method for C/C++ Projects. In: The Eighth International Symposium on Information and Communication Technology (SoICT 2017), 7-8 December, Nha Trang. (In Press)

Tran, Hoang Viet and Le, Chi Luan and Pham, Ngoc Hung (2016) A Strongest Assumption Generation Method for Component-Based Software Verification. In: The 2016 IEEE RIVF International Conference on Computing and Communication Technologies, 7-9 November 2016, Hanoi, Vietnam.

Nguyen, Duc Anh and Pham, Ngoc Hung and Nguyen, Viet Ha (2016) A Method for Automated Unit Testing of C Programs. In: NICS: 3rd National Foundation for Science and Technology Development Conference on Information and Computer Science, 14-16 September 2016, Da Nang city, Viet Nam.

Duong, Tuan Anh and Sam, Duc Vu and Pham, Ngoc Hung (2016) Phương pháp và công cụ kiểm thử tự động cho các ứng dụng C/C++. In: SSC: the 2016 Student Scientific Contest, 29 April 2016, Hanoi.

Nguyen, Cong Hung and Nguyen, Quynh Mai and Pham, Ngoc Hung and Vo, Dinh Hieu (2016) Phương pháp và công cụ phân tích ảnh hưởng của sự thay đổi mã nguồn cho các ứng dụng J2EE6. In: SSC: the 2016 Student Scientific Contest, 29 April 2016, Hanoi.

Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2016) A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Le, Ba Cuong and Pham, Ngoc Hung and Vo, Dinh Hieu (2016) Một số phương pháp phân tích sự ảnh hưởng khi thay đổi mã nguồn phần mềm. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Le, Chi Luan and Tran, Hoang Viet and Pham, Ngoc Hung (2016) A Framework for Modeling and Modular Verifying of Component-Based System Designs. VNU Journal of Computer Science and Communication Engineering, 32 (2). pp. 31-42. ISSN 0866-8612

Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2016) A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs. VNU Journal of Computer Science and Communication Engineering . ISSN 0866-8612 (In Press)

Nguyen, Son and Vo, Hieu and Pham, Ngoc Hung (2015) A Correlation-aware Negotiation Approach for Service Composition. In: The 2015 Symposium on Information and Communication Technology, 3-4 December 2015, Hue, Vietnam.

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.

Le, Khanh Trinh and Vo, Dinh Hieu and Pham, Ngoc Hung (2015) A Method for Automated User Interaction Testing of Web Applications. Research, Development and Application on Information Technology and Communication Technology, E3 (8). pp. 28-37.

Tran, Hoang-Viet and Pham, Ngoc Hung and Le, Chi-Luan and Nguyen, Quang-Trung (2014) An Efficient Method for Automated Generating Models of Component-Based Software. In: 2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014), 9-11 October 2014, Hanoi, Vietnam.

Tran, Hoang Viet and Le, Chi Luan and Nguyen, Quang Trung and Pham, Ngoc Hung (2014) An Efficient Method for Automated Generating Models of Component-Based Software. In: 2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014), 9-11 October 2014, Hanoi, Vietnam.

Hoang, Minh Duong and Le, Khanh Trinh and Pham, Ngoc Hung (2013) An Assume-Guarantee Model Checker for Component-Based Systems. In: 2013: IEEE RIVF International Conference on Computing and Communication Technologies (RIVF2013), November 11-13, 2013, Hanoi, VIETNAM.

Nguyen, Quang-Trung and Pham, Ngoc Hung (2013) An Efficient Method for Automated Control Flow Testing of Programs. In: 2013: 2nd International Conference on Context-Aware Systems and Applications (ICCASA 2013), 25-26 November 2013, Phu Quoc, Vietnam.

Pham, Van-Cuong and Pham, Ngoc Hung (2013) A Method and Tool Support for Automated Data Flow Testing of Java Programs. In: 2013: 2nd International Conference on Context-Aware Systems and Applications (ICCASA 2013), 25-26 November 2013, Phu Quoc, Vietnam.

Cuong, Le Ba and Pham, Ngoc Hung (2012) A Method for Generating Models of Black-Box Components. In: 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE), 17-19 August 2012, Danang, Vietnam.

Pham, Ngoc Hung and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, T. (2012) An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. In: 2012 IEEE RIVF International Conference on Computing and Communication Technologies.

Pham, Ngoc Hung and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, T. (2012) An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. In: 2012 IEEE RIVF International Conference on Computing and Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), February 27 - March 1, 2012, Ho Chi Minh city.

Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama (2012) On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, 95-A (9). pp. 1451-1460. ISSN 0916-8508

Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama (2010) A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions on Information and Systems, E93-D (8). pp. 2172-2181. ISSN 0916-8532

Pham, Ngoc Hung and toshiaki, aoki and takuya, katayama (2009) Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, E92-A (11). pp. 2772-2780. ISSN 0916-8508

This list was generated on Wed Mar 27 19:41:36 2024 +07.