1 paper
Hendrig Sellik, Onno van Paridon, Georgios Gousios +1
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…