-
1
-
-
0020749255
-
A data flow oriented program testing strategy
-
Laski, J. W. and Korel, B. (1983) A data flow oriented program testing strategy. IEEE Trans. Softw. Eng., 9, 347-354.
-
(1983)
IEEE Trans. Softw. Eng.
, vol.9
, pp. 347-354
-
-
Laski, J.W.1
Korel, B.2
-
2
-
-
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 Trans. Softw. Eng., 11, 367-375.
-
(1985)
IEEE Trans. Softw. Eng.
, vol.11
, pp. 367-375
-
-
Rapps, S.1
Weyuker, E.J.2
-
3
-
-
0019018929
-
A domain strategy for computer program testing
-
White, L. J. and Cohen, E. I. (1980) A domain strategy for computer program testing. IEEE Trans. Softw. Eng., 6, 247-257.
-
(1980)
IEEE Trans. Softw. Eng.
, vol.6
, pp. 247-257
-
-
White, L.J.1
Cohen, E.I.2
-
4
-
-
0017240825
-
On the automated generation of program test data
-
Ramamoorthy, C. V. (1976) On the automated generation of program test data. IEEE Trans. Softw. Eng., 2, 293-300.
-
(1976)
IEEE Trans. Softw. Eng.
, vol.2
, pp. 293-300
-
-
Ramamoorthy, C.V.1
-
5
-
-
0025472647
-
Automated software test data generation
-
Korel, B. (1990) Automated software test data generation. IEEE Trans. Soft. Eng., 16, 870-879.
-
(1990)
IEEE Trans. Soft. Eng.
, vol.16
, pp. 870-879
-
-
Korel, B.1
-
6
-
-
0025404503
-
Automated test case generation for programs specified by relational algebra queries
-
Tsai, W. T., Volovik, D. and Keefe, T. F. (1990) Automated test case generation for programs specified by relational algebra queries. IEEE Trans. Softw. Eng., 16, 316-324.
-
(1990)
IEEE Trans. Softw. Eng.
, vol.16
, pp. 316-324
-
-
Tsai, W.T.1
Volovik, D.2
Keefe, T.F.3
-
7
-
-
0026222968
-
Constraint-based automatic test data generation
-
DeMillo, R. A. and Offutt, A. J. (1991) Constraint-based automatic test data generation. IEEE Trans. Softw. Eng., 17, 900-910.
-
(1991)
IEEE Trans. Softw. Eng.
, vol.17
, pp. 900-910
-
-
DeMillo, R.A.1
Offutt, A.J.2
-
8
-
-
0000568369
-
Translatability and decidability questions for restricted classes of program schemas
-
Weyuker, E. J. (1979) Translatability and decidability questions for restricted classes of program schemas. SIAM J. Comput., 8, 587-598.
-
(1979)
SIAM J. Comput.
, vol.8
, pp. 587-598
-
-
Weyuker, E.J.1
-
9
-
-
0027625420
-
A methodology for controlling the size of a test suite
-
Harrold, M. J., Gupta, R. and Soffa, M. L. (1993) A methodology for controlling the size of a test suite. ACM Trans. Softw. Eng. Methodol., 2, 270-285.
-
(1993)
ACM Trans. Softw. Eng. Methodol.
, vol.2
, pp. 270-285
-
-
Harrold, M.J.1
Gupta, R.2
Soffa, M.L.3
-
11
-
-
0024884273
-
Insights into regression testing
-
IEEE Computer Society Press, Los Alamitos, CA
-
Leung, H. K. N. and White, L. (1989) Insights into regression testing. In Proc. Int. Conf. on Software Maintenance, pp. 60-69. IEEE Computer Society Press, Los Alamitos, CA.
-
(1989)
In Proc. Int. Conf. on Software Maintenance
, pp. 60-69
-
-
Leung, H.K.N.1
White, L.2
-
12
-
-
0003415652
-
-
Addison-Wesley, Reading, MA
-
Aho, A. V., Hopcroft, J. E. and Ullman, J. D. (1974) The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, MA.
-
(1974)
The Design and Analysis of Computer Algorithms
-
-
Aho, A.V.1
Hopcroft, J.E.2
Ullman, J.D.3
-
13
-
-
0030291286
-
Dividing strategies for the optimization of a test suite
-
Chen, T. Y. and Lau, M. F. (1996) Dividing strategies for the optimization of a test suite. Inf. Process. Lett., 60, 135-141.
-
(1996)
Inf. Process. Lett.
, vol.60
, pp. 135-141
-
-
Chen, T.Y.1
Lau, M.F.2
-
15
-
-
0004190197
-
-
Addison-Wesley, Reading, MA
-
Aho, A. V., Hopcroft, J. E. and Ullman, J. D. (1983) Data Structure and Algorithms. Addison-Wesley, Reading, MA.
-
(1983)
Data Structure and Algorithms
-
-
Aho, A.V.1
Hopcroft, J.E.2
Ullman, J.D.3
-
16
-
-
0348142915
-
On the structural properties of the set of representative sets
-
submitted
-
Chen, T. Y. and Lau, M. F. (1997) On the structural properties of the set of representative sets. IEEE Trans. Syst. Man Cybernet., submitted.
-
(1997)
IEEE Trans. Syst. Man Cybernet.
-
-
Chen, T.Y.1
Lau, M.F.2
|