Probabilistic testing of asynchronously communicating systems.

Puneet Bhateja

Browse the full APSEC paper archive.