Raccoon: automated verification of guarded race conditions in web applications.

Simon Koch, Tim Sauer, Martin Johns, Giancarlo Pellegrino

Browse the full SAC paper archive.