Stijn de Gouw

Verifying OpenJDK’s Sort Method for Generic Collections

Stijn de Gouw, Frank S. de Boer, Richard Bubel et al. · Journal of Automated Reasoning · 2017 · 39 citations · Full text

Program Checking, Engineering, Java Standard Library +19

Verification of object-oriented programs: A transformational approach

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog et al. · Journal of Computer and System Sciences · 2011 · 16 citations · Full text

Program Checking, Engineering, Program Analysis +10

Proof Pearl: The KeY to Correct and Stable Sorting

Stijn de Gouw, Frank de Boer, Jurriaan Rot · Journal of Automated Reasoning · 2014 · 14 citations · Full text

Order Theory, Engineering, Automated Reasoning +6

Testing abstract behavioral specifications

Peter Y. H. Wong, Richard Bubel, Frank S. de Boer et al. · International Journal on Software Tools for Technology Transfer · 2014 · 11 citations · Full text

Formal Specification, Engineering, Program Analysis +10

Prototyping a tool environment for run-time assertion checking in JML with communication histories

Frank S. de Boer, Stijn de Gouw, Jurgen Vinju · 2010 · 10 citations

Software Maintenance, Engineering, Tool Environment +23