OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationComputer Aided Verification
Subtitle of host publication27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
EditorsDaniel Kroening , Corina S. Păsăreanu
PublisherSpringer
Pages273-289
Number of pages17
ISBN (Electronic)978-3-319-21690-4
ISBN (Print)978-3-319-21689-8
DOIs
Publication statusPublished - 2015
Event27th International Conference on Computer Aided Verification - San Francisco, United States
Duration: 18 Jul 201524 Jul 2015
http://i-cav.org/2015/

Conference

Conference27th International Conference on Computer Aided Verification
Abbreviated titleCAV 2015
Country/TerritoryUnited States
CitySan Francisco
Period18/07/1524/07/15
Internet address

Fingerprint

Dive into the research topics of 'OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case'. Together they form a unique fingerprint.

Cite this