-
1
-
-
34247400790
-
Jdiff: A differencing technique and tool for object-oriented programs
-
T. Apiwattanapong, A. Orso, and M. J. Harrold. Jdiff: A differencing technique and tool for object-oriented programs. Autom. Softw. Eng., 14(1):3-36, 2007.
-
(2007)
Autom. Softw. Eng.
, vol.14
, Issue.1
, pp. 3-36
-
-
Apiwattanapong, T.1
Orso, A.2
Harrold, M.J.3
-
2
-
-
77955877763
-
Directed test generation for effective fault localization
-
S. Artzi, J. Dolby, F. Tip, and M. Pistoia. Directed test generation for effective fault localization. In ISSTA, 2010.
-
(2010)
ISSTA
-
-
Artzi, S.1
Dolby, J.2
Tip, F.3
Pistoia, M.4
-
3
-
-
18444373554
-
A survey on tree edit distance and related problems
-
P. Bille. A survey on tree edit distance and related problems. Theor. Comput. Sci., 337, 2005.
-
(2005)
Theor. Comput. Sci.
, pp. 337
-
-
Bille, P.1
-
4
-
-
67650790221
-
Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs
-
C. Cadar, D. Dunbar, and D. R. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, 2008.
-
(2008)
OSDI
-
-
Cadar, C.1
Dunbar, D.2
Engler, D.R.3
-
5
-
-
57849087817
-
Exe: Automatically generating inputs of death
-
C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. Exe: Automatically generating inputs of death. TISSEC, 12(2), 2008.
-
(2008)
TISSEC
, vol.12
, Issue.2
-
-
Cadar, C.1
Ganesh, V.2
Pawlowski, P.M.3
Dill, D.L.4
Engler, D.R.5
-
6
-
-
33244494414
-
Locating causes of program failures
-
H. Cleve and A. Zeller. Locating causes of program failures. In ICSE, 2005.
-
(2005)
ICSE
-
-
Cleve, H.1
Zeller, A.2
-
7
-
-
0035783436
-
Pursuing failure: The distribution of program failures in a profile space
-
W. Dickinson, D. Leon, and A. Podgurski. Pursuing failure: the distribution of program failures in a profile space. In FSE, 2001.
-
(2001)
FSE
-
-
Dickinson, W.1
Leon, D.2
Podgurski, A.3
-
8
-
-
35348968376
-
Change distilling: Tree differencing for fine-grained source code change extraction
-
B. Fluri, M. Wuersch, M. PInzger, and H. Gall. Change distilling: Tree differencing for fine-grained source code change extraction. IEEE Trans. Softw. Eng., 33:725-743, 2007.
-
(2007)
IEEE Trans. Softw. Eng.
, vol.33
, pp. 725-743
-
-
Fluri, B.1
Wuersch, M.2
PInzger, M.3
Gall, H.4
-
9
-
-
72749113538
-
A genetic programming approach to automated software repair
-
S. Forrest, T. Nguyen, W. Weimer, and C. Le Goues. A genetic programming approach to automated software repair. In GECCO, 2009.
-
(2009)
GECCO
-
-
Forrest, S.1
Nguyen, T.2
Weimer, W.3
Le Goues, C.4
-
10
-
-
31844450371
-
Dart: Directed automated random testing
-
P. Godefroid, N. Klarlund, and K. Sen. Dart: directed automated random testing. In PLDI, 2005.
-
(2005)
PLDI
-
-
Godefroid, P.1
Klarlund, N.2
Sen, K.3
-
13
-
-
84963612799
-
Identifying the semantic and textual differences between two versions of a program
-
S. Horwitz. Identifying the semantic and textual differences between two versions of a program. In PLDI, 1990.
-
(1990)
PLDI
-
-
Horwitz, S.1
-
14
-
-
0017492836
-
A fast algorithm for computing longest common subsequences
-
J. W. Hunt and T. G. Szymanski. A fast algorithm for computing longest common subsequences. Commun. ACM, 20(5):350-353, 1977.
-
(1977)
Commun. ACM
, vol.20
, Issue.5
, pp. 350-353
-
-
Hunt, J.W.1
Szymanski, T.G.2
-
15
-
-
57449115450
-
Fault localization using value replacement
-
D. Jeffrey, N. Gupta, and R. Gupta. Fault localization using value replacement. In ISSTA, 2008.
-
(2008)
ISSTA
-
-
Jeffrey, D.1
Gupta, N.2
Gupta, R.3
-
16
-
-
70849130773
-
Effective and efficient localization of multiple faults using value replacement
-
D. Jeffrey, N. Gupta, and R. Gupta. Effective and efficient localization of multiple faults using value replacement. In ICSM, 2009.
-
(2009)
ICSM
-
-
Jeffrey, D.1
Gupta, N.2
Gupta, R.3
-
17
-
-
77952348762
-
Empirical evaluation of the tarantula automatic fault-localization technique
-
J. Jones and M. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In ASE, 2005.
-
(2005)
ASE
-
-
Jones, J.1
Harrold, M.2
-
18
-
-
70450240793
-
A randomized dynamic program analysis technique for detecting real deadlocks
-
P. Joshi, C. Park, K. Sen, and M. Naik. A randomized dynamic program analysis technique for detecting real deadlocks. In PLDI, 2009.
-
(2009)
PLDI
-
-
Joshi, P.1
Park, C.2
Sen, K.3
Naik, M.4
-
21
-
-
34547420572
-
Sieve: A tool for automatically detecting variations across program versions
-
M. K. Ramanathan, A. Grama, and S. Jagannathan. Sieve: A tool for automatically detecting variations across program versions. In ASE, 2006.
-
(2006)
ASE
-
-
Ramanathan, M.K.1
Grama, A.2
Jagannathan, S.3
-
22
-
-
84917687527
-
Fault localization with nearest neighbor queries
-
M. Renieres and S. P. Reiss. Fault localization with nearest neighbor queries. In ASE, 2003.
-
(2003)
ASE
-
-
Renieres, M.1
Reiss, S.P.2
-
23
-
-
0002383096
-
The use of program profiling for software maintenance with applications to the year 2000 problem
-
T. Reps, T. Ball, M. Das, and J. Larus. The use of program profiling for software maintenance with applications to the year 2000 problem. In FSE, 1997.
-
(1997)
FSE
-
-
Reps, T.1
Ball, T.2
Das, M.3
Larus, J.4
-
24
-
-
32344447459
-
Cute: A concolic unit testing engine for c
-
K. Sen, D. Marinov, and G. Agha. Cute: a concolic unit testing engine for c. In FSE, 2005.
-
(2005)
FSE
-
-
Sen, K.1
Marinov, D.2
Agha, G.3
-
25
-
-
77949848383
-
Algorithms for automatically computing the causal paths of failures
-
W. Sumner and X. Zhang. Algorithms for automatically computing the causal paths of failures. In FASE, 2009.
-
(2009)
FASE
-
-
Sumner, W.1
Zhang, X.2
-
26
-
-
78751492632
-
Memory indexing: Canonicalizing addresses across executions
-
W. Sumner and X. Zhang. Memory indexing: canonicalizing addresses across executions. In FSE, 2010.
-
(2010)
FSE
-
-
Sumner, W.1
Zhang, X.2
-
27
-
-
79958701487
-
Execution hijacking: Improving dynamic analysis by flying off course
-
P. Tsankov, W. Jin, A. Orso, and S. Sinha. Execution hijacking: Improving dynamic analysis by flying off course. In ICST, 2011.
-
(2011)
ICST
-
-
Tsankov, P.1
Jin, W.2
Orso, A.3
Sinha, S.4
-
28
-
-
33745769635
-
Automated path generation for software fault localization
-
T. Wang and A. Roychoudhury. Automated path generation for software fault localization. In ASE, 2005.
-
(2005)
ASE
-
-
Wang, T.1
Roychoudhury, A.2
-
30
-
-
70450057300
-
Fitness-guided path exploration in dynamic symbolic execution
-
T. Xie, N. Tillmann, J. de Halleux, and W. Schulte. Fitness-guided path exploration in dynamic symbolic execution. In DSN, 2009.
-
(2009)
DSN
-
-
Xie, T.1
Tillmann, N.2
De Halleux, J.3
Schulte, W.4
-
31
-
-
57349109988
-
Efficient program execution indexing
-
B. Xin, W. Sumner, and X. Zhang. Efficient program execution indexing. In PLDI, 2008.
-
(2008)
PLDI
-
-
Xin, B.1
Sumner, W.2
Zhang, X.3
-
32
-
-
0037672303
-
Isolating cause-effect chains from computer programs
-
A. Zeller. Isolating cause-effect chains from computer programs. In FSE, 2002.
-
(2002)
FSE
-
-
Zeller, A.1
-
34
-
-
34247096141
-
Locating faults through automated predicate switching
-
X. Zhang, N. Gupta, and R. Gupta. Locating faults through automated predicate switching. In ICSE, 2006.
-
(2006)
ICSE
-
-
Zhang, X.1
Gupta, N.2
Gupta, R.3
-
35
-
-
32344449616
-
Matching execution histories of program versions
-
X. Zhang and R. Gupta. Matching execution histories of program versions. In FSE, 2005.
-
(2005)
FSE
-
-
Zhang, X.1
Gupta, R.2
|