Reconstructing core dumps

Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013

Volumn , Issue , 2013, Pages 114-123

  Rößler, Jeremias ^a   Zeller, Andreas ^a   Fraser, Gordon ^b   Zamfir, Cristian ^c   Candea, George ^c  

^a SAARLAND UNIVERSITY   (Germany)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

^c EPFL   (Switzerland)

Author keywords

debugging; failure reproduction; memory dumps; test case generation

Indexed keywords

NON-TRIVIAL; RUNTIME OVERHEADS; SOFTWARE FAILURE; TEST CASE GENERATION; TEST CASE GENERATORS;

COMPUTER DEBUGGING;

SOFTWARE TESTING;

EID: 84883358983     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2013.18     Document Type: Conference Paper

References (35)

1. G. Altekar, C. Zamfir, G. Candea, and I. Stoica. Automating the debugging of datacenter applications with ADDA. Technical Report UCB/EECS-2011-22, EECS Department, University of California, Berkeley, Apr 2011.
2. S. Artzi, S. Kim, and M. D. Ernst. ReCrash: Making software failures reproducible by preserving object states. In ECOOP '08, pages 542-565, Berlin, Heidelberg, 2008. Springer-Verlag.
3. T. Bergan, O. Anderson, J. Devietti, L. Ceze, and D. Grossman. CoreDet: A compiler and runtime system for deterministic multithreaded execution. In ASPLOS, 2010.
4. M. Burger and A. Zeller. Minimizing reproduction of software failures. In Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, pages 221-231, New York, NY, USA, July 2011. ACM.
5. C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Symp. on Operating Systems Design and Implementation, 2008.
6. J. Clause and A. Orso. A technique for enabling and supporting debugging of field failures. In ICSE '07, pages 261-270, Washington, DC, USA, 2007. IEEE Computer Society.
7. Codec-22. https://issues.apache.org/jira/browse/CODEC-22.
8. Codec-98. https://issues.apache.org/jira/browse/CODEC-98.
9. G. W. Dunlap, S. T. King, S. Cinar, M. Basrai, and P. M. Chen. ReVirt: Enabling intrusion analysis through virtualmachine logging and replay. In Symp. on Operating Systems Design and Implementation, 2002.
10. G. Fraser and A. Arcuri. The seed is strong: Seeding strategies in search-based software testing. In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST 2012), pages 121-130, 2012.
11. G. Fraser and A. Arcuri. Whole test suite generation. IEEE Transactions on Software Engineering, 2012. To appear.
12. K. Glerum, K. Kinshumann, S. Greenberg, G. Aul, V. Orgovan, G. Nichols, D. Grant, G. Loihle, and G. Hunt. Debugging in the (very) large: ten years of implementation and experience. In Symp. on Operating Systems Principles, 2009.
13. P. Godefroid, N. Klarlund, and K. Sen. Dart: Directed automated random testing. In Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (PLDI 2005), pages 213-223, June 2005.
14. F. Gross, G. Fraser, and A. Zeller. Search-based system testing: High coverage, no false alarms. In Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, pages 67-77, New York, NY, USA, 2012. ACM.
15. W. Jin and A. Orso. BugRedux: Reproducing field failures for in-house debugging. In Proceedings of the 2012 International Conference on Software Engineering, ICSE 2012, pages 474-484, Piscataway, NJ, USA, 2012. IEEE Press.
16. JodaTime-1788282. http://sourceforge.net/tracker/?func= detail&aid=1788282&group id=97367&atid=617889.
17. JodaTime-2487417. http://sourceforge.net/tracker/?func= detail&aid=2487417&group id=97367&atid=617889.
18. JodaTime-2889499. http://sourceforge.net/tracker/?func= detail&aid=2889499&group id=97367&atid=617889.
19. J. C. King. Symbolic execution and program testing. Communications of the ACM, 1976.
20. B. Korel. Automated software test data generation. IEEE Transactions on Software Engineering, pages 870-879, 1990.
21. D. Lee, B. Wester, K. Veeraraghavan, S. Narayanasamy, P. M. Chen, and J. Flinn. Online multiprocessor replay via speculation and external determinism. In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, 2010.
22. J. Malburg and G. Fraser. Combining search-based and constraint-based testing. In ASE, 2011.
23. Math-367. https://issues.apache.org/jira/browse/MATH-367.
24. P. McMinn. Search-based software test data generation: A survey. Software Testing, Verification and Reliability, 14(2):105-156, 2004.
25. P. Montesinos, M. Hicks, S. T. King, and J. Torrellas. Capo: A software-hardware interface for practical deterministic multiprocessor replay. In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, 2009.
26. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedbackdirected random test generation. In ACM/IEEE International Conference on Software Engineering (ICSE), pages 75-84, 2007.
27. S. Park, Y. Zhou, W. Xiong, Z. Yin, R. Kaushik, K. H. Lee, and S. Lu. PRES: Probabilistic replay with execution sketching on multiprocessors. In Symp. on Operating Systems Principles, 2009.
28. J. R̈oßler. How helpful are automated debugging tools? In USER '12: Proceedings of the first Workshop on User evaluation for Software Engineering Researchers, June 2012.
29. J. R̈oßler, G. Fraser, A. Zeller, and A. Orso. Isolating failure causes through test case generation. In International Symposium on Software Testing and Analysis, Jul 2012.
30. N. Tillmann and N. J. de Halleux. Pex-white box test generation for .NET. In International Conference on Tests And Proofs (TAP), pages 134-253, 2008.
31. D. Weeratunge, X. Zhang, and S. Jagannathan. Analyzing multicore dumps to facilitate concurrency bug reproduction. In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, 2010.
32. J. Wegener, A. Baresel, and H. Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology, 43(14):841-854, 2001.
33. D. Yuan, H. Mai, W. Xiong, L. Tan, Y. Zhou, and S. Pasupathy. SherLog: Error diagnosis by connecting clues from runtime logs. In Proceedings of the International Conference on Architecture Support for Programming Languages and Operating Systems, March 2010.
34. D. Yuan, J. Zheng, S. Park, Y. Zhou, and S. Savage. Improving software diagnosability via log enhancement. In Proceedings of the International Conference on Architecture Support for Programming Languages and Operating Systems, March 2011.
35. C. Zamfir and G. Candea. Execution synthesis: A technique for automated debugging. In ACM SIGOPS/EuroSys European Conf. on Computer Systems, 2010.