Automated testing of stochastic systems: a statistically grounded approach.

Hana Sevcikova, Alan Borning, David Socha, Wolf-Gideon Bleek

Browse the full ISSTA paper archive.