Reducing the Costs of Bounded-Exhaustive Testing
暂无分享,去创建一个
Darko Marinov | Vilas Jagannath | Yun Young Lee | Brett Daniel | D. Marinov | V. Jagannath | B. Daniel | Brett Daniel
[1] Sarfraz Khurshid,et al. TestEra: Specification-Based Testing of Java Programs Using SAT , 2004, Automated Software Engineering.
[2] Sarfraz Khurshid,et al. Software assurance by bounded exhaustive testing , 2004, IEEE Transactions on Software Engineering.
[3] Mary Jean Harrold,et al. An empirical study of the effects of test-suite reduction on fault localization , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
[4] Chao Liu,et al. SOBER: statistical model-based bug localization , 2005, ESEC/FSE-13.
[5] Amitabh Srivastava,et al. Effectively prioritizing tests in development environment , 2002, ISSTA '02.
[6] Gregg Rothermel,et al. A safe, efficient regression test selection technique , 1997, TSEM.
[7] Andreas Zeller,et al. Simplifying and Isolating Failure-Inducing Input , 2002, IEEE Trans. Software Eng..
[8] Kent L. Beck,et al. Extreme programming explained - embrace change , 1990 .
[9] S. Elbaum,et al. The impact of test suite granularity on the cost-effectiveness of regression testing , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.
[10] Chao Liu,et al. Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach , 2007, 2007 IEEE International Conference on Software Maintenance.
[11] David Leon,et al. Finding failures by cluster analysis of execution profiles , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[12] Gregg Rothermel,et al. Test case prioritization: an empirical study , 1999, Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360).
[13] Daniel Jackson,et al. Software Abstractions - Logic, Language, and Analysis , 2006 .
[14] Darko Marinov,et al. Automated testing of refactoring engines , 2007, ESEC-FSE '07.
[15] Bin Wang,et al. Automated support for classifying software failure reports , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[16] Mary Jean Harrold,et al. Debugging in Parallel , 2007, ISSTA '07.
[17] Per Runeson,et al. Detection of Duplicate Defect Reports Using Natural Language Processing , 2007, 29th International Conference on Software Engineering (ICSE'07).
[18] Sarfraz Khurshid,et al. Parallel test generation and execution with Korat , 2007, ESEC-FSE '07.
[19] Gregg Rothermel,et al. On test suite composition and cost-effective regression testing , 2004, TSEM.
[20] Gregg Rothermel,et al. Incorporating varying test costs and fault severities into test case prioritization , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[21] A. G. Duncan,et al. Using attributed grammars to test designs and implementations , 1981, ICSE '81.
[22] Mark Harman,et al. Regression Testing Minimisation, Selection and Prioritisation - A Survey , 2009 .
[23] Mary Lou Soffa,et al. TimeAware test suite prioritization , 2006, ISSTA '06.
[24] Michael D. Ernst,et al. Reducing wasted development time via continuous testing , 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..
[25] Keith Stobie. Model Based Testing in Practice at Microsoft , 2005, Electron. Notes Theor. Comput. Sci..
[26] Gregg Rothermel,et al. An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models , 2006, SIGSOFT '06/FSE-14.
[27] Sarfraz Khurshid,et al. Korat: automated testing based on Java predicates , 2002, ISSTA '02.
[28] Sarfraz Khurshid,et al. An Evaluation of Exhaustive Testing for Data Structures , 2003 .
[29] Adam A. Porter,et al. A history-based test prioritization technique for regression testing in resource constrained environments , 2002, ICSE '02.
[30] Per Runeson,et al. A systematic review on regression test selection techniques , 2010, Inf. Softw. Technol..
[31] Peter M. Maurer,et al. Generating test data with enhanced context-free grammars , 1990, IEEE Software.
[32] Mats Per Erik Heimdahl,et al. Test-suite reduction for model based tests: effects on test quality and implications for testing , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
[33] Sarfraz Khurshid,et al. Test generation through programming in UDITA , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
[34] Boris Beizer,et al. Software Testing Techniques , 1983 .