-
1
-
-
84976850518
-
Information-flow and data-flow analysis of while-programs
-
(Jan.)
-
BERGERETTI, J. F. AND CARRE, B. A. 1985. Information-flow and data-flow analysis of while-programs. ACM Trans. Program. Lang. Syst. 7, 1 (Jan.).
-
(1985)
ACM Trans. Program. Lang. Syst.
, vol.7
, Issue.1
-
-
BERGERETTI, J.F.1
CARRE, B.A.2
-
3
-
-
0027311335
-
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side-effects
-
ACM, New York
-
CHOI, J., BURKE, M., AND CARINI, P. 1993. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side-effects. In Proceedings of the 20th ACM Symposium on Principles of Programming Languages. ACM, New York, 232-245.
-
(1993)
Proceedings of the 20th ACM Symposium on Principles of Programming Languages
, pp. 232-245
-
-
CHOI, J.1
BURKE, M.2
CARINI, P.3
-
4
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
-
ACM, New York
-
COUSOT, P. AND COUSOT, R. 1977. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages. ACM, New York, 238-252.
-
(1977)
Proceedings of the 4th ACM Symposium on Principles of Programming Languages
, pp. 238-252
-
-
COUSOT, P.1
COUSOT, R.2
-
7
-
-
85011293817
-
LCLint-a tool for using specifications to check code
-
(New Orleans, La., Dec.). ACM, New York.
-
EVANS, D., GUTTAG, J., HORNING, J., AND TAN, Y. M. 1994. LCLint-a tool for using specifications to check code. In Proceedings of the ACM SIGSOFT Conference on Foundations of Software Engineering (New Orleans, La., Dec.). ACM, New York.
-
(1994)
Proceedings of the ACM SIGSOFT Conference on Foundations of Software Engineering
-
-
EVANS, D.1
GUTTAG, J.2
HORNING, J.3
TAN, Y.M.4
-
8
-
-
0016996537
-
Dataflow analysis in software reliability
-
(Sept.)
-
FOSDICK, L. D. AND OSTEKWEIL, L. J. 1976. Dataflow analysis in software reliability. ACM Comput. Surv. 8, 3 (Sept.).
-
(1976)
ACM Comput. Surv.
, vol.8
, Issue.3
-
-
FOSDICK, L.D.1
OSTEKWEIL, L.J.2
-
10
-
-
84976861590
-
An overview of LP, the Larch Prover
-
Lecture Notes in Computer Science. Springer-Verlag, New York
-
GARLAND, S. J AND GUTTAG, J V. 1989. An overview of LP, the Larch Prover. In Proceedings of the 3rd International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science, vol. 355. Springer-Verlag, New York
-
(1989)
Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
, vol.355
-
-
GARLAND, S.J.1
GUTTAG, J.V.2
-
14
-
-
0025261561
-
Comments analysis and programming errors
-
(Jan.)
-
HOWDEN, W. E. 1990. Comments analysis and programming errors. IEEE Trans. Softw. Eng. 16, 1 (Jan.).
-
(1990)
IEEE Trans. Softw. Eng.
, vol.16
, Issue.1
-
-
HOWDEN, W.E.1
-
15
-
-
0025228221
-
Interprocedural slicing using dependence graphs
-
(Jan.)
-
HORWITZ, S., REPS, T., AND BINKLEY, D. 1990. Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12, 1 (Jan.), 26-60.
-
(1990)
ACM Trans. Program. Lang. Syst.
, vol.12
, Issue.1
, pp. 26-60
-
-
HORWITZ, S.1
REPS, T.2
BINKLEY, D.3
-
16
-
-
0024701519
-
Dependency analysis for pointer variables
-
ACM, New York.
-
HORWITZ, S., PFEIFFER, P., AND REPS, T. 1989. Dependency analysis for pointer variables. In the ACM Symposium on Principles of Programming Language Design and Implementation. ACM, New York.
-
(1989)
ACM Symposium on Principles of Programming Language Design and Implementation
-
-
HORWITZ, S.1
PFEIFFER, P.2
REPS, T.3
-
17
-
-
0028449063
-
QDA-a method for systematic informal program analysis
-
(June)
-
HOWDEN, W. E. AND WIEAND, B. 1994. QDA-a method for systematic informal program analysis. IEEE Trans. Softw. Eng. 20, 6 (June).
-
(1994)
IEEE Trans. Softw. Eng.
, vol.20
, Issue.6
-
-
HOWDEN, W.E.1
WIEAND, B.2
-
18
-
-
84976717784
-
Aspects
-
A formal specification language for detecting bugs. Tech. Rep. MIT/LCS/TR-543, MIT Laboratory for Computer Science, Cambridge, Mass. June
-
JACKSON, D. 1992. Aspects. A formal specification language for detecting bugs. Tech. Rep. MIT/LCS/TR-543, MIT Laboratory for Computer Science, Cambridge, Mass. June.
-
(1992)
-
-
JACKSON, D.1
-
19
-
-
84982827591
-
A new model of program dependences for reverse engineering
-
(New Orleans, La., Dec.). ACM, New York.
-
JACKSON, D. AND ROLLINS, E. J. 1994. A new model of program dependences for reverse engineering. In Proceedings of the 2nd ACM SIGSOFT Conference on Foundations of Software Engineering (New Orleans, La., Dec.). ACM, New York.
-
(1994)
Proceedings of the 2nd ACM SIGSOFT Conference on Foundations of Software Engineering
-
-
JACKSON, D.1
ROLLINS, E.J.2
-
22
-
-
0003630846
-
-
Springer-Verlag, Berlin.
-
LISKOV, B., ATKINSON, R., BLOOM, T., MOSS, E., SCHAFFERT, C., SCHEIFLER, B., AND SNYDER, A. 1981. CLU Reference Manual. Springer-Verlag, Berlin.
-
(1981)
CLU Reference Manual
-
-
LISKOV, B.1
ATKINSON, R.2
BLOOM, T.3
MOSS, E.4
SCHAFFERT, C.5
SCHEIFLER, B.6
SNYDER, A.7
-
23
-
-
0025493250
-
Approximate reasoning about the semantics effects of program changes
-
(Sept.)
-
MORICONI, M. 1990. Approximate reasoning about the semantics effects of program changes. IEEE Trans. Softw. Eng. 16, 9 (Sept.).
-
(1990)
IEEE Trans. Softw. Eng.
, vol.16
, Issue.9
-
-
MORICONI, M.1
-
24
-
-
0017007140
-
DAVE-a validation, error detection and documentation system for Fortran programs
-
OSTERWEIL, L. J. AND FOSDICK, L. D. 1976. DAVE-a validation, error detection and documentation system for Fortran programs. Softw. Pract. Exper. 6, 4, 473-486.
-
(1976)
Softw. Pract. Exper.
, vol.6
, Issue.4
, pp. 473-486
-
-
OSTERWEIL, L.J.1
FOSDICK, L.D.2
-
26
-
-
84976834591
-
Interprocedural static analysis of sequencing constraints
-
(Jan.)
-
OLENDER, K. M. AND OSTERWEIL, L. J. 1992. Interprocedural static analysis of sequencing constraints. ACM Trans. Softw. Eng. Method. 1, 1 (Jan.).
-
(1992)
ACM Trans. Softw. Eng. Method.
, vol.1
, Issue.1
-
-
OLENDER, K.M.1
OSTERWEIL, L.J.2
-
27
-
-
0025491545
-
A formal model of program dependencies and its implications for software testing, debugging and maintenance
-
(Sept.)
-
PODGURSKI, A. AND CLARKE, L. 1990. A formal model of program dependencies and its implications for software testing, debugging and maintenance. IEEE Trans. Softw. Eng. 16, 9 (Sept.).
-
(1990)
IEEE Trans. Softw. Eng.
, vol.16
, Issue.9
-
-
PODGURSKI, A.1
CLARKE, L.2
-
29
-
-
0024933541
-
The logic of propagation in the Inscape environment
-
b, (Dec.)
-
PERRY, D. E. 1989b. The logic of propagation in the Inscape environment. In Proceedings of the 3rd ACM Symposium on Software Testing, Analysis and Verification (TAV3) (Key West, Fla., Dec). ACM Softw. Eng. Not. 14, 8 (Dec.), 114-121.
-
(1989)
Proceedings of the 3rd ACM Symposium on Software Testing, Analysis and Verification (TAV3) (Key West, Fla., Dec). ACM Softw. Eng. Not.
, vol.14
, Issue.8
, pp. 114-121
-
-
PERRY, D.E.1
-
30
-
-
0028436630
-
Interprocedural def-use associations for C systems
-
(May)
-
PANDE, H., LANDI, W., AND RYDER, B. 1994. Interprocedural def-use associations for C systems. IEEE Trans. Softw. Eng. 20, 5 (May), 385-403.
-
(1994)
IEEE Trans. Softw. Eng.
, vol.20
, Issue.5
, pp. 385-403
-
-
PANDE, H.1
LANDI, W.2
RYDER, B.3
-
31
-
-
0022043004
-
Selecting software test data using data flow information
-
(Apr.)
-
RAPPS, S. AND WEYUKER, E. J. 1985. Selecting software test data using data flow information. IEEE Trans. Softw. Eng. SE-11, 4 (Apr.), 367-375.
-
(1985)
IEEE Trans. Softw. Eng. SE-11
, vol.4
, pp. 367-375
-
-
RAPPS, S.1
WEYUKER, E.J.2
-
32
-
-
0347927104
-
A checkable interface language for pointer-based structures
-
(Aug.)
-
RUSSELL, J. R., STROM, R. E., AND YELLIN, D. M. 1994 A checkable interface language for pointer-based structures. In Proceedings of the Workshop on Interface Definition Languages ACM SIGPLAN Not. 29, 8 (Aug.).
-
(1994)
Proceedings of the Workshop on Interface Definition Languages ACM SIGPLAN Not
, vol.29
, Issue.8
-
-
RUSSELL, J.R.1
STROM, R.E.2
YELLIN, D.M.3
-
33
-
-
77950883012
-
The semantics of program slicing and program integration
-
(Barcelona, Spain, Mar). Lecture Notes in Computer Science, Springer-Verlag, New York
-
REPS, T. AND YANG, W. 1989. The semantics of program slicing and program integration. In Proceedings of the Colloquium on Current Issues in Programming Languages (Barcelona, Spain, Mar). Lecture Notes in Computer Science, vol. 352. Springer-Verlag, New York, 360-374.
-
(1989)
Proceedings of the Colloquium on Current Issues in Programming Languages
, vol.352
, pp. 360-374
-
-
REPS, T.1
YANG, W.2
-
36
-
-
0004096330
-
-
Tech. Rep. CS-R9438, Centrum voor Wiskunde en Informatica (CWI), Amsterdam
-
TIP, F 1994. A survey of program slicing techniques. Tech. Rep. CS-R9438, Centrum voor Wiskunde en Informatica (CWI), Amsterdam.
-
(1994)
A survey of program slicing techniques
-
-
TIP, F.1
-
38
-
-
0025388338
-
The cost of data flow testing: An empirical study
-
(Feb.)
-
WEYUKER, E. J. 1990. The cost of data flow testing: An empirical study. IEEE Trans. Softw. Eng. 16, 2 (Feb.).
-
(1990)
IEEE Trans. Softw. Eng.
, vol.16
, Issue.2
-
-
WEYUKER, E.J.1
|