Swarm testing

2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings

Volumn , Issue , 2012, Pages 78-88

  Groce, Alex ^a   Zhang, Chaoqiang ^a   Eide, Eric ^b   Chen, Yang ^b   Regehr, John ^b  

^a 1148 Kelley Engineering Center Corvallis   (United States)

^b University of Utah   (United States)

Author keywords

configuration diversity; Random testing

Indexed keywords

C COMPILERS; CONFIGURATION DIVERSITY; DETECTION LOGIC; RANDOM TESTING; STATE SPACE; TEST CASE;

DATA STRUCTURES;

SOFTWARE TESTING;

EID: 84865280752     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/04000800.2336763     Document Type: Conference Paper

References (38)

1. S. Ali, L. C. Briand, H. Hemmati, and R. K. Panesar-Walawege. A systematic review of the application and empirical investigation of search-based test case generation. IEEE Trans. Software Eng., 36(6):742-762, Nov./Dec. 2010.
2. A. Alipour and A. Groce. Bounded model checking and feature omission diversity. In Proc. CFV, Nov. 2011.
3. P. Ammann and J. Offutt. Introduction to Software Testing. Cambridge University Press, 2008.
4. J. H. Andrews, L. C. Briand, and Y. Labiche. Is mutation an appropriate tool for testing experiments? In Proc. ICSE, pages 402-411, May 2005.
5. J. H. Andrews, A. Groce, M. Weston, and R.-G. Xu. Random test run length and effectiveness. In Proc. ASE, pages 19-28, Sept. 2008.
6. J. H. Andrews, F. C. H. Li, and T. Menzies. Nighthawk: A two-level genetic-random unit test data generator. In Proc. ASE, pages 144-153, Nov. 2007.
7. A. Arcuri and L. Briand. Adaptive random testing: An illusion of effectiveness? In Proc. ISSTA, pages 265-275, July 2011.
8. A. Arcuri, M. Z. Iqbal, and L. Briand. Formal analysis of the effectiveness and predictability of random testing. In Proc. ISSTA, pages 219-230, July 2010.
9. T. Ball. A theory of predicate-complete test coverage and generation. In Proc. FMCO, pages 1-22, Nov. 2004.
10. T. Y. Chen. Fundamentals of test case selection: Diversity, diversity, diversity. In Proc. SEDM, pages 723-724, June 2010.
11. T. Y. Chen, H. Leung, and I. K. Mak. Adaptive random testing. In Advances in Computer Science, volume 3321 of LNCS, pages 320-329. Springer, 2004.
12. E. Clarke and D. K. F. Lerda. A tool for checking ANSI-C programs. In Proc. TACAS, volume 2988 of LNCS, pages 168-176. Springer, 2004.
13. H. Dai, C. Murphy, and G. Kaiser. Configuration fuzzing for software vulnerability detection. In Proc. ARES, pages 525-530, Feb. 2010.
14. M. B. Dwyer, S. Elbaum, S. Person, and R. Purandare. Parallel randomized state-space search. In Proc. ICSE, pages 3-12, May 2007.
15. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proc. PLDI, pages 213-223, June 2005.
16. A. Groce. (Quickly) testing the tester via path coverage. In Proc. WODA, pages 22-28, July 2009.
17. A. Groce, G. Holzmann, and R. Joshi. Randomized differential testing as a prelude to formal verification. In Proc. ICSE, pages 621-631, May 2007.
18. D. Hamlet and R. Taylor. Partition testing does not inspire confidence. IEEE Trans. Software Eng., 16(12):1402-1411, Dec. 1990.
19. R. Hamlet. Random testing. In Encyclopedia of Software Engineering, pages 970-978. Wiley, 1994.
20. M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In Proc. ICSE, pages 60-71, May 2003.
21. G. J. Holzmann, R. Joshi, and A. Groce. Swarm verification techniques. IEEE Trans. Software Eng., 37(6):845-857, Nov./Dec. 2011.
22. J. A. Jones and M. J. Harrold. Empirical evaluation of the Tarantula automatic fault-localization technique. In Proc. ASE, pages 273-282, Nov. 2005.
23. B. Korel, M. Harman, S. Chung, P. Apirukvorapinit, R. Gupta, and Q. Zhang. Data dependence based testability transformation in automated test generation. In Proc. ISSRE, pages 245-254, Nov. 2005.
24. D. R. Kuhn, D. R. Wallace, and A. M. Gallo Jr. Software fault interactions and implications for software testing. IEEE Trans. Software Eng., 30(6):418-421, June 2004.
25. J. Lawrence, R. N. Kacker, Y. Lei, D. R. Kuhn, and M. Forbes. A survey of binary covering arrays. Electron. J. Comb., 18(1), 2011.
26. C. Nie and H. Leung. A survey of combinatorial testing. ACM Comput. Surv., 43(2), Jan. 2011.
27. NIST. NIST covering array tables. http://math.nist.gov/coveringarrays/ ipof/tables/table.5.2.html, Feb. 2008.
28. T. J. Ostrand and M. J. Balcer. The category-partition method for specifying and generating functional tests. CACM, 31(6):676-686, June 1988.
29. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-directed random test generation. In Proc. ICSE, pages 75-84, May 2007.
30. M. S. Phadke. Planning efficient software tests. CrossTalk, 10(10):11-15, Oct. 1997.
31. S. Poulding and J. A. Clark. Efficient software verification: Statistical testing using automated search. IEEE Trans. Software Eng., 36(6):763-777, Nov./Dec. 2010.
32. X. Qu, M. B. Cohen, and G. Rothermel. Configuration-aware regression testing: An empirical study of sampling and prioritization. In Proc. ISSTA, pages 75-86, July 2008.
33. P. Thévenod-Fosse and H. Waeselynck. An investigation of statistical software testing. J. Software Testing, Verification and Reliability, 1(2):5-25, 1991.
34. Y. Wei, H. Roth, C. A. Furia, Y. Pei, A. Horton, M. Steindorfer, M. Nordio, and B. Meyer. Stateful testing: Finding more errors in code and contracts. Computing Research Repository, Aug. 2011.
35. YAFFS: A flash file system for embedded use. http://www.yaffs.net/.
36. X. Yang, Y. Chen, E. Eide, and J. Regehr. Finding and understanding bugs in C compilers. In Proc. PLDI, pages 283-294, June 2011.
37. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Trans. Software Eng., 28(2):183-200, Feb. 2002.
38. L. Zhang, S.-S. Hou, J.-J. Hu, T. Xie, and H. Mei. Is operator-based mutant selection superior to random mutant selection? In Proc. ICSE, pages 435-444, May 2010.