research
∙
05/31/2023
An Empirical Study of Fault Localization in Python Programs
Despite its massive popularity as a programming language, especially in ...
share
research
∙
01/18/2023
Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions
There is abundant observational data in the software engineering domain,...
research
∙
09/14/2022
HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools
As research in automatically detecting bugs grows and produces new techn...
research
∙
12/10/2021
Test-Case Generation for Finding Neural Network Bugs
As neural networks are increasingly included as core components of safet...
research
∙
01/29/2021
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
Statistical analysis is the tool of choice to turn data into information...
research
∙
08/31/2020
VerifyThis 2019: A Program Verification Competition (Extended Report)
VerifyThis is a series of program verification competitions that emphasi...
research
∙
03/06/2020
Automated Repair of Resource Leaks in Android Applications
Resource leaks – a program does not release resources it previously acqu...
research
∙
06/05/2019
Restore: Retrospective Fault Localization Enhancing Automated Program Repair
Fault localization is a crucial step of automated program repair, becaus...
research
∙
11/13/2018
Bayesian Data Analysis in Empirical Software Engineering Research
Statistics comes in two main flavors: frequentist and Bayesian. For hist...
research
∙
09/26/2018
Arguing Practical Significance in Software Engineering Using Bayesian Data Analysis
This paper provides a case for using Bayesian data analysis (BDA) to mak...
research
∙
05/08/2018
Robustness Testing of Intermediate Verifiers
Program verifiers are not exempt from the bugs that affect nearly every ...
research
∙
07/25/2008