- document
-
Sellik, Hendrig (author), van Paridon, Onno (author), Gousios, G. (author), Aniche, MaurĂcio (author)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...conference paper 2021