Login / Signup
Bui Quang Huy
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 2
Top Topics
Semantic Description
Semantic Representations
Recognizing Textual Entailment
Natural Language Sentences
Top Venues
IEICE Trans. Inf. Syst.
CoRR
IEEE Trans. Software Eng.
</>
Publications
</>
Thanh Le-Cong
,
Duc-Minh Luong
,
Xuan Bach D. Le
,
David Lo
,
Nhat-Hoa Tran
,
Bui Quang Huy
,
Quyet-Thang Huynh
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning.
CoRR
(2023)
Thanh Le-Cong
,
Duc-Minh Luong
,
Xuan-Bach Dinh Le
,
David Lo
,
Nhat-Hoa Tran
,
Bui Quang Huy
,
Quyet-Thang Huynh
Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning.
IEEE Trans. Software Eng.
49 (6) (2023)
Dang Viet Dzung
,
Bui Quang Huy
,
Atsushi Ohnishi
Rule-Based Verification Method of Requirements Ontology.
IEICE Trans. Inf. Syst.
(5) (2014)
Bui Quang Huy
,
Atsushi Ohnishi
A Verification Method of the Correctness of Requirements Ontology.
JCKBSE
(2012)