Using Petri Nets to Test Concurrent Behavior of Web Applications.

Sunitha Thummala, Jeff Offutt

Browse the full ICST paper archive.