External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning

Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo 0001, 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):3411-3429, June 2023. [doi]

Authors

Thanh Le-Cong

This author has not been identified. Look up 'Thanh Le-Cong' in Google

Duc-Minh Luong

This author has not been identified. Look up 'Duc-Minh Luong' in Google

Xuan-Bach Dinh Le

This author has not been identified. Look up 'Xuan-Bach Dinh Le' in Google

David Lo 0001

This author has not been identified. Look up 'David Lo 0001' in Google

Nhat-Hoa Tran

This author has not been identified. Look up 'Nhat-Hoa Tran' in Google

Bui Quang Huy

This author has not been identified. Look up 'Bui Quang Huy' in Google

Quyet Thang Huynh

This author has not been identified. Look up 'Quyet Thang Huynh' in Google
runs on