Finding errors in.NET with feedback-directed random testing

ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008

Volumn , Issue , 2008, Pages 87-95

  Pacheco, Carlos ^a   Lahiri, Shuvendu K ^a   Ball, Thomas ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Random testing

Indexed keywords

ANALYSIS TOOLS; CASE STUDIES; CRITICAL COMPONENTS; DIRECTED RANDOM TESTING; HIGH RELIABILITIES; MICROSOFT; ORDERS OF MAGNITUDES; RANDOM TESTING; TEST ENGINEERS; TESTING TECHNIQUES;

COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR DETECTION; ERRORS; HEALTH RISKS; RANDOM ERRORS; RANDOM PROCESSES; TESTING;

SOFTWARE TESTING;

EID: 57449083783     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1390630.1390643     Document Type: Conference Paper

References (25)

1. Microsoft .NET Framework. http://www.microsoft.com/net/.
2. Agitar. Agitator tool, http://www.agitar.com.
3. B. Beizer. Software Testing Techniques. International Thomson Computer Press, 1990.
4. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. Exe: automatically generating inputs of death. In ACM Conference on Computer and Communications Security, pages 322-335, 2006.
5. I. Ciupa and A. Leitner. Automatic testing based on design by contract. In Proceedings of Net. Object Days 2005 (6th Annual International Conference on Object-Oriented and Internet-based, Technologies, Concepts, and Applications for a Networked World), pages 545-557, September 19-22 2005.
6. K. Claessen and J. Hughes. Quick Check: A lightweight tool for random testing of Haskell programs. In ICFP '00, Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming, pages 268-279, Montreal, Canada, Sept. 18-20, 2000.
7. C. Csallner and Y. Smaragdakis. J Crasher: an automatic robustness tester for Java. Software: Practice and Experience, 34(11):1025-1050, Sept. 2004.
8. R. Ferguson and B. Korel. The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology, 5(1):63-86, Jan. 1996.
9. J. E. Forrester and B. P. Miller. An empirical study of the robustness of Windows NT applications using random testing. In 4th USENIX Windows System Symposium, pages 59-68, Seattle, WA, USA, Aug. 2000.
10. P. Godefroid, N. Klarlund, and K. Sen. Dart: Directed automated random testing. In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 13-15, 2005.
11. A. D. Groce, G. Holzmann, and R. Joshi. Randomized differential testing as a prelude to formal verification. In ICSE '07: Proceedings of the 29th International Conference on Software Engineering, Minneapolis, MN, USA, 2007. IEEE Computer Society.
12. D. Hamlet. Random testing. In Encyclopedia of Software Engineering. John Wiley and Sons, 1994.
13. D. Hamlet and R. Taylor. Partition testing does not inspire confidence. IEEE Transactions on Software Engineering, 16(12):1402-1411, Dec. 1990.
14. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
15. D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard. An evaluation of exhaustive testing for data structures. Technical Report MIT/LCS/TR-921, MIT Laboratory for Computer Science, Sept, 2003.
16. B. P. Miller, L. Fredriksen, and B. So. An empirical study of the reliability of UNIX utilities. Communications of the ACM, 33(12):32-44, Dec. 1990.
17. G. J. Myers and C. Sandier. The Art of Software Testing. John Wiley & Sons, 2004.
18. S. Ntafos. On random and partition testing. In ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, pages 42-48, New York, NY, USA, 1998. ACM Press.
19. C. Oriat. Jartege: A tool for random generation of unit tests for Java classes. In QoSA/SOQUA, pages 242-256, Sept. 2005.
20. C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, Scotland, July 25-29, 2005.
21. C. Pacheco and M. D. Ernst. Randoop: feedback-directed random testing for Java. In OOPSLA 2007 Companion, Montreal, Canada. ACM, Oct. 2007.
22. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-directed random test generation. In ICSE '07: Proceedings of the 29th International Conference on Software Engineering, Minneapolis, MN, USA, 2007. IEEE Computer Society.
23. Parasoft. JTest manuals version 6.0. Online manual.
24. K. Sen and G. Agha. CUTE and j CUTE : Concolic unit testing and explicit path model-checking tools. In 18th International Conference on Computer Aided Verification (CAV'06), volume 4144 of Lecture Notes in Computer Science, pages 419-423. Springer, 2006. (Tool Paper).
25. W. Visser, C. S. Pǎsǎreanu, and R. Pelánek. Test input generation for Java containers using state matching. In ISSTA '06: Proceedings of the 2006 International Symposium on Software Testing and Analysis, pages 37-48, New York, NY, USA, 2006. ACM Press.