default search action

combined dblp search
author search
venue search
publication search

ask others

Hoang-Viet Tran

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/rivf/TranNDVTTH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rivf/TranNDVTTH23
Linh Ngoc Truc Tran, Nguyen Duc Nguyen, Hieu Vu Duc, Hoang Nguyen Viet, Lam Nguyen Tung, Hoang-Viet Tran, Pham Ngoc Hung:
A Method for Detecting and Generating Test Data for Runtime Errors in C/C++ Project Units. RIVF 2023: 412-417
2022
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/TungTLH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/TungTLH22
Lam Nguyen Tung, Hoang-Viet Tran, Khoi Nguyen Le, Pham Ngoc Hung:
An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects. Inf. Softw. Technol. 145: 106821 (2022)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/kse/DoTTH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kse/DoTTH22
Minh-Hieu Do, Lam Nguyen Tung, Hoang-Viet Tran, Pham Ngoc Hung:
An Automated Test Data Generation Method for Templates of C++ Projects. KSE 2022: 1-6
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/kse/HuongCTTH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kse/HuongCTTH22
Tran Nguyen Huong, Le Huu Chung, Lam Nguyen Tung, Hoang-Viet Tran, Pham Ngoc Hung:
An Automated Stub Method for Unit Testing C/C++ Projects. KSE 2022: 1-6
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/kse/TranH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kse/TranH22
Hoang-Viet Tran, Pham Ngoc Hung:
An Improved Method of The Static Directed Automated Random Testing Method in Test Data Generation for C/C++ Projects. KSE 2022: 1-6
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rivf/TranTH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rivf/TranTH22
Hoang-Viet Tran, Lam Nguyen Tung, Pham Ngoc Hung:
A Pairwise Based Method for Automated Test Data Generation for $\mathrm{C}/\mathrm{C}++$ Projects. RIVF 2022: 1-6
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rivf/NguyenNTH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rivf/NguyenNTH22
Thi-Huyen Nguyen, Nguyen Van Hoan, Hoang-Viet Tran, Pham Ngoc Hung:
An Automated Program Repair Method Using Atomic Replacement for Java Programs. RIVF 2022: 358-363
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rivf/BuiTTH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rivf/BuiTTH22
Thu Anh Bui, Lam Nguyen Tung, Hoang-Viet Tran, Pham Ngoc Hung:
A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects. RIVF 2022: 388-393
2021
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/kse/TranH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kse/TranH21
Hoang-Viet Tran, Pham Ngoc Hung:
A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software. KSE 2021: 1-6
2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/TranHNA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TranHNA20
Hoang-Viet Tran, Pham Ngoc Hung, Viet-Ha Nguyen, Toshiaki Aoki:
A framework for assume-guarantee regression verification of evolving software. Sci. Comput. Program. 193: 102439 (2020)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/kse/HuongKTH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kse/HuongKTH20
Tran Nguyen Huong, Do Minh Kha, Hoang-Viet Tran, Pham Ngoc Hung:
Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values. KSE 2020: 97-102

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/TranHN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/TranHN19
Hoang-Viet Tran, Pham Ngoc Hung, Viet Ha Nguyen:
On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Inf. Syst. 102-D(8): 1449-1461 (2019)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/soict/TranNH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soict/TranNH19
Hoang-Viet Tran, Quang-Trung Nguyen, Pham Ngoc Hung:
On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems. SoICT 2019: 457-464
2018
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/kse/TranHH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kse/TranHH18
Hoang-Viet Tran, Pham Ngoc Hung, Dang Van Hung:
On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. KSE 2018: 270-275
2017
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/LeTH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/LeTH17
Chi-Luan Le, Hoang-Viet Tran, Pham Ngoc Hung:
On Implementation of the Assumption Generation Method for Component-Based Software Verification. ACIIDS (Extended Posters) 2017: 549-558
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/kse/TranLNH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kse/TranLNH14
Hoang-Viet Tran, Chi-Luan Le, Quang-Trung Nguyen, Pham Ngoc Hung:
An Efficient Method for Automated Generating Models of Component-Based Software. KSE 2014: 499-511

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.