-
1
-
-
0003502105
-
-
School of Inform. and Comput. Sci, Georgia lnstit. Technol, Atlanta, Tech. Rep. GIT-ICS-79/08, Sept
-
Aeree, A. T., Budd, T. A., DeMillo, R. A., Lipton, R. J., and Sayward, F. G., Mutation analysis, School of Inform. and Comput. Sci., Georgia lnstit. Technol., Atlanta, Tech. Rep. GIT-ICS-79/08, Sept. 1979.
-
(1979)
Mutation analysis
-
-
Aeree, A.T.1
Budd, T.A.2
DeMillo, R.A.3
Lipton, R.J.4
Sayward, F.G.5
-
3
-
-
0027884535
-
Incremental regression testing
-
D. N. Card, Ed. IEEE Computer Society, Washington, DC
-
Agrawal, H., Horgan, J. R., Krauser, E. W., and London, S. 1993. Incremental regression testing. In Pro. of the Conference on Software Maintenance D. N. Card, Ed. IEEE Computer Society, Washington, DC, 348-357.
-
(1993)
Pro. of the Conference on Software Maintenance
, pp. 348-357
-
-
Agrawal, H.1
Horgan, J.R.2
Krauser, E.W.3
London, S.4
-
5
-
-
34247326075
-
-
Boshernitsan, M., Doong, R., and Savoia, A. 2006. From daikon to agitator: lessons and challenges in building a commercial tool for developer testing. In Proceedings of the 2006 ISSTA (Portland, Maine, USA, July 17-20, 2006). ISSTA '06. ACM Press, New York, NY, 169-180.
-
Boshernitsan, M., Doong, R., and Savoia, A. 2006. From daikon to agitator: lessons and challenges in building a commercial tool for developer testing. In Proceedings of the 2006 ISSTA (Portland, Maine, USA, July 17-20, 2006). ISSTA '06. ACM Press, New York, NY, 169-180.
-
-
-
-
6
-
-
26044480846
-
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact
-
10, 4 Oct
-
Do, H., Elbaum, S., and Rothermel, G. 2005. Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact. Empirical Softw. Engg. 10, 4 (Oct. 2005), 405-435.
-
(2005)
Empirical Softw. Engg
, pp. 405-435
-
-
Do, H.1
Elbaum, S.2
Rothermel, G.3
-
7
-
-
0035250541
-
Dynamically discovering likely program invariants to support program evolution
-
Feb
-
Ernst, M. D., Cockrell, J., Griswold, W. G., and Notkin, D. 2001. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Eng. 27, 2 (Feb. 2001), 99-123.
-
(2001)
IEEE Trans. Softw. Eng
, vol.27
, Issue.2
, pp. 99-123
-
-
Ernst, M.D.1
Cockrell, J.2
Griswold, W.G.3
Notkin, D.4
-
10
-
-
0035551930
-
-
Harrold, M. J., Jones, J. A., Li, T., Liang, D., Orso, A., Pennings, M., Sinha, S., Spoon, S. A., and Gujarathi, A. 2001. Regression test selection for Java software. In Proc. of the 16th OOPSLA (Tampa Bay, FL, USA, October 14-18, 2001). OOPSLA '01. ACM Press, New York, NY, 312-326.
-
Harrold, M. J., Jones, J. A., Li, T., Liang, D., Orso, A., Pennings, M., Sinha, S., Spoon, S. A., and Gujarathi, A. 2001. Regression test selection for Java software. In Proc. of the 16th OOPSLA (Tampa Bay, FL, USA, October 14-18, 2001). OOPSLA '01. ACM Press, New York, NY, 312-326.
-
-
-
-
11
-
-
0016994996
-
Reliability of the path analyis testing strategy
-
Howden, W. Reliability of the path analyis testing strategy, IEEE Trans. Software Eng. SE-2(1976), 208-215.
-
(1976)
IEEE Trans. Software Eng
, vol.SE-2
, pp. 208-215
-
-
Howden, W.1
-
12
-
-
41149118193
-
-
JTopas website, http://jtopas.sourceforge.net/jtopas/.
-
JTopas website
-
-
-
14
-
-
34250772325
-
-
Masri, W., Podgurski, A., Leon, D., An empirical study of test case filtering techniques based on exercising information flows, IEEE Transactions on Software Engineering, 33, no. 7, pp. 454-477, Jul., 2007.
-
Masri, W., Podgurski, A., Leon, D., An empirical study of test case filtering techniques based on exercising information flows," IEEE Transactions on Software Engineering, vol. 33, no. 7, pp. 454-477, Jul., 2007.
-
-
-
-
15
-
-
17044394341
-
Chianti: A tool for change impact analysis of java programs
-
Vancouver, BC, Canada, October 24-28, OOPSLA '04. ACM Press, New York, NY
-
Ren, X., Shah, F., Tip, F., Ryder, B. G., and Chesley, O. 2004. Chianti: a tool for change impact analysis of java programs. In Proc. of the 19th ACM SIGPLAN OOPSLA (Vancouver, BC, Canada, October 24-28, 2004). OOPSLA '04. ACM Press, New York, NY, 432-448.
-
(2004)
Proc. of the 19th ACM SIGPLAN OOPSLA
, pp. 432-448
-
-
Ren, X.1
Shah, F.2
Tip, F.3
Ryder, B.G.4
Chesley, O.5
-
16
-
-
34247365312
-
Automatic test factoring for java
-
Long Beach, CA, USA, November 07-11, ASE '05. ACM Press, New York, NY
-
Saff, D., Artzi, S., Perkins, J. H., and Ernst, M. D. 2005. Automatic test factoring for java. In Proceedings of the 20th IEEE/ACM ASE (Long Beach, CA, USA, November 07-11, 2005). ASE '05. ACM Press, New York, NY, 114-123.
-
(2005)
Proceedings of the 20th IEEE/ACM ASE
, pp. 114-123
-
-
Saff, D.1
Artzi, S.2
Perkins, J.H.3
Ernst, M.D.4
-
17
-
-
33748321947
-
A theory of regression testing for behaviourally compatible object types: Research Articles
-
Sep
-
Simons, A. J. 2006. A theory of regression testing for behaviourally compatible object types: Research Articles. Softw. Test. Verif. Reliab. 16, 3 (Sep. 2006), 133-156.
-
(2006)
Softw. Test. Verif. Reliab
, vol.16
, Issue.3
, pp. 133-156
-
-
Simons, A.J.1
-
18
-
-
0022914039
-
Axiomatizing software test data adequacy
-
Dec
-
Weyuker, E. J. 1986. Axiomatizing software test data adequacy. IEEE Trans. Softw. Eng. 12, 12 (Dec. 1986), 1128-1138.
-
(1986)
IEEE Trans. Softw. Eng
, vol.12
, Issue.12
, pp. 1128-1138
-
-
Weyuker, E.J.1
-
19
-
-
0031354777
-
Software unit test coverage and adequacy
-
Dec
-
Zhu, H., Hall, P. A., and May, J. H. 1997. Software unit test coverage and adequacy. ACM Comput. Surv. 29, 4 (Dec. 1997), 366-427.
-
(1997)
ACM Comput. Surv
, vol.29
, Issue.4
, pp. 366-427
-
-
Zhu, H.1
Hall, P.A.2
May, J.H.3
|