-
1
-
-
0024122062
-
Post-maintenance testing based on path change analysis
-
Phoenix, Arizona, Oct 24-27
-
P.Benedusi, A.Cimitile, U.De Carlini, " Post-Maintenance Testing Based on Path Change Analysis," Proc.1988 IEEE Conference on Softw. Maintenance, Phoenix, Arizona, Oct 24-27, 352-361.
-
Proc.1988 IEEE Conference on Softw. Maintenance
, pp. 352-361
-
-
Benedusi, P.1
Cimitile, A.2
De Carlini, U.3
-
2
-
-
0023385308
-
The program dependence graph and its use in optimization
-
July
-
J.Ferrante, KJ.Ottenstein, J.D.Warrem, "The Program Dependence Graph and Its use in Optimization," ACM Transactions on Programming Languages and Systems, Vol. 9, No.3, July 1987, p.319-349.
-
(1987)
ACM Transactions on Programming Languages and Systems
, vol.9
, Issue.3
, pp. 319-349
-
-
Ferrante, J.1
Ottenstein, K.J.2
Warrem, J.D.3
-
3
-
-
0026203186
-
Using program slicing in software maintenance
-
Aug
-
K.B. Gallagher, J.R. Lyle, "Using Program Slicing in Software Maintenance", IEEE Trans. Sofrw. Engineering, Vol. 17, No. 8, Aug 1991, p. 751-761.
-
(1991)
IEEE Trans. Sofrw. Engineering
, vol.17
, Issue.8
, pp. 751-761
-
-
Gallagher, K.B.1
Lyle, J.R.2
-
5
-
-
0024700474
-
Integrating noninterfering versions of programs
-
July
-
S. Horwitz, J. Prins, T. Reps, "Integrating Noninterfering Versions of Programs", ACM Trans, on Programming Languages and Systems, v.ll, No. 3, July 1989, p.345-387.
-
(1989)
ACM Trans, on Programming Languages and Systems
, vol.11
, Issue.3
, pp. 345-387
-
-
Horwitz, S.1
Prins, J.2
Reps, T.3
-
6
-
-
0025510535
-
Dynamic slicing of computer programs
-
B. Korel, J. Laski, "Dynamic Slicing of Computer Programs", Journal of Systems Software, 1990, Vol.13, p. 187-195.
-
(1990)
Journal of Systems Software
, vol.13
, pp. 187-195
-
-
Korel, B.1
Laski, J.2
-
7
-
-
85066914979
-
-
Technical Report CSE-92-03-1, Dept.Computer Science and Engineering, Oakland University, Rochester, Mi 48063, March
-
J.Laslri, P.Luczycki, "System for Testing And Debugging STAD 1.0: User Perspective," Technical Report CSE-92-03-1, Dept.Computer Science and Engineering, Oakland University, Rochester, Mi 48063, March 1992.
-
(1992)
System for Testing and Debugging STAD 1.0: User Perspective
-
-
Laslri, J.1
Luczycki, P.2
-
9
-
-
85066902352
-
Path expressions in data row testing
-
Oct.29-Nov 2
-
J.Laski, "Path Expressions in Data Row Testing," Proc. COMPSAC'90, Chicago, 111., Oct.29-Nov 2, 1990, p.570-676.
-
(1990)
Proc. COMPSAC'90, Chicago
, vol.111
, pp. 570-676
-
-
Laski, J.1
-
12
-
-
0025493250
-
Approximate reasoning about the semantic effects of program changes
-
Sep
-
M.Moriconi, T.C.Winkler, "Approximate Reasoning About the Semantic Effects of Program Changes," IEEE Trans. Sofrw. Engineering, Vol. 16, No.9, Sep 1990, p.980-992.
-
(1990)
IEEE Trans. Sofrw. Engineering
, vol.16
, Issue.9
, pp. 980-992
-
-
Moriconi, M.1
Winkler, T.C.2
-
13
-
-
0021517864
-
On required element testing
-
Nov
-
S.C. Ntafos, "On Required Element Testing", IEEE Trans. Softw. Engineering, SE-10, No.6, Nov 1984, p.795-803.
-
(1984)
IEEE Trans. Softw. Engineering
, vol.SE-10
, Issue.6
, pp. 795-803
-
-
Ntafos, S.C.1
-
14
-
-
85066897009
-
A formal model of program dependencies and its implications for software testing
-
Sep
-
A. Podgurski, L.A. Clarke, "A Formal Model of Program Dependencies and Its Implications for Software Testing, Debugging, and Maintenance", Vol.16 , No. 9, Sep 1990.
-
(1990)
Debugging, and Maintenance
, vol.16
, Issue.9
-
-
Podgurski, A.1
Clarke, L.A.2
-
15
-
-
0021457061
-
Program slicing
-
July
-
M.Weiser, "Program Slicing," IEEE Trans. Softw. Engineering, Vol.SE-10, No.4, July 1984, p.352-357.
-
(1984)
IEEE Trans. Softw. Engineering
, vol.SE-10
, Issue.4
, pp. 352-357
-
-
Weiser, M.1
-
16
-
-
84976748147
-
Incremental data flow analysis in a structured program editor
-
June
-
F.K. Zadeck, "Incremental Data Flow Analysis in a Structured Program Editor", Proc. ACM SIGPLAN'84 Symposium on Compiler Construction, SIGPLAN Notices Vol. 19, No. 6, June 1984, p.132-143.
-
(1984)
Proc. ACM SIGPLAN'84 Symposium on Compiler Construction, SIGPLAN Notices
, vol.19
, Issue.6
, pp. 132-143
-
-
Zadeck, F.K.1
|