-
3
-
-
0027884535
-
Incremental regression testing
-
AGRAWAL, H., HORGAN, J. R., KRAUSER, E. W., AND LONDON, S. 1993. Incremental regression testing. In Proceedings of the Conference on Software Maintenance. IEEE Computer Society, 348-357.
-
(1993)
Proceedings of the Conference on Software Maintenance. IEEE Computer Society
, pp. 348-357
-
-
Agrawal, H.1
Horgan, J.R.2
Krauser, E.W.3
London, S.4
-
6
-
-
84976850518
-
Information-flow and data-flow analysis of While-programs
-
BERGERETTI, J. AND CARRÉ, B. 1985. Information-flow and data-flow analysis of While-programs. ACM Trans. Program. Lang. Syst. 7, 1, 37-61.
-
(1985)
ACM Trans. Program. Lang. Syst
, vol.7
, Issue.1
, pp. 37-61
-
-
Bergeretti, J.1
Carré, B.2
-
7
-
-
0036442260
-
Union slices for program maintenance
-
BESZÉDES, Á., FARAGÓ, C., SZABÓ, Z. M., CSIRIK, J., AND GYIMÓTHY, T. 2002. Union slices for program maintenance. In Proceedings of the International Conference on Software Maintenance. IEEE Computer Society, 12-21.
-
(2002)
Proceedings of the International Conference on Software Maintenance. IEEE Computer Society
, pp. 12-21
-
-
Beszédes, Á.1
Faragó, C.2
Szabó, Z.M.3
Csirik, J.4
Gyimóthy, T.5
-
8
-
-
33746639192
-
A formalization of the relationship between forms of program slicing
-
BINKLEY, D., DANICIC, S., GYIMÓTHY, T., HARMAN, M., KISS, Á., AND KOREL, B. 2006a. A formalization of the relationship between forms of program slicing. Sci. Comput. Program. 62, 3, 228-252.
-
(2006)
Sci. Comput. Program
, vol.62
, Issue.3
, pp. 228-252
-
-
Binkley, D.1
Danicic, S.2
Gyimóthy, T.3
Harman, M.4
Kiss, Á.5
Korel, B.6
-
9
-
-
33746635158
-
Theoretical foundations of dynamic program slicing
-
BINKLEY, D., DANICIC, S., GYIMÓTHY, T., HARMAN, M., KISS, A., AND KOREL, B. 2006b. Theoretical foundations of dynamic program slicing. Theoretical Computer Science 360, 1, 23-41.
-
(2006)
Theoretical Computer Science
, vol.360
, Issue.1
, pp. 23-41
-
-
Binkley, D.1
Danicic, S.2
Gyimóthy, T.3
Harman, M.4
Kiss, A.5
Korel, B.6
-
10
-
-
14344256383
-
Formalizing executable dynamic and forward slicing
-
BINKLEY, D., DANICIC, S., GYIMOTHY, T., HARMAN, M., KISS, A., AND OUARBYA, L. 2004. Formalizing executable dynamic and forward slicing. In Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation. IEEE Computer Society, 43-52.
-
(2004)
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation. IEEE Computer Society
, pp. 43-52
-
-
Binkley, D.1
Danicic, S.2
Gyimothy, T.3
Harman, M.4
Kiss, A.5
Ouarbya, L.6
-
12
-
-
21144446241
-
A survey of empirical results on program slicing
-
BINKLEY, D. AND HARMAN, M. 2004. A survey of empirical results on program slicing. Adv. Comput. 62, 105-178.
-
(2004)
Adv. Comput
, vol.62
, pp. 105-178
-
-
Binkley, D.1
Harman, M.2
-
13
-
-
0032294765
-
Conditioned program slicing
-
CANFORA, G., CIMITILE, A., AND DE LUCIA, A. 1998. Conditioned program slicing. Inform. Softw. Technol. 40, 11-12, 595-608.
-
(1998)
Inform. Softw. Technol
, vol.40
, Issue.11-12
, pp. 595-608
-
-
Canfora, G.1
Cimitile, A.2
De Lucia, A.3
-
14
-
-
84987243256
-
Software salvaging based on conditions
-
CANFORA, G., CIMITILE, A., DE LUCIA, A., AND LUCCA, G. A. D. 1994. Software salvaging based on conditions. In Proceedings of the International Conference on Software Maintenance. 424-433.
-
(1994)
Proceedings of the International Conference on Software Maintenance
, pp. 424-433
-
-
Canfora, G.1
Cimitile, A.2
De Lucia, A.3
Lucca, G.A.D.4
-
16
-
-
57549095097
-
Program slicing and data provenance
-
CHENEY, J. 2007. Program slicing and data provenance. IEEE Data Engineer. Bullet. 30, 4, 22-28.
-
(2007)
IEEE Data Engineer. Bullet
, vol.30
, Issue.4
, pp. 22-28
-
-
Cheney, J.1
-
18
-
-
27844576695
-
Static program slicing algorithms are minimal for free liberal program schemas
-
DANICIC, S., FOX, C., HARMAN, M., HIERONS, R., HOWROYD, J., AND LAURENCE, M. 2005. Static program slicing algorithms are minimal for free liberal program schemas. Comput. J. 48, 6, 737-748.
-
(2005)
Comput. J
, vol.48
, Issue.6
, pp. 737-748
-
-
Danicic, S.1
Fox, C.2
Harman, M.3
Hierons, R.4
Howroyd, J.5
Laurence, M.6
-
21
-
-
0029721793
-
Understanding function behaviors through program slicing
-
A. Cimitile and H. A. Müller, Eds. IEEE Computer Society Press
-
DE LUCIA, A., FASOLINO, A. R., AND MUNRO, M. 1996. Understanding function behaviors through program slicing. In Proceedings of the 4th Workshop on Program Comprehension, A. Cimitile and H. A. Müller, Eds. IEEE Computer Society Press, 9-18.
-
(1996)
Proceedings of the 4th Workshop on Program Comprehension
, pp. 9-18
-
-
De Lucia, A.1
Fasolino, A.R.2
Munro, M.3
-
22
-
-
84884719012
-
Unions of slices are not slices
-
IEEE Computer Society
-
DE LUCIA, A., HARMAN, M., HIERONS, R. M., AND KRINKE, J. 2003. Unions of slices are not slices. In Proceedings of the 7th European Conference on Software Maintenance and Reengineering. IEEE Computer Society, 363-367.
-
(2003)
Proceedings of the 7th European Conference on Software Maintenance and Reengineering
, pp. 363-367
-
-
De Lucia, A.1
Harman, M.2
Hierons, R.M.3
Krinke, J.4
-
24
-
-
0023385308
-
The program dependence graph and its use in optimization
-
FERRANTE, J., OTTENSTEIN, K., AND WARREN, J. 1987. The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9, 3, 319-349.
-
(1987)
ACM Trans. Program. Lang. Syst
, vol.9
, Issue.3
, pp. 319-349
-
-
Ferrante, J.1
Ottenstein, K.2
Warren, J.3
-
25
-
-
0029181417
-
Parametric program slicing
-
ACM Press
-
FIELD, J., RAMALINGAM, G., AND TIP, F. 1995. Parametric program slicing. In Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 379-392.
-
(1995)
Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 379-392
-
-
Field, J.1
Ramalingam, G.2
Tip, F.3
-
26
-
-
38149136821
-
Backward conditioning: A new program specialization technique and its application to program comprehension
-
FOX, C., HARMAN, M., HIERONS, R., AND DANICIC, S. 2001. Backward conditioning: A new program specialization technique and its application to program comprehension. In Proceedings of the 9th IEEE International Workshop on Program Comprehension. 89-97.
-
(2001)
Proceedings of the 9th IEEE International Workshop on Program Comprehension
, pp. 89-97
-
-
Fox, C.1
Harman, M.2
Hierons, R.3
Danicic, S.4
-
28
-
-
0026203186
-
Using program slicing in software maintenance
-
GALLAGHER, K. AND LYLE, J. 1991. Using program slicing in software maintenance. IEEE Trans. Softw. Engin. 17, 8, 751-761.
-
(1991)
IEEE Trans. Softw. Engin
, vol.17
, Issue.8
, pp. 751-761
-
-
Gallagher, K.1
Lyle, J.2
-
31
-
-
0242485166
-
Non-standard semantics for program slicing
-
GIACOBAZZI, R. AND MASTROENI, I. 2003. Non-standard semantics for program slicing. Higher Order Symbol. Comput. 16, 4, 297-339.
-
(2003)
Higher Order Symbol. Comput
, vol.16
, Issue.4
, pp. 297-339
-
-
Giacobazzi, R.1
Mastroeni, I.2
-
33
-
-
0343575746
-
-
Springer-Verlag New York, Inc., Secaucus, NJ
-
GREIBACH, S. 1985. Theory of Program Structures: Schemes, Semantics, Verification. Springer-Verlag New York, Inc., Secaucus, NJ.
-
(1985)
Theory of Program Structures: Schemes, Semantics, Verification
-
-
Greibach, S.1
-
35
-
-
84887476214
-
An efficient relevant slicing method for debugging
-
Springer-Verlag
-
GYIMÓTHY, T., BESZÉDES, Á., AND FORGÁCS, I. 1999. An efficient relevant slicing method for debugging. In Proceedings of the 7th European Software Engineering Conference. Springer-Verlag, 303-321.
-
(1999)
Proceedings of the 7th European Software Engineering Conference
, pp. 303-321
-
-
Gyimóthy, T.1
Beszédes, Á.2
Forgács, I.3
-
36
-
-
0011793707
-
Automatic extraction of executable program subsets by simultaneous dynamic program slicing
-
HALL, R. 1995. Automatic extraction of executable program subsets by simultaneous dynamic program slicing. Auto. Softw. Engin. 2, 1, 33-53.
-
(1995)
Auto. Softw. Engin
, vol.2
, Issue.1
, pp. 33-53
-
-
Hall, R.1
-
38
-
-
40549086380
-
The next 700 slicing criteria
-
HARMAN, M., DANICIC, S., SIVAGURUNATHAN, Y., AND SIMPSON, D. 1996. The next 700 slicing criteria. In Proceedings of the 2nd U.K. Workshop on Program Comprehension.
-
(1996)
Proceedings of the 2nd U.K. Workshop on Program Comprehension
-
-
Harman, M.1
Danicic, S.2
Sivagurunathan, Y.3
Simpson, D.4
-
40
-
-
0002107790
-
An overview of program slicing
-
HARMAN, M. AND HIERONS, R. 2001. An overview of program slicing. Softw. Focus 2, 3, 85-92.
-
(2001)
Softw. Focus
, vol.2
, Issue.3
, pp. 85-92
-
-
Harman, M.1
Hierons, R.2
-
41
-
-
77956617375
-
Pre/postconditioned slicing
-
HARMAN, M., HIERONS, R. M., FOX, C., DANICIC, S., AND HOWROYD, J. 2001. Pre/postconditioned slicing. In Proceedings of the International Conference on Software Maintenance. 138-147.
-
(2001)
Proceedings of the International Conference on Software Maintenance
, pp. 138-147
-
-
Harman, M.1
Hierons, R.M.2
Fox, C.3
Danicic, S.4
Howroyd, J.5
-
42
-
-
33749402978
-
Abstract slicing: A new approach to program slicing based on abstract interpretation and model checking
-
IEEE Computer Society
-
HONG, H., LEE, I., AND SOKOLSKY, O. 2005. Abstract slicing: A new approach to program slicing based on abstract interpretation and model checking. In Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation. IEEE Computer Society, 25-34.
-
(2005)
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation
, pp. 25-34
-
-
Hong, H.1
Lee, I.2
Sokolsky, O.3
-
43
-
-
84956630483
-
Interprocedural slicing using dependence graphs
-
HORWITZ, S., REPS, T., AND BINKLEY, D. 1988. Interprocedural slicing using dependence graphs. In Proceedings of the Conference on Programming Language Design and Implementation, ACM SIGPLAN, 23, 7, 35-46.
-
(1988)
Proceedings of the Conference on Programming Language Design and Implementation ACM SIGPLAN
, vol.23
, Issue.7
, pp. 35-46
-
-
Horwitz, S.1
Reps, T.2
Binkley, D.3
-
44
-
-
0012609674
-
-
Tech. rep. CS-94-169, Carnegie Mellon University, School of Computer Science
-
JACKSON, D. AND ROLLINS, E. 1994. Chopping: A generalization of slicing. Tech. rep. CS-94-169, Carnegie Mellon University, School of Computer Science.
-
(1994)
Chopping: A Generalization of Slicing
-
-
Jackson, D.1
Rollins, E.2
-
45
-
-
33745270033
-
Path slicing
-
ACM Press, New York, NY
-
JHALA, R. AND MAJUMDAR, R. 2005. Path slicing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM Press, New York, NY, 38-47.
-
(2005)
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
, pp. 38-47
-
-
Jhala, R.1
Majumdar, R.2
-
46
-
-
33745092930
-
An introduction to partial evaluation
-
JONES, N. 1996. An introduction to partial evaluation. ACM Comput. Surv. 28, 3, 480-503.
-
(1996)
ACM Comput. Surv
, vol.28
, Issue.3
, pp. 480-503
-
-
Jones, N.1
-
48
-
-
0347177460
-
Static slicing of threaded programs
-
KRINKE, J. 1998. Static slicing of threaded programs. SIGPLAN Notices 33, 7, 35-42.
-
(1998)
SIGPLAN Notices
, vol.33
, Issue.7
, pp. 35-42
-
-
Krinke, J.1
-
51
-
-
4444306353
-
Slicing, chopping, and path conditions with barriers
-
KRINKE, J. 2004. Slicing, chopping, and path conditions with barriers. Softw. Qual. J. 12, 4, 339-360.
-
(2004)
Softw. Qual. J
, vol.12
, Issue.4
, pp. 339-360
-
-
Krinke, J.1
-
52
-
-
85027612984
-
Dependence graphs and compiler optimization
-
KUCK, D., KUHN, R., PADUA, D., LEASURE, B., AND WOLFE, M. 1981. Dependence graphs and compiler optimization. In Proceedings of the 8th Symposium on the Principles of Programming Languages, SIGPLAN Notices. 207-218.
-
(1981)
Proceedings of the 8th Symposium on the Principles of Programming Languages, SIGPLAN Notices
, pp. 207-218
-
-
Kuck, D.1
Kuhn, R.2
Padua, D.3
Leasure, B.4
Wolfe, M.5
-
55
-
-
0034819434
-
On optimal slicing of parallel programs
-
ACM, New York, NY
-
MÜLLER-OLM, M. AND SEIDL, H. 2001. On optimal slicing of parallel programs. In Proc. of the 33rd ACM Symposium on Theory of Computing. ACM, New York, NY, 647-656.
-
(2001)
Proc. of the 33rd ACM Symposium on Theory of Computing
, pp. 647-656
-
-
Müller-Olm, M.1
Seidl, H.2
-
56
-
-
0034592715
-
Slicing concurrent programs
-
ACM, New York, NY
-
NANDA, M. AND RAMESH, S. 2000. Slicing concurrent programs. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM, New York, NY, 180-190.
-
(2000)
Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis
, pp. 180-190
-
-
Nanda, M.1
Ramesh, S.2
-
58
-
-
84976824797
-
Automated support for legacy code understanding
-
NING, J., ENGBERTS, A., AND KOZACZYNSKI, W. 1994. Automated support for legacy code understanding. Commun. ACM 37, 5, 50-57.
-
(1994)
Commun. ACM
, vol.37
, Issue.5
, pp. 50-57
-
-
Ning, J.1
Engberts, A.2
Kozaczynski, W.3
-
59
-
-
0032643259
-
Call-mark slicing: An efficient and economical way of reducing slices
-
ACM Press
-
NISHIMATSU, A., JIHIRA, M., KUSUMOTO, S., AND INOUE, K. 1999. Call-mark slicing: An efficient and economical way of reducing slices. In Proceedings of the 21st International Conference on Software Engineering. ACM Press, 422-431.
-
(1999)
Proceedings of the 21st International Conference on Software Engineering
, pp. 422-431
-
-
Nishimatsu, A.1
Jihira, M.2
Kusumoto, S.3
Inoue, K.4
-
62
-
-
84976707537
-
The program dependence graph in a software development environment
-
ACM Press, New York, NY
-
OTTENSTEIN, K. AND OTTENSTEIN, L. 1984. The program dependence graph in a software development environment. In Proceedings of the 1st ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. ACM Press, New York, NY, 177-184.
-
(1984)
Proceedings of the 1st ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments
, pp. 177-184
-
-
Ottenstein, K.1
Ottenstein, L.2
-
63
-
-
0024930949
-
Illustrating interference in interfering versions of programs
-
REPS, T. AND BRICKER, T. 1989. Illustrating interference in interfering versions of programs. SIGSOFT Softw. Engineer. Notes 14, 7, 46-55.
-
(1989)
SIGSOFT Softw. Engineer. Notes
, vol.14
, Issue.7
, pp. 46-55
-
-
Reps, T.1
Bricker, T.2
-
65
-
-
0002124609
-
Slicing, I/O, and the implicit state
-
SIVAGURUNATHAN, Y., HARMAN, M., AND DANICIC, S. 1997. Slicing, I/O, and the implicit state. In Proceedings of the International Workshop on Automated and Algorithmic Debugging. 59-68.
-
(1997)
Proceedings of the International Workshop on Automated and Algorithmic Debugging
, pp. 59-68
-
-
Sivagurunathan, Y.1
Harman, M.2
Danicic, S.3
-
66
-
-
84923020668
-
Tracing lazy functional computations using redex trails
-
Springer, Berlin, Lecture Notes in Computer Science
-
SPARUD, J. AND RUNCIMAN, C. 1997. Tracing lazy functional computations using redex trails. In Proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs. Springer, Berlin, Lecture Notes in Computer Science, vol. 1292, 291-308.
-
(1997)
Proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs
, vol.1292
, pp. 291-308
-
-
Sparud, J.1
Runciman, C.2
-
67
-
-
67650077369
-
Thin slicing
-
ACM, New York, NY
-
SRIDHARAN, M., FINK, S., AND BODIK, R. 2007. Thin slicing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, New York, NY, 112-122.
-
(2007)
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
, pp. 112-122
-
-
Sridharan, M.1
Fink, S.2
Bodik, R.3
-
68
-
-
76349100047
-
Dependence-cache slicing: A program slicing method using lightweight dynamic information
-
IEEE Computer Society
-
TAKADA, T., OHATA, F., AND INOUE, K. 2002. Dependence-cache slicing: A program slicing method using lightweight dynamic information. In Proceedings of the 10th International Workshop on Program Comprehension. IEEE Computer Society, 169-177.
-
(2002)
Proceedings of the 10th International Workshop on Program Comprehension
, pp. 169-177
-
-
Takada, T.1
Ohata, F.2
Inoue, K.3
-
69
-
-
0032022098
-
Correct program slicing of database operations
-
TAN, H. AND LING, T. 1998. Correct program slicing of database operations. IEEE Softw. 15, 2, 105-112.
-
(1998)
IEEE Softw
, vol.15
, Issue.2
, pp. 105-112
-
-
Tan, H.1
Ling, T.2
-
78
-
-
18044390853
-
Program slicing in the presence of a database state
-
IEEE Computer Society
-
WILLMOR, D., EMBURY, S., AND SHAO, J. 2004. Program slicing in the presence of a database state. In Proceedings of the 20th IEEE International Conference on Software Maintenance. IEEE Computer Society, 448-452.
-
(2004)
Proceedings of the 20th IEEE International Conference on Software Maintenance
, pp. 448-452
-
-
Willmor, D.1
Embury, S.2
Shao, J.3
-
79
-
-
33646148021
-
A brief survey of program slicing
-
XU, B., QIAN, J., ZHANG, X., WU, Z., AND CHEN, L. 2005. A brief survey of program slicing. SIGSOFT Softw. Engineer. Notes 30, 2, 1-36.
-
(2005)
SIGSOFT Softw. Engineer. Notes
, vol.30
, Issue.2
, pp. 1-36
-
-
Xu, B.1
Qian, J.2
Zhang, X.3
Wu, Z.4
Chen, L.5
|