@InProceedings{FMOTW13-SAC13, author = {Carlo A. Furia and Bertrand Meyer and Manuel Oriol and Andrey Tikhomirov and Yi Wei}, title = {The Search for the Laws of Automatic Random Testing}, booktitle = {Proceedings of the 28th ACM Symposium on Applied Computing (SAC 2013)}, year = {2013}, month = {March}, publisher = {ACM}, note = {Software Verification and Testing Track}, urltopdf = {http://se.inf.ethz.ch/people/furia/pubs/sac13.pdf} }