( en | de | ru )

 

Disambiguation of "Tran, Hoang-Viet"

Author of the publication

copydeleteadd this publication to your clipboard
A framework for assume-guarantee regression verification of evolving software.

, , , and . Sci. Comput. Program., (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Viet Hoang

Hoang quoc Viet

Tran Dinh Viet

Tran Viet Truc

Viet Ha Tran

 

Other publications of authors with the same name

Improved Heuristics for Online Node and Link Mapping Problem in Network Virtualization., and . ICCSA (5), volume 7975 of Lecture Notes in Computer Science, page 154-165. Springer, (2013)Real-Time Stereo Rendering Technique for Virtual Reality System Based on the Interactions with Human View and Hand Gestures., , and . HCI (18), volume 8021 of Lecture Notes in Computer Science, page 103-110. Springer, (2013)An Automated Program Repair Method Using Atomic Replacement for Java Programs., , , and . RIVF, page 358-363. IEEE, (2022)A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software., and . KSE, page 1-6. IEEE, (2021)An Improved Method of The Static Directed Automated Random Testing Method in Test Data Generation for C/C++ Projects., and . KSE, page 1-6. IEEE, (2022)Experimental Study on the Performance of Linux Ethernet Bonding., , , , , and . TRIDENTCOM, volume 137 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 307-317. Springer, (2014)On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification., , and . IEICE Trans. Inf. Syst., 102-D (8): 1449-1461 (2019)An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects., , , and . Inf. Softw. Technol., (2022)A Method for Detecting and Generating Test Data for Runtime Errors in C/C++ Project Units., , , , , , and . RIVF, page 412-417. IEEE, (2023)A framework for assume-guarantee regression verification of evolving software., , , and . Sci. Comput. Program., (2020)