In recent years, Automated Program Repair (APR) has been extensively studied in
academia and even drawn wide attention from industry. However, APR techniques can be …

Context A software product line (SPL) grows in size as a new product is developed. A new
product in an SPL should be tested extensively for quality assurance. For the efficient …

Runtime verification (RV) monitors program executions against formal specifications (specs).
Researchers showed that RV during software testing amplifies the bug-finding ability of …

Abstract Deep Neural Networks (DNNs) have been widely deployed in software to address
various tasks (eg, autonomous driving, medical diagnosis). However, they can also produce …

Fuzzing is a widely adopted technique in the software industry to enhance security and
software quality. However, most existing fuzzers are specifically designed for monolithic …

Continuous Integration (CI) and Continuous Deployment (CD) are widely used practices in
modern software engineering. Unfortunately, it is also an expensive and complicated …

Continuous integration (CI) is a widely applied development practice to allow frequent
integration of software changes, detecting early faults. However, extremely frequent builds …

For large software applications, running the whole test suite after each code change is time-
and resource-intensive. Regression test selection techniques aim at reducing test execution …

Regression testing is a type of software testing that is performed during software
maintenance in order to validate any additional modifications made to the functionality of the …

Android APIs are updated frequently, making it critical to analyze the impact of these
updates on Android apps to ensure their reliability. In this paper, we introduce APICIA, a tool …