research
∙
07/25/2023
Affine Disjunctive Invariant Generation with Farkas' Lemma
Invariant generation is the classical problem that aims at automated gen...
share
research
∙
09/22/2020
Evolutionary Conflict Checking
During the software evolution, existing features may be adversely affect...
research
∙
02/29/2020
Automated Regression Unit Test Generation for Program Merges
Merging other branches into the current working branch is common in coll...
research
∙
02/09/2020
Input Validation for Neural Networks via Runtime Local Robustness Verification
Local robustness verification can verify that a neural network is robust...
research
∙
06/08/2019
How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques
Background: Over the years, Automated Program Repair (APR) has attracted...
research
∙
02/26/2019