( en | de | ru )

 

Disambiguation of "Kong, Weiqiang"

Author of the publication

copydeleteadd this publication to your clipboard
Detecting Compiler Bugs Via a Deep Learning-Based Framework.

, , , , , , and . Int. J. Softw. Eng. Knowl. Eng., 32 (5): 661-691 (2022)

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.

Weiqiang Dou

Thay Kong

Xiangqing Kong

Seunghyun Kong

Deming Kong

 

Other publications of authors with the same name

A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution., , , and . IEEE Access, (2017)Multilevel Permission Extraction in Android Applications for Malware Detection., , , , and . CITS, page 1-5. IEEE, (2019)Formal Verification of Communicating HSTM Designs., , , , and . CIT, page 383-390. IEEE Computer Society, (2012)Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol., , , and . CIT, page 1100-1107. IEEE Computer Society, (2004)Towards Formal Description of Standards for Automotive Operating Systems., , , , , , and . ICST Workshops, page 13-14. IEEE Computer Society, (2013)A Single-sample Pruning and Clustering Method for Neural Network Verification., , , , and . APSEC, page 319-328. IEEE, (2023)Bounded Model Checking of Synchronous Reactive Models in Ptolemy II., , , and . APSEC, page 407-416. IEEE, (2022)Compiler Testing: A Systematic Literature Analysis., , , and . CoRR, (2018)ROSF: Leveraging Information Retrieval and Supervised Learning for Recommending Code Snippets., , , , , , and . IEEE Trans. Serv. Comput., 12 (1): 34-46 (2019)Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management., , , and . WEBIST (2), page 5-12. INSTICC Press, (2006)