Raccoon: Automated Verification of Guarded Race Conditions in Web Applications

Simon Koch, Tim Sauer, Martin Johns, Giancarlo Pellegrino
January 2020
PDF Cite
Type
Conference paper
Publication
The 35th ACM/SIGAPP Symposium on Applied Computing