Automatic detection of previously-unseen application states for deployment environment testing and analysis

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2010, Pages 16-23

  Murphy, Christian ^a   Vaughan, Moses ^a   Ilahi, Waseem ^a   Kaiser, Gail ^a  

^a Department of Earth and Environmental Sciences   (United States)

Author keywords

In vivo testing; Software testing

Indexed keywords

ANALYSIS TECHNIQUES; AUTOMATED APPROACH; AUTOMATED TESTING; AUTOMATIC DETECTION; COMPLEX SOFTWARE SYSTEMS; DEPLOYED SOFTWARE; EMPIRICAL STUDIES; ENVIRONMENT TEST; FAULT LOCALIZATION; IN-VIVO; NEW APPROACHES; REDUNDANT TESTS; SECURITY TESTING; TEST CASE; TESTING SOFTWARE;

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; FAULT DETECTION; MODEL CHECKING; SOFTWARE ENGINEERING; SOFTWARE TESTING;

TESTING;

EID: 77954923906     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1808266.1808269     Document Type: Conference Paper

References (22)

1. G. K. Baah, A. Gray, and M.J. Harrold. On-line anomaly detection of deployed software: a statistical machine learning approach. In Proc. of the 3rd International Workshop on Software Quality Assurance, pages 70-77, 2006.
2. J. Biskup. Security in computing systems challenges, approaches, and solutions. Springer-Verlag, 2009.
3. M. Chu, C. Murphy, and G. Kaiser. Distributed in vivo testing of software applications. In Proc. of the First International Conference on Software Testing, Verification and Validation, pages 509-512, 2008.
4. H.-P. Company. Programming with Judy. 2001.
5. H. Dai, C. Murphy, and G. Kaiser. Configuration fuzzing for software vulnerability detection. In Proc. of the Fourth International Workshop on Secure Software Engineering (SecSE), 2010.
6. S. Elbaum and M. Hardojo. An empirical study of profiling strategies for released software and their impact on testing activities. In Proc. of the International Symposium on Software Testing and Analysis (ISSTA), pages 65-75, 2004.
7. S. Elbaum, G. Rothermel, S. Karre, and M. Fisher II. Leveraging user-session data to support web application testing. IEEE Transactions on Software Engineering, 31(3):187-202, March 2005.
8. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proc. of the 24th International Conference on Software Engineering (ICSE), pages 291-301, 2002.
9. N. Keetha, L. Wu, G. Kaiser, and J. Yang. Distributed eXplode: A high-performance model checking engine to scale up state-space coverage. Technical Report CUCS-051-08, Department of Computer Science, Columbia University, 2008.
10. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In Proc. of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI), pages 141-154, 2003.
11. A. Memon, A. Porter, C. Yilmaz, A. Nagarajan, D. Schmidt, and B. Natarajan. Skoll: distributed continuous quality assurance. In Proc. of the 26th International Conference on Software Engineering (ICSE), pages 459-468, May 2004.
12. C. Murphy and G. Kaiser. Metamorphic runtime checking of non-testable programs. Technical Report CUCS-042-09, Dept. of Computer Science, Columbia University, 2009.
13. C. Murphy, G. Kaiser, M. Chu, and I. Vo. Quality assurance of software applications using the in vivo testing approach. In Proc. of the Second IEEE International Conference on Software Testing, Veri-cation and Validation, pages 111-120, 2009.
14. P. Norvig. Techniques for automatic memoization with applications to context-free parsing. Computational Linguistics, 17(1):91-98, March 1991.
15. A. Orso, D. Liang, and M. J. Harrold. Gamma system: Continuous evolution of software after deployment. In Proc. of the International Symposium on Software Testing and Analysis (ISSTA), pages 65-69, 2002.
16. S. Osman, D. Subhraveti, G. Su, and J. Nieh. The design and implementation of Zap: A system for migrating computing environments. In Proc. of the Fifth Symposium on Operating Systems Design and Implementation (OSDI), pages 361-376, 2002.
17. L. Osterweil. Perpetually testing software. In Proc. of the The Ninth International Software Quality Week, May 1996.
18. C. Pavlopoulou and M. Young. Residual test coverage monitoring. In Proc. of the 21st International Conference on Software Engineering (ICSE), pages 277-284, May 1999.
19. H. L. Royden. Real Analysis. Prentice Hall, 1988.
20. S. Sidiroglou, O. Laadan, N. Viennot, C.-R. Pérez, A. D. Keromytis, and J. Nieh. Assure: Automatic software self-healing using rescue points. In Proc. of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 37-48, 2009.
21. S. H. Yong and S. Horwitz. Using static analysis to reduce dynamic analysis overhead. Formal Methods in System Design, 27(3):313-334, November 2005.
22. A. Zeller. Isolating cause-effect chains from computer programs. In Proc. of the 10th ACM SIGSOFT symposium on foundations of software engineering, pages 1-10, 2002.