-
1
-
-
0024769237
-
A formal evaluation of data flow path selection
-
L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil. A Formal Evaluation of Data Flow Path Selection. IEEE Trans. on Software Engineering. 15(11), 1989, 1318-1332.
-
(1989)
IEEE Trans. on Software Engineering
, vol.15
, Issue.11
, pp. 1318-1332
-
-
Clarke, L.A.1
Podgurski, A.2
Richardson, D.J.3
Zeil, S.J.4
-
2
-
-
0024091830
-
An applicable family of data flow testing criteria
-
Oct
-
P. G. Frankl and E. J. Weyuker. An Applicable Family of Data Flow Testing Criteria. IEEE Trans. Software Engineering, SE-14, 10, Oct 1988, 1483-1498.
-
(1988)
IEEE Trans. Software Engineering
, vol.SE-14
, Issue.10
, pp. 1483-1498
-
-
Frankl, P.G.1
Weyuker, E.J.2
-
3
-
-
0028400205
-
Efficient computation of interprocedural definition-use chains
-
March
-
M. J. Harrold. and M. L. Soffa. Efficient Computation of Interprocedural Definition-Use Chains. ACM Trans. on Programming Languages and Systems, 16(2), March 1994, 175-204.
-
(1994)
ACM Trans. on Programming Languages and Systems
, vol.16
, Issue.2
, pp. 175-204
-
-
Harrold, M.J.1
Soffa, M.L.2
-
4
-
-
0000418901
-
Global data flow analysis and iterative algorithms
-
J. Kam and J. Ullman. Global data flow analysis and iterative algorithms. Journal ACM 7(3), 1976, 305-318.
-
(1976)
Journal ACM
, vol.7
, Issue.3
, pp. 305-318
-
-
Kam, J.1
Ullman, J.2
-
5
-
-
0020749255
-
A data flow oriented program testing strategy
-
J. W. Laski and B. Korel. A Data Flow Oriented Program Testing Strategy. IEEE Trans. on Software Engineering. 9(3), 1983, 347-354.
-
(1983)
IEEE Trans. on Software Engineering
, vol.9
, Issue.3
, pp. 347-354
-
-
Laski, J.W.1
Korel, B.2
-
7
-
-
0022043004
-
Selecting software test data using data flow information
-
S. Rapps and E.J.Weyuker. Selecting Software Test Data Using Data Flow Information. IEEE Trans. on Software Engineering. 11(4), 1985, 367-375.
-
(1985)
IEEE Trans. on Software Engineering
, vol.11
, Issue.4
, pp. 367-375
-
-
Rapps, S.1
Weyuker, E.J.2
-
8
-
-
0003645257
-
Data-flow-based testing of object-oriented libraries
-
Rutgers University, Apr.
-
R. Chatterjee and B. G. Ryder. Data-flow-based Testing of Object-oriented Libraries, Technical Report DCS-TR-433, Rutgers University, Apr. 2001.
-
(2001)
Technical Report
, vol.DCS-TR-433
-
-
Chatterjee, R.1
Ryder, B.G.2
-
10
-
-
21444447089
-
A comprehensive program representation of object-oriented software
-
J. D. McGregor, B. Malloy, and R.L. Siegmund. A Comprehensive Program Representation of Object-oriented Software. Annals of Software Engineering, vol.2, 1996, 51-91.
-
(1996)
Annals of Software Engineering
, vol.2
, pp. 51-91
-
-
McGregor, J.D.1
Malloy, B.2
Siegmund, R.L.3
-
13
-
-
11144224628
-
Efficient computation of inter-class def-use associations
-
University at Albany, February
-
J. Liu and M. Chen, Efficient Computation of Inter-Class Def-Use Associations. Tech. Report SUNYA-04-01, University at Albany, February, 2004.
-
(2004)
Tech. Report
, vol.SUNYA-04-01
-
-
Liu, J.1
Chen, M.2
-
15
-
-
0027644148
-
An experimental comparison of the effectiveness of branch testing and data flow testing
-
Aug.
-
P. G. Frankl and S. N. Weiss. An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing'. IEEE Trans. on Software Engineering. 19(8), Aug. 1993, 774-787.
-
(1993)
IEEE Trans. on Software Engineering
, vol.19
, Issue.8
, pp. 774-787
-
-
Frankl, P.G.1
Weiss, S.N.2
|