Bui Quang Huy

According to our database, Bui Quang Huy authored at least 3 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning.

Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh

IEEE Trans. Software Eng., June, 2023

2014

Rule-Based Verification Method of Requirements Ontology.

Dang Viet Dzung, Bui Quang Huy, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2014

2012

A Verification Method of the Correctness of Requirements Ontology.

Bui Quang Huy, Atsushi Ohnishi

Proceedings of the Knowledge-Based Software Engineering, 2012