Afgelopen februari dienden onderzoekers van het Centrum Wiskunde & Informatica een bugreport in voor Java. Het standaard sorteeralgoritme, Timsort, bleek in specifieke gevallen te kunnen crashen. De fout kwam aan het licht toen ze het algoritme met formele methoden doorlichtten. Frank de Boer en Stijn de Gouw van het CWI leggen de kwestie uit.
,
Bits&Chips
Engineering Virtualized Services
Computer Security

de Gouw, C.P.T, & de Boer, F.S. (2015). Formele methoden leggen fout in Java's sorteeralgoritme bloot. Bits&Chips.