Stijn De Gouw

Stijn De Gouw

Open University - Milton Keynes / Netherlands
Others
AD Scientific Index ID: 4461056
Open Universiteit
person_outline Stijn De Gouw's MOST POPULAR ARTICLES
1-) OpenJDK’s Java. utils. Collection. sort () is broken: the good, the bad and the worst caseS Gouw, J Rot, FS Boer, R Bubel, R HähnleInternational Conference on Computer Aided Verification, 273-289, 2015862015
2-) Verifying OpenJDK’s sort method for generic collectionsS de Gouw, FS de Boer, R Bubel, R Hähnle, J Rot, D SteinhöfelJournal of Automated Reasoning 62 (1), 93-126, 2019292019
3-) Proof pearl: the KeY to correct and stable sortingS de Gouw, F de Boer, J RotJournal of automated reasoning 53 (2), 129-139, 2014212014
4-) Testing abstract behavioral specificationsPYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S De Gouw, ...International Journal on Software Tools for Technology Transfer 17, 107-119, 2015202015
5-) Verifying OpenJDK’s LinkedList using KeYHDA Hiep, O Maathuis, J Bian, FS de Boer, M van Eekelen, S de GouwTools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020192020