An empirical study of the robustness of MacOS applications using random testing

Operating Systems Review (ACM)

Volumn 41, Issue 1, 2007, Pages 78-86

  Miller, Barton P ^a   Cooksey, Gregory ^a   Moore, Fredrick ^a  

^a University of Wisconsin   (United States)

Author keywords

Fuzz; Random testing

Indexed keywords

APPLICATION FAILURE; APPLICATION PROGRAMS; BLACK BOXES; EMPIRICAL STUDIES; FUZZ TESTING; GRAPHICAL APPLICATIONS; MAC OS X; MAC OS X OPERATING SYSTEMS; RANDOM INPUT; RANDOM TESTING; SOURCE CODES; UNIX COMMAND; WINDOWS APPLICATION; X-WINDOW;

GRAPHICAL USER INTERFACES; RELIABILITY; TESTING;

UNIX;

EID: 77952274438     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1228291.1228308     Document Type: Conference Paper

References (19)

1. D. Aitel, "The Advantages of Block-Based Protocol Analysis for Security Testing", Immunity Inc., February 2002. http://www.immunitysec. com/downloads/advantages-of-block-based-analysis.html
2. Apple Computer, May 2006, http://developer.apple.com/documentation/Cocoa/ Conceptual/CocoaFundamentals/WhatIsCocoa/chapter-2-section-6.html.
3. G.J. Carrette, "CRASHME: Random Input Testing", http://people.delphi.com/gjc/crashme.html, 1996.
4. J.W. Duran and S.C. Ntafos, "An Evaluation of Random Testing", IEEE Transactions on Software Engineering SE-10, 4, July 1984, pp. 438-444.
5. J.E. Forrester and B.P. Miller, "An Empirical Study of the Robustness of Windows NT Applications Using Random Testing", 4th USENIX Windows Systems Symposium, Seattle, August 2000. Appears (in German translation) as "Empirische Studie zur Stabilität von NT-Anwendungen", iX, September 2000.
6. S. Garfinkel and G. Spafford, Practical UNIX & Internet Security, O'Reilly & Associates, 1996.
7. A. Ghosh, V. Shah and M. Schmid, "Testing the Robustness of Windows NT Software", 1998 International Symposium on Software Reliability Engineering (ISSRE'98), Paderborn, Germany, November 1998.
8. A. Ghosh, V. Shah and M. Schmid, "An Approach for Analyzing the Robustness of Windows NT Software", 21st National Information Systems Security Conference, Crystal City, VA, October 1998.
9. A. Hertzfeld, Revolution in the Valley, O'Reilly Media, Inc., Sebastopol, CA, 2004, pp. 184-185.
10. S. Marquis, T. Dean, S. Knight, "SCL: a Language for Security Testing of Network Applications", 2005 Conference of the Centre for Advanced Studies on Collaborative Research, Toronto, October 2005.
11. W. McKeeman, "Differential Testing for Software", Digital Technical Journal, Digital Equipment Corporation 10, 1, December 1998.
12. G. Myers, The Art of Software Testing, Wiley Publishing, New York, 1979.
13. Microsoft Corporation, "Security and Reliability Strategies", http://www.microsoft.com/whdc/driver/security/, 2006.
14. B. P. Miller, D. Koski, C. P. Lee, V. Maganty, R. Murthy, A. Natarajan, J. Steidl, "Fuzz Revisited: A Re-examination of the Reliability of UNIX Utilities and Services", University of Wisconsin-Madison, 1995. Appears (in German translation) as "Empirische Studie zur Zuverlasskeit von UNIX-Utilities: Nichts dazu Gerlernt", iX, September 1995. ftp://grilled.cs.wisc.edu/technical-papers/fuzz-revisted.pdf.
15. B. P. Miller, L. Fredriksen, B. So, "An Empirical Study of the Reliability of UNIX Utilities", Communications of the ACM 33, 12, December 1990, pp. 32-44.
16. Also appears in German translation as "Fatale Fehlerträ chtigkeit: Eine Empirische Studie zur Zuverlassigkeit von UNIX-Utilities", iX (March 1991). ftp://grilled.cs.wisc.edu/technical-papers/fuzz.pdf.
17. E. Sirer and B. Bershad, "Using Production Grammars in Software Testing", Symposium on Domain-Specific Languages, Austin, TX, October 1999.
18. D. Wood, G. Gibson, and R. Katz, "Verifying a Multiprocessor Cache Controller Using Random Case Generation", Computer Science Tech report UCB/CSD-89-490, University of California, Berkeley, 1989.
19. S. Xiao, L. Deng, S. Li and X. Wang, "Integrated TCP/IP Protocol Software Testing for Vulnerability Detection", 2003 International Conference on Computer Networks and Mobile Computing, Shanghai, October 2003.