-
1
-
-
56249130008
-
Matrix: Maintenance-oriented testing requirements identifier and examiner
-
T. Apiwattanapong, R. Santelices, P. K. Chittimalli, A. Orso, and M. J. Harrold. Matrix: Maintenance-oriented testing requirements identifier and examiner. In Proceedings of the Testing: Academic & Industrial Conference on Practice And Research Techniques, TAIC-PART '06, 2006.
-
(2006)
Proceedings of the Testing: Academic & Industrial Conference on Practice and Research Techniques, TAIC-PART '06
-
-
Apiwattanapong, T.1
Santelices, R.2
Chittimalli, P.K.3
Orso, A.4
Harrold, M.J.5
-
3
-
-
85076893888
-
Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs
-
Berkeley, CA, USA USENIX Association
-
C. Cadar, D. Dunbar, and D. Engler. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX conference on Operating systems design and implementation, OSDI'08, pages 209-224, Berkeley, CA, USA, 2008. USENIX Association.
-
(2008)
Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI'08
, pp. 209-224
-
-
Cadar, C.1
Dunbar, D.2
Engler, D.3
-
4
-
-
85084160243
-
Stackguard: Automatic adaptive detection and prevention of buffer-overflow attacks
-
SSYM'98 Berkeley, CA, USA USENIX Association
-
C. Cowan, C. Pu, D. Maier, H. Hintony, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, and Q. Zhang. Stackguard: automatic adaptive detection and prevention of buffer-overflow attacks. In Proceedings of the 7th conference on USENIX Security Symposium - Volume 7, SSYM'98, pages 5-5, Berkeley, CA, USA, 1998. USENIX Association.
-
(1998)
Proceedings of the 7th Conference on USENIX Security Symposium
, vol.7
, pp. 5-5
-
-
Cowan, C.1
Pu, C.2
Maier, D.3
Hintony, H.4
Walpole, J.5
Bakke, P.6
Beattie, S.7
Grier, A.8
Wagle, P.9
Zhang, Q.10
-
5
-
-
84883689288
-
-
Accessed: July 2013
-
GNU Coreutils - bug reports. http://lists.gnu.org/archive/html/bug- coreutils/, Accessed: July 2013.
-
-
-
-
7
-
-
77954699148
-
Has the bug really been fixed?
-
ICSE '10 New York, NY, USA ACM
-
Z. Gu, E. T. Barr, D. J. Hamilton, and Z. Su. Has the bug really been fixed? In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE '10, pages 55-64, New York, NY, USA, 2010. ACM.
-
(2010)
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering
, vol.1
, pp. 55-64
-
-
Gu, Z.1
Barr, E.T.2
Hamilton, D.J.3
Su, Z.4
-
9
-
-
84942774185
-
Directed symbolic execution
-
K.-K. Ma, K. Y. Phang, J. S. Foster, and M. Hicks. Directed symbolic execution. In Proceedings of the 18th International Conference on Static Analysis, SAS'11, 2011.
-
(2011)
Proceedings of the 18th International Conference on Static Analysis, SAS'11
-
-
Ma, K.-K.1
Phang, K.Y.2
Foster, J.S.3
Hicks, M.4
-
10
-
-
84864272279
-
Make test-zesti: A symbolic execution solution for improving regression testing
-
ICSE Piscataway, NJ, USA, 2012. IEEE Press
-
P. D. Marinescu and C. Cadar. make test-zesti: a symbolic execution solution for improving regression testing. In Proceedings of the 2012 International Conference on Software Engineering, ICSE 2012, pages 716-726, Piscataway, NJ, USA, 2012. IEEE Press.
-
(2012)
Proceedings of the 2012 International Conference on Software Engineering
, pp. 716-726
-
-
Marinescu, P.D.1
Cadar, C.2
-
11
-
-
77950482688
-
Differential symbolic execution
-
New York, NY, USA ACM
-
S. Person, M. B. Dwyer, S. Elbaum, and C. S. Pǎsǎreanu. Differential symbolic execution. In Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pages 226-237, New York, NY, USA, 2008. ACM.
-
(2008)
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT '08/FSE-16
, pp. 226-237
-
-
Person, S.1
Dwyer, M.B.2
Elbaum, S.3
Pǎsǎreanu, C.S.4
-
12
-
-
79959884205
-
Directed incremental symbolic execution
-
S. Person, G. Yang, N. Rungta, and S. Khurshid. Directed incremental symbolic execution. In Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation, PLDI '11, 2011.
-
(2011)
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '11
-
-
Person, S.1
Yang, G.2
Rungta, N.3
Khurshid, S.4
-
14
-
-
84872320370
-
Modeling software execution environment
-
Working Conference on
-
D. Qi, W. N. Sumner, F. Qin, M. Zheng, X. Zhang, and A. Roychoudhury. Modeling software execution environment. Reverse Engineering, Working Conference on, 0:415-424, 2012.
-
(2012)
Reverse Engineering
, pp. 415-424
-
-
Qi, D.1
Sumner, W.N.2
Qin, F.3
Zheng, M.4
Zhang, X.5
Roychoudhury, A.6
-
15
-
-
56249095536
-
Test-suite augmentation for evolving software
-
R. Santelices, P. K. Chittimalli, T. Apiwattanapong, A. Orso, and M. J. Harrold. Test-suite augmentation for evolving software. In Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, ASE '08, 2008.
-
(2008)
Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, ASE '08
-
-
Santelices, R.1
Chittimalli, P.K.2
Apiwattanapong, T.3
Orso, A.4
Harrold, M.J.5
-
16
-
-
79958703477
-
Applying aggressive propagation-based strategies for testing changes
-
Washington, DC, USA IEEE Computer Society
-
R. Santelices and M. J. Harrold. Applying aggressive propagation-based strategies for testing changes. In Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST '11, pages 11-20, Washington, DC, USA, 2011. IEEE Computer Society.
-
(2011)
Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST '11
, pp. 11-20
-
-
Santelices, R.1
Harrold, M.J.2
-
17
-
-
77954471158
-
Precisely detecting runtime change interactions for evolving software
-
R. Santelices, M. J. Harrold, and A. Orso. Precisely detecting runtime change interactions for evolving software. In Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation, ICST '10, 2010.
-
(2010)
Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation, ICST '10
-
-
Santelices, R.1
Harrold, M.J.2
Orso, A.3
-
18
-
-
80051930248
-
Express: Guided path exploration for efficient regression test generation
-
K. Taneja, T. Xie, N. Tillmann, and J. de Halleux. express: guided path exploration for efficient regression test generation. In Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, 2011.
-
(2011)
Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11
-
-
Taneja, K.1
Xie, T.2
Tillmann, N.3
De Halleux, J.4
-
19
-
-
0026901308
-
Pie: A dynamic failure-based technique
-
Aug.
-
J. M. Voas. Pie: A dynamic failure-based technique. IEEE Trans. Softw. Eng., 18(8):717-727, Aug. 1992.
-
(1992)
IEEE Trans. Softw. Eng.
, vol.18
, Issue.8
, pp. 717-727
-
-
Voas, J.M.1
-
20
-
-
79959860491
-
Coverage guided systematic concurrency testing
-
New York, NY, USA ACM
-
C. Wang, M. Said, and A. Gupta. Coverage guided systematic concurrency testing. In Proceedings of the 33rd International Conference on Software Engineering, ICSE '11, pages 221-230, New York, NY, USA, 2011. ACM.
-
(2011)
Proceedings of the 33rd International Conference on Software Engineering, ICSE '11
, pp. 221-230
-
-
Wang, C.1
Said, M.2
Gupta, A.3
-
21
-
-
79959913894
-
Directed test suite augmentation
-
New York, NY, USA ACM
-
Z. Xu. Directed test suite augmentation. In Proceedings of the 33rd International Conference on Software Engineering, ICSE '11, pages 1110-1113, New York, NY, USA, 2011. ACM.
-
(2011)
Proceedings of the 33rd International Conference on Software Engineering, ICSE '11
, pp. 1110-1113
-
-
Xu, Z.1
-
22
-
-
78751495155
-
Directed test suite augmentation: Techniques and tradeoffs
-
New York, NY, USA ACM
-
Z. Xu, Y. Kim, M. Kim, G. Rothermel, and M. B. Cohen. Directed test suite augmentation: techniques and tradeoffs. In Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, pages 257-266, New York, NY, USA, 2010. ACM.
-
(2010)
Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE '10
, pp. 257-266
-
-
Xu, Z.1
Kim, Y.2
Kim, M.3
Rothermel, G.4
Cohen, M.B.5
|