Learning Off-By-One Mistakes: An Empirical Study

02/24/2021
by   Hendrig Sellik, et al.
0

Mistakes in binary conditions are a source of error in many software systems. They happen when developers use, e.g., < or > instead of <= or >=. These boundary mistakes are hard to find and impose manual, labor-intensive work for software developers. While previous research has been proposing solutions to identify errors in boundary conditions, the problem remains open. In this paper, we explore the effectiveness of deep learning models in learning and predicting mistakes in boundary conditions. We train different models on approximately 1.6M examples with faults in different boundary conditions. We achieve a precision of 85 numbers in an imbalanced dataset. We also perform tests on 41 real-world boundary condition bugs found from GitHub, where the model shows only a modest performance. Finally, we test the model on a large-scale Java code base from Adyen, our industrial partner. The model reported 36 buggy methods, but none of them were confirmed by developers.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/03/2019

Deep Nitsche Method: Deep Ritz Method with Essential Boundary Conditions

We propose a method due to Nitsche (Deep Nitsche Method) from 1970s to d...
research
10/08/2018

Adaptation of NEMO-LIM3 model for multigrid high resolution Arctic simulation

Arctic ocean modelling is a complex, computationally-intensive task that...
research
02/20/2021

Reflectionless propagation of Manakov solitons on a line:A model based on the concept of transparent boundary conditions

We consider the problem of absence of backscattering in the transport of...
research
05/10/2020

A comprehensive study of boundary conditions when solving PDEs by DNNs

Recent years have witnessed growing interests in solving partial differe...
research
06/28/2020

Nitsche Method for resolving boundary conditions on embedded interfaces using XFEM in Code Aster

As X-FEM approximation does not need meshing of the crack, the method ha...
research
05/15/2022

Double Flip Move for Ising Models with Mixed Boundary Conditions

This note introduces the double flip move for accelerating the Swendsen-...
research
03/14/2023

Methods and applications of PDMP samplers with boundary conditions

We extend Monte Carlo samplers based on piecewise deterministic Markov p...

Please sign up or login with your details

Forgot password? Click here to reset