Regression tests to expose change interaction errors
暂无分享,去创建一个
[1] Alessandro Orso,et al. Test-Suite Augmentation for Evolving Software , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
[2] Michael Hicks,et al. Directed Symbolic Execution , 2011, SAS.
[3] Raúl A. Santelices,et al. Applying aggressive propagation-based strategies for testing changes , 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.
[4] George Candea,et al. Execution synthesis: a technique for automated software debugging , 2010, EuroSys '10.
[5] Zhenkai Liang,et al. Test generation to expose changes in evolving programs , 2010, ASE '10.
[6] Xiangyu Zhang,et al. Modeling Software Execution Environment , 2012, 2012 19th Working Conference on Reverse Engineering.
[7] P. Cochat,et al. Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.
[8] Nikolai Tillmann,et al. eXpress: guided path exploration for efficient regression test generation , 2011, ISSTA '11.
[9] Crispan Cowan,et al. StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks , 1998, USENIX Security Symposium.
[10] Koushik Sen. DART: Directed Automated Random Testing , 2009, Haifa Verification Conference.
[11] Sarfraz Khurshid,et al. Directed incremental symbolic execution , 2011, PLDI '11.
[12] Dawson R. Engler,et al. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs , 2008, OSDI.
[13] Alessandro Orso,et al. Precisely Detecting Runtime Change Interactions for Evolving Software , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.
[14] Cristian Cadar,et al. make test-zesti: A symbolic execution solution for improving regression testing , 2012, 2012 34th International Conference on Software Engineering (ICSE).
[15] Zhendong Su,et al. Has the bug really been fixed? , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
[16] Alessandro Orso,et al. MATRIX: Maintenance-Oriented Testing Requirements Identifier and Examiner , 2006, Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06).
[17] Alessandro Orso,et al. BugRedux: Reproducing field failures for in-house debugging , 2012, 2012 34th International Conference on Software Engineering (ICSE).
[18] Bruno C. d. S. Oliveira,et al. Partition-based regression verification , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[19] W. Marsden. I and J , 2012 .
[20] Chao Wang,et al. Coverage guided systematic concurrency testing , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[21] Myra B. Cohen,et al. Directed test suite augmentation: techniques and tradeoffs , 2010, FSE '10.
[22] Zhihong Xu,et al. Directed test suite augmentation , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[23] Jeffrey M. Voas,et al. PIE: A Dynamic Failure-Based Technique , 1992, IEEE Trans. Software Eng..
[24] Matthew B. Dwyer,et al. Differential symbolic execution , 2008, SIGSOFT '08/FSE-16.