-
1
-
-
0018018382
-
A practical interprocedural dataflow analysis algorithm
-
Sept.
-
J. M. Barth, “A practical interprocedural dataflow analysis algorithm,” Comm. Assoc. Computing Machinery, Vol. 21, No. 9, pp. 724-726, Sept. 1978.
-
(1978)
Comm. Assoc. Computing Machinery
, vol.21
, Issue.9
, pp. 724-726
-
-
Barth, J.M.1
-
2
-
-
0022757468
-
Experimentation in software engineering
-
July
-
V. Basili, R. Selby, and D. Hutchens, “Experimentation in software engineering,” IEEE Trans. Software Eng., Vol. 12, pp. 352-357, July 1984.
-
(1984)
IEEE Trans. Software Eng
, vol.12
, pp. 352-357
-
-
Basili, V.1
Selby, R.2
Hutchens, D.3
-
3
-
-
84976850518
-
Information-flow and data-flow analysis of while-programs
-
Jan.
-
J.-F. Bergeretti and B. Carre, “Information-flow and data-flow analysis of while-programs,” ACM Trans. Programming Languages and Systems, Vol. 7. No. 1, pp. 37-61, Jan. 1985.
-
(1985)
ACM Trans. Programming Languages and Systems
, vol.7
, Issue.1
, pp. 37-61
-
-
Bergeretti, J.-F.1
Carre, B.2
-
4
-
-
0022900402
-
On merging software extensions
-
V. Berzins, “On merging software extensions,” Acta Informatica, vol. 23, pp. 607–619, 1985.
-
(1985)
Acta Informatica
, vol.23
, pp. 607-619
-
-
Berzins, V.1
-
5
-
-
84897710145
-
Flow diagrams and languages with only two formation rules
-
May
-
C. Bohm and G. Jacopini, “Flow diagrams and languages with only two formation rules,” CACM, Vol. 9, No. 5, pp. 366-371, May 1966.
-
(1966)
CACM
, vol.9
, Issue.5
, pp. 366-371
-
-
Bohm, C.1
Jacopini, G.2
-
6
-
-
77956729923
-
Techniques for debugging parallel programs with flowback analysis
-
Univ. Wisconsin-Madison, Tech. Rep. 786,Aug.
-
J.-D. Choi, B. Miller, and P. Netzer, “Techniques for debugging parallel programs with flowback analysis,” Univ. Wisconsin-Madison, Tech. Rep. 786, Aug. 1988.
-
(1988)
-
-
Choi, J.-D.1
Miller, B.2
Netzer, P.3
-
7
-
-
0023385308
-
The program dependence graph and its use in optimization
-
July
-
J. Ferrante, K. Ottenstein, and J. Warren, “The program dependence graph and its use in optimization,” ACM Trans. Programming Languages and Systems, vol. 9, no. 3, pp. 319-349, July 1987.
-
(1987)
ACM Trans. Programming Languages and Systems
, vol.9
, Issue.3
, pp. 319-349
-
-
Ferrante, J.1
Ottenstein, K.2
Warren, J.3
-
8
-
-
0347713619
-
Using program slicing in software maintenance
-
Ph.D. thesis, Univ. Maryland, Baltimore,Dec.
-
K. B. Gallagher, “Using program slicing in software maintenance,” Ph.D. thesis, Univ. Maryland, Baltimore, Dec. 1989.
-
(1989)
-
-
Gallagher, K.B.1
-
9
-
-
84945713589
-
Surgeon's assistant limits side effects
-
May
-
K. B. Gallagher, “Surgeon's assistant limits side effects,” IEEE Software, Vol. 7, p. 64, May 1990.
-
(1990)
IEEE Software
, vol.7
, pp. 64
-
-
Gallagher, K.B.1
-
11
-
-
0024864914
-
A program decomposition scheme with applications to software modification and testing
-
(Hawaii),Jan.
-
K. B. Gallagher and J. R. Lyle, “A program decomposition scheme with applications to software modification and testing,” in Proc. 22nd Int. Conf. System Sciences (Hawaii), Jan. 1989, vol. II, pp. 479-485.
-
(1989)
Proc. 22nd Int. Conf. System Sciences
, vol.II
, pp. 479-485
-
-
Gallagher, K.B.1
Lyle, J.R.2
-
12
-
-
0004857089
-
Measuring and managing software maintenance
-
Sept.
-
R. Grady, “Measuring and managing software maintenance,” IEEE Software, Vol. 4, Sept. 1987.
-
(1987)
IEEE Software
, vol.4
-
-
Grady, R.1
-
13
-
-
0024859888
-
Denotational program slicing
-
Jan.(Software Track)
-
P. Hausler, “Denotational program slicing,” in Proc. 22nd Hawaii Int. Conf. System Sciences, Jan. 1989, vol. II (Software Track), pp. 486-494.
-
(1989)
Proc. 22nd Hawaii Int. Conf. System Sciences
, vol.II
, pp. 486-494
-
-
Hausler, P.1
-
15
-
-
0024700474
-
Integrating non-interfering versions of programs
-
July
-
S. Horwitz, J. Prins, and T. Reps, “Integrating non-interfering versions of programs,” ACM Trans. Programming Languages and Systems, Vol. 11, No. 3, pp. 345-387, July 1989.
-
(1989)
ACM Trans. Programming Languages and Systems
, vol.11
, Issue.3
, pp. 345-387
-
-
Horwitz, S.1
Prins, J.2
Reps, T.3
-
16
-
-
0025228221
-
Interprocedural slicing using dependence graphs
-
Jan.
-
S. Horwitz, T. Reps, and D. Binkley, “Interprocedural slicing using dependence graphs,” ACM Trans. Programming Languages and Systems, Vol. 12, No. 1, pp. 35-46, Jan. 1990.
-
(1990)
ACM Trans. Programming Languages and Systems
, vol.12
, Issue.1
, pp. 35-46
-
-
Horwitz, S.1
Reps, T.2
Binkley, D.3
-
17
-
-
0024123935
-
Data flow analysis and its application to software maintenance
-
Oct.
-
J. Keables, K. Robertson, and A. von Mayrhauser, “Data flow analysis and its application to software maintenance,” in Proc. Conf. Software Maintenance—1988, Oct. 1988, pp. 335-347.
-
(1988)
Proc. Conf. Software Maintenance—1988
, pp. 335-347
-
-
Keables, J.1
Robertson, K.2
von Mayrhauser, A.3
-
18
-
-
0005331864
-
A survey of data flow analysis techniques
-
S.S. Muchnick and N.D. Jones, Eds. Englewood Cliffs, NJ: Prentice-Hall
-
K. Kennedy, “A survey of data flow analysis techniques,” in Program Flow Analysis: Theory and Applications, S.S. Muchnick and N.D. Jones, Eds. Englewood Cliffs, NJ: Prentice-Hall, 1981.
-
(1981)
Program Flow Analysis: Theory and Applications
-
-
Kennedy, K.1
-
20
-
-
0024089764
-
Dynamic program slicing
-
Oct.
-
B. Korel and J. Laski, “Dynamic program slicing,” Inform. Process. Lett., Vol. 29, No. 3, pp. 155-163, Oct. 1988.
-
(1988)
Inform. Process. Lett
, vol.29
, Issue.3
, pp. 155-163
-
-
Korel, B.1
Laski, J.2
-
21
-
-
0024142258
-
STAD—a system for testing and debugging: User perspective
-
(Banff, Alberta, Can.),July
-
B. Korel and J. Laski, “STAD—a system for testing and debugging: User perspective,” in Proc. 2nd Workshop on Software Testing, Verification and Analysis (Banff, Alberta, Can.), July 1988, pp. 13-20.
-
(1988)
Proc. 2nd Workshop on Software Testing, Verification and Analysis
, pp. 13-20
-
-
Korel, B.1
Laski, J.2
-
22
-
-
84945719834
-
Data flow testing in STAD
-
to be published.
-
J. Laski, “Data flow testing in STAD” Systems and Software, to be published.
-
Systems and Software
-
-
Laski, J.1
-
23
-
-
0003446358
-
Evaluating variations of program slicing for debugging
-
Ph.D. thesis, Univ. of Maryland, College Park,Dec.
-
J. R. Lyle, “Evaluating variations of program slicing for debugging,” Ph.D. thesis, Univ. of Maryland, College Park, Dec. 1984.
-
(1984)
-
-
Lyle, J.R.1
-
24
-
-
0011088147
-
Experiments in slicing-based debugging aids
-
E. Soloway and S. Iyengar,Eds. Norwood, NJ: Ablex
-
J. R. Lyle and M. D. Weiser, “Experiments in slicing-based debugging aids,” in Empirical Studies of Programmers, E. Soloway and S. Iyengar,Eds. Norwood, NJ: Ablex, 1986.
-
(1986)
Empirical Studies of Programmers
-
-
Lyle, J.R.1
Weiser, M.D.2
-
25
-
-
0023175546
-
Automatic program bug location by program slicing
-
(Peking, China),June
-
J. R. Lyle and M. D. Weiser, “Automatic program bug location by program slicing,” in Proc. 2nd Int. Conf. Computers and Applications (Peking, China), June 1987, pp. 877-882.
-
(1987)
Proc. 2nd Int. Conf. Computers and Applications
, pp. 877-882
-
-
Lyle, J.R.1
Weiser, M.D.2
-
26
-
-
0024663131
-
The relationship between slices and module cohesion
-
May
-
L. Ott and J. Thuss, “The relationship between slices and module cohesion,” in Proc. 11th Int. Conf. Software Eng., May 1989, pp. 198-204.
-
(1989)
Proc. 11th Int. Conf. Software Eng
, pp. 198-204
-
-
Ott, L.1
Thuss, J.2
-
27
-
-
84976707537
-
The program dependence graph in software development environments
-
May
-
K. Ottenstein and L. Ottenstein, “The program dependence graph in software development environments,” ACM SIGPLAN Notices, Vol. 19, No. 5, pp. 177-184, May 1984;
-
(1984)
ACM SIGPLAN Notices
, vol.19
, Issue.5
, pp. 177-184
-
-
Ottenstein, K.1
Ottenstein, L.2
-
29
-
-
77956744985
-
Semantics-based program integration
-
(Nancy, France),Mar.
-
T. Reps and S. Horwitz, “Semantics-based program integration,” in Proc. 2nd European Symp. Programming (ESOP '88) (Nancy, France), Mar. 1988, pp. 133-145.
-
(1988)
Proc. 2nd European Symp. Programming (ESOP '88)
, pp. 133-145
-
-
Reps, T.1
Horwitz, S.2
-
30
-
-
0343570187
-
The semantics of program slicing
-
Univ. Wisconsin-Madison, Tech. Rep. 777,June
-
T. Reps and W. Yang, “The semantics of program slicing,” Univ. Wisconsin-Madison, Tech. Rep. 777, June 1988.
-
(1988)
-
-
Reps, T.1
Yang, W.2
-
31
-
-
0023314934
-
The state of software maintenance
-
Mar.
-
N. Schneidewind, “The state of software maintenance,” IEEE Trans. Software Eng., Vol. SE-13, pp. 303-310, Mar. 1987.
-
(1987)
IEEE Trans. Software Eng
, vol.SE-13
, pp. 303-310
-
-
Schneidewind, N.1
-
32
-
-
0022100234
-
RCS: A system for version control
-
July
-
W. Tichy, “RCS: A system for version control,” Software—Practice and Experience, Vol. 15, No. 7, pp. 637-654, July 1985.
-
(1985)
Software—Practice and Experience
, vol.15
, Issue.7
, pp. 637-654
-
-
Tichy, W.1
-
33
-
-
0348189367
-
Kill that code!
-
Aug.
-
G. Weinberg, “Kill that code!,” Infosystems, pp. 48-49, Aug. 1983.
-
(1983)
Infosystems
, pp. 48-49
-
-
Weinberg, G.1
-
34
-
-
0003805545
-
Program slicing: Formal, psychological and practical investigations of an automatic program abstraction method
-
Ph.D. thesis, Univ. Michigan, Ann Arbor
-
M. Weiser, “Program slicing: Formal, psychological and practical investigations of an automatic program abstraction method,” Ph.D. thesis, Univ. Michigan, Ann Arbor, 1979.
-
(1979)
-
-
Weiser, M.1
-
36
-
-
0020157396
-
Programmers use slicing when debugging
-
July
-
M. Weiser, “Programmers use slicing when debugging,” CACM, Vol. 25, No. 7, pp. 446-452, July 1982.
-
(1982)
CACM
, vol.25
, Issue.7
, pp. 446-452
-
-
Weiser, M.1
-
37
-
-
0021457061
-
Program slicing
-
July
-
M. Weiser, “Program slicing,” IEEE Trans. Software Eng., Vol. SE-10, pp. 352-357, July 1984.
-
(1984)
IEEE Trans. Software Eng
, vol.SE-10
, pp. 352-357
-
-
Weiser, M.1
|