-
1
-
-
0004072686
-
-
Addison-Wesley, Reading, Massachusetts, U.S.A.
-
Aho, A. V., Sethi, R. and Ullman, J. D. (1986) Compilers: Principles, Techniques, and Tools, Addison-Wesley, Reading, Massachusetts, U.S.A.
-
(1986)
Compilers: Principles, Techniques, and Tools
-
-
Aho, A.V.1
Sethi, R.2
Ullman, J.D.3
-
2
-
-
0027224411
-
Incremental program testing using program dependence graphs
-
January 1993, ACM Press, New York, U.S.A.
-
Bates, S. and Horwitz, S. (1993) 'Incremental program testing using program dependence graphs', Conference Record of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1993, ACM Press, New York, U.S.A., pp. 384-396.
-
(1993)
Conference Record of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 384-396
-
-
Bates, S.1
Horwitz, S.2
-
3
-
-
0022313787
-
A comparison of data flow path selection criteria
-
London, U.K., August 1985, IEEE Computer Society Press, Los Alamitos, California, U.S.A.
-
Clarke, L. A., Podgurski, A., Richardson, D. and Zeil, S. (1985) 'A comparison of data flow path selection criteria', Proceedings of the 8th International Conference on Sofware Engineering, London, U.K., August 1985, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 244-251.
-
(1985)
Proceedings of the 8th International Conference on Sofware Engineering
, pp. 244-251
-
-
Clarke, L.A.1
Podgurski, A.2
Richardson, D.3
Zeil, S.4
-
4
-
-
0029180096
-
Interprocedural data flow analysis on demand
-
January 1995, ACM Press, New York, U.S.A.
-
Duesterwald, E., Gupta, R. and Soffa, M. L. (1995) 'Interprocedural data flow analysis on demand', Proceedings of the 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1995, ACM Press, New York, U.S.A., pp. 37-48.
-
(1995)
Proceedings of the 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 37-48
-
-
Duesterwald, E.1
Gupta, R.2
Soffa, M.L.3
-
5
-
-
0023385308
-
The program dependence graph and its use in optimization
-
Ferrante, J., Ottenstein, K. J. and Warren, J. D. (1987) The program dependence graph and its use in optimization', ACM Transactions on Programming Languages and Systems, 9(3), 319-349.
-
(1987)
ACM Transactions on Programming Languages and Systems
, vol.9
, Issue.3
, pp. 319-349
-
-
Ferrante, J.1
Ottenstein, K.J.2
Warren, J.D.3
-
6
-
-
0024091830
-
An applicable family of data flow testing criteria
-
Frankl, P. G. and Weyuker, E. J. (1988) 'An applicable family of data flow testing criteria', IEEE Transactions on Software Engineering, 14(10), 1483-1498.
-
(1988)
IEEE Transactions on Software Engineering
, vol.14
, Issue.10
, pp. 1483-1498
-
-
Frankl, P.G.1
Weyuker, E.J.2
-
7
-
-
0027565744
-
Employing static information in the generation of test cases
-
Gupta, R. and Soffa, M. L. (1993) 'Employing static information in the generation of test cases', Software Testing, Verification and Reliability, 3(1), 29-48.
-
(1993)
Software Testing, Verification and Reliability
, vol.3
, Issue.1
, pp. 29-48
-
-
Gupta, R.1
Soffa, M.L.2
-
10
-
-
8344289454
-
-
Technical Report 89-1, Ph.D. thesis, Department of Computer Science, University of Pittsburgh, U.S.A., January 1989
-
Harrold M. J. (1989) 'An approach to incremental testing'. Technical Report 89-1, Ph.D. thesis, Department of Computer Science, University of Pittsburgh, U.S.A., January 1989.
-
(1989)
An Approach to Incremental Testing
-
-
Harrold, M.J.1
-
11
-
-
0025228221
-
Interprocedural slicing using dependence graphs
-
Horwitz, S., Reps, T. and Binkley, D. (1990) 'Interprocedural slicing using dependence graphs', ACM Transactions on Programming Languages and Systems, 12(1), 26-60.
-
(1990)
ACM Transactions on Programming Languages and Systems
, vol.12
, Issue.1
, pp. 26-60
-
-
Horwitz, S.1
Reps, T.2
Binkley, D.3
-
12
-
-
8344256077
-
A tool for data flow oriented program testing
-
December 1985, ACM Press, New York, U.S.A.
-
Korel, B. and Laski, J. (1985) 'A tool for data flow oriented program testing', ACM Softfair Proceedings, December 1985, ACM Press, New York, U.S.A., pp. 35-37.
-
(1985)
ACM Softfair Proceedings
, pp. 35-37
-
-
Korel, B.1
Laski, J.2
-
13
-
-
0021156881
-
An evaluation of required element testing strategies
-
Orlando, Florida, U.S.A., March 1984, IEEE Computer Society Press, Los Alamitos, California, U.S.A.
-
Ntafos, S. C. (1984) 'An evaluation of required element testing strategies', Proceedings of the 7th International Conference on Software Engineering, Orlando, Florida, U.S.A., March 1984, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 250-256.
-
(1984)
Proceedings of the 7th International Conference on Software Engineering
, pp. 250-256
-
-
Ntafos, S.C.1
-
15
-
-
0025491545
-
A formal model of program dependences and its implications for software testing, debugging, and maintenance
-
Podgurski, A. and Clarke, L. (1990) 'A formal model of program dependences and its implications for software testing, debugging, and maintenance', IEEE Transactions on Software Engineering, 16(9), 965-979.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.9
, pp. 965-979
-
-
Podgurski, A.1
Clarke, L.2
-
16
-
-
0022043004
-
Selecting software test data using data flow information
-
Rapps, S. and Weyuker, E. J. (1985) 'Selecting software test data using data flow information', IEEE Transactions on Software Engineering, 11(4), 367-375.
-
(1985)
IEEE Transactions on Software Engineering
, vol.11
, Issue.4
, pp. 367-375
-
-
Rapps, S.1
Weyuker, E.J.2
-
17
-
-
0027847471
-
A safe, efficient algorithm for regression test selection
-
September 1993
-
Rothermel, G. and Harrold, M. J. (1993) 'A safe, efficient algorithm for regression test selection', Proceedings of the International Conference on Software Maintenance, September 1993, pp. 358-367.
-
(1993)
Proceedings of the International Conference on Software Maintenance
, pp. 358-367
-
-
Rothermel, G.1
Harrold, M.J.2
-
18
-
-
85029712836
-
Selecting tests and identifying test coverage requirements for modified software
-
Seattle, Washington, U.S.A., August 1994, ACM Press, New York, U.S.A.
-
Rothermel, G. and Harrold, M. J. (1994) 'Selecting tests and identifying test coverage requirements for modified software', Proceedings of the International Symposium on Sofovare Testing and Analysis (ISSTA), Seattle, Washington, U.S.A., August 1994, ACM Press, New York, U.S.A., pp. 169-184.
-
(1994)
Proceedings of the International Symposium on Sofovare Testing and Analysis (ISSTA)
, pp. 169-184
-
-
Rothermel, G.1
Harrold, M.J.2
-
19
-
-
0024923520
-
An approach to software fault localization and revalidation based on incremental data flow analysis
-
September 1989
-
Taha, A. M., Thebut, S. M. and Liu, S. S. (1989) 'An approach to software fault localization and revalidation based on incremental data flow analysis', Proceedings of COMPSAC 89, September 1989, pp. 527-534.
-
(1989)
Proceedings of COMPSAC 89
, pp. 527-534
-
-
Taha, A.M.1
Thebut, S.M.2
Liu, S.S.3
|