research
∙
01/03/2023
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
In this paper, we propose a novel technique, namely INVALIDATOR, to auto...
share
research
∙
01/01/2022
Usability and Aesthetics: Better Together for Automated Repair of Web Pages
With the recent explosive growth of mobile devices such as smartphones o...
research
∙
01/01/2022
Toward the Analysis of Graph Neural Networks
Graph Neural Networks (GNNs) have recently emerged as a robust framework...
research
∙
12/17/2021