-
1
-
-
37849053746
-
Differential testing: A new approach to change detection
-
R. B. Evans and A. Savoia, "Differential testing: a new approach to change detection," in Proc. FSE, 2007, pp. 549-552.
-
(2007)
Proc. FSE
, pp. 549-552
-
-
Evans, R.B.1
Savoia, A.2
-
3
-
-
0026901308
-
-
J. M. Voas, PIE: A dynamic failure-based technique, TSE, 18, no. 8, pp. 717-727, 1992.
-
J. M. Voas, "PIE: A dynamic failure-based technique," TSE, vol. 18, no. 8, pp. 717-727, 1992.
-
-
-
-
4
-
-
33746654201
-
Augmenting automatically generated unit-test suites with regression oracle checking
-
T. Xie, "Augmenting automatically generated unit-test suites with regression oracle checking," in Proc. ECOOP, 2006, pp. 380-403.
-
(2006)
Proc. ECOOP
, pp. 380-403
-
-
Xie, T.1
-
5
-
-
32344453671
-
Parameterized, unit tests
-
N. Tillmann and W. Schulte, "Parameterized, unit tests," in Proc. ESEC/FSE, 2005, pp. 253-262.
-
(2005)
Proc. ESEC/FSE
, pp. 253-262
-
-
Tillmann, N.1
Schulte, W.2
-
6
-
-
34247326075
-
From Daikon to Agitator: Lessons and challenges in building a commercial tool for developer testing
-
M. Boshernitsan, R. Doong, and A. Savoia, "From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing," in Proc. ISSTA, 2006, pp. 169-180.
-
(2006)
Proc. ISSTA
, pp. 169-180
-
-
Boshernitsan, M.1
Doong, R.2
Savoia, A.3
-
7
-
-
56249092346
-
Towards a framework, for differential unit testing of object-oriented programs
-
T. Xie, K. Taneja, S. Kale, and D. Marinov, "Towards a framework, for differential unit testing of object-oriented programs." in Proc. AST, 2007, pp. 5-11.
-
(2007)
Proc. AST
, pp. 5-11
-
-
Xie, T.1
Taneja, K.2
Kale, S.3
Marinov, D.4
-
8
-
-
84944242060
-
An informal formal method for systematic JUnit test case generation
-
D. Stotts, M. Lindsey, and A. Antley, "An informal formal method for systematic JUnit test case generation," in Proc. XP/Agile Universe, 2002, pp. 131-143.
-
(2002)
Proc. XP/Agile Universe
, pp. 131-143
-
-
Stotts, D.1
Lindsey, M.2
Antley, A.3
-
9
-
-
35248822793
-
Discovering algebraic specifications from Java classes
-
J. Henkel and A. Diwan, "Discovering algebraic specifications from Java classes," in Proc. ECOOP, 2003, pp. 431-456.
-
(2003)
Proc. ECOOP
, pp. 431-456
-
-
Henkel, J.1
Diwan, A.2
-
11
-
-
33746601687
-
Parasoft Jtest manuals version 4.5
-
Online manual
-
"Parasoft Jtest manuals version 4.5," Online manual, 2003, http://www.parasoft.com/.
-
(2003)
-
-
-
12
-
-
0036980185
-
Korat: Automated testing based on Java predicates
-
C. Boyapati, S. Khurshid, and D. Marinov, "Korat: automated testing based on Java predicates," in Proc. ISSTA, 2002, pp. 123-133.
-
(2002)
Proc. ISSTA
, pp. 123-133
-
-
Boyapati, C.1
Khurshid, S.2
Marinov, D.3
-
13
-
-
20844460416
-
MuJava: An automated class mutation system: Research articles
-
Y.-S. Ma, J. Offutt, and Y. R. Kwon, "MuJava: an automated class mutation system: Research articles," Softw. Test. Verif Reliab., vol. 15, no. 2, pp. 97-133, 2005.
-
(2005)
Softw. Test. Verif Reliab
, vol.15
, Issue.2
, pp. 97-133
-
-
Ma, Y.-S.1
Offutt, J.2
Kwon, Y.R.3
-
14
-
-
26044480846
-
Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact
-
H. Do, S. G. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact." Empirical Software Engineering: An International Journal, vol. 10, no. 4, pp. 405-435, 2005.
-
(2005)
Empirical Software Engineering: An International Journal
, vol.10
, Issue.4
, pp. 405-435
-
-
Do, H.1
Elbaum, S.G.2
Rothermel, G.3
-
15
-
-
56249137472
-
-
"JTopas website," 2006, http://jtopas.sou.rceforge.net/jtopas/.
-
(2006)
JTopas website
-
-
|