BURCKHARDT SEBASTIAN CARL

Concurrency software testing with probabilistic bounds on finding bugs