research
∙
08/29/2023
Summary of the 4th International Workshop on Requirements Engineering and Testing (RET 2017)
The RET (Requirements Engineering and Testing) workshop series provides ...
share
research
∙
05/29/2023
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
Interrupt-driven programs are widely deployed in safety-critical embedde...
research
∙
01/18/2023
Automatically Reproducing Android Bug Reports Using Natural Language Processing and Reinforcement Learning
As part of the process of resolving issues submitted by users via bug re...
research
∙
10/12/2022
DinoDroid: Testing Android Apps Using Deep Q-Networks
The large demand of mobile devices creates significant concerns about th...
research
∙
05/17/2021
A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours
We present an equational inference system for finite-state expressions, ...
research
∙
02/17/2021
DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures
Applications depend on libraries to avoid reinventing the wheel. Librari...
research
∙
10/03/2020
Automated Performance Tuning for Highly-Configurable Software Systems
Performance is an important non-functional aspect of the software requir...
research
∙
03/17/2020
Partial Multi-label Learning with Label and Feature Collaboration
Partial multi-label learning (PML) models the scenario where each traini...
research
∙
04/10/2018