( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Efficient Method for Automated Control Flow Testing of Programs.

, и . ICCASA, том 128 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 133-143. Springer, (2013)

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.

Ngoc-Hung Nguyen

Pham hun Hung

Gia Hung Pham

Hung Tien Pham

Quy Ngoc Pham

 

Другие публикации лиц с тем же именем

A Test Data Generation Method for C/C++ Projects., и . SoICT, стр. 431-438. ACM, (2017)An assume-guarantee model checker for component-based systems., , и . RIVF, стр. 22-26. IEEE, (2013)Practical approach to access the impact of global variables on program parallelism., , , , , и . ACOMP, стр. 79-86. IEEE, (2020)Text-dependent speaker recognition for vietnamese., , , и . SoCPaR, стр. 196-200. IEEE, (2013)An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification., , , и . RIVF, стр. 1-6. IEEE, (2012)On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems., , и . SoICT, стр. 457-464. ACM, (2019)A symbolic execution-based method to perform untargeted attack on feed-forward neural networks., , , и . Autom. Softw. Eng., 29 (2): 46 (2022)A Pairwise Based Method for Automated Test Data Generation for $C/C++$ Projects., , и . RIVF, стр. 1-6. IEEE, (2022)A Minimized Assumption Generation Method for Component-Based Software Verification., , и . ICTAC, том 5684 из Lecture Notes in Computer Science, стр. 277-291. Springer, (2009)A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects., , , и . RIVF, стр. 388-393. IEEE, (2022)