An empirical study of the robustness of MacOS applications using random testing. - Barton P. Miller; Gregory Cooksey; Fredrick Moore (ACM SIGOPS Oper. Syst. Rev., 2007)