-
4
-
-
0025472647
-
Automated software test data generation
-
B. Korel, Automated software test data generation, IEEE Transactions on Software Engineering 16 (8) (1990) 870-879.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.8
, pp. 870-879
-
-
Korel, B.1
-
5
-
-
0017240825
-
On the automated generation of program test data
-
C.V. Ramamoorthy, S.B.F. Ho, W.T. Chen, On the automated generation of program test data, IEEE Transactions on Software Engineering 2 (4) (1976) 293-300.
-
(1976)
IEEE Transactions on Software Engineering
, vol.2
, Issue.4
, pp. 293-300
-
-
Ramamoorthy, C.V.1
Ho, S.B.F.2
Chen, W.T.3
-
6
-
-
0025404503
-
Automated test case generation for programs specified by relational algebra queries
-
W.T. Tsai, D. Volovik, T.F. Keefe, Automated test case generation for programs specified by relational algebra queries, IEEE Transactions on Software Engineering 16 (3) (1990) 316-324.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.3
, pp. 316-324
-
-
Tsai, W.T.1
Volovik, D.2
Keefe, T.F.3
-
7
-
-
0000568369
-
Translatability and decidability questions for restricted classes of program schemas
-
E.J. Weyuker, Translatability and decidability questions for restricted classes of program schemas, SIAM Journal on Computing 8 (4) (1979) 587-598.
-
(1979)
SIAM Journal on Computing
, vol.8
, Issue.4
, pp. 587-598
-
-
Weyuker, E.J.1
-
9
-
-
0027625420
-
A methodology for controlling the size of a test suite
-
M.J. Harrold, R. Gupta, M.L. Soffa, A methodology for controlling the size of a test suite, ACM Transactions on Software Engineering and Methodology 2 (3) (1993) 270-285.
-
(1993)
ACM Transactions on Software Engineering and Methodology
, vol.2
, Issue.3
, pp. 270-285
-
-
Harrold, M.J.1
Gupta, R.2
Soffa, M.L.3
-
10
-
-
0029191093
-
Effect of test set minimization on fault detection effectiveness
-
Seattle, Washington
-
W.E. Wong, J.R. Horgan, S. London, A.P. Mathur, Effect of test set minimization on fault detection effectiveness, in Proceedings of the 17th International Conference on Software Engineering, Seattle, Washington, 1995, pp. 41-50.
-
(1995)
Proceedings of the 17th International Conference on Software Engineering
, pp. 41-50
-
-
Wong, W.E.1
Horgan, J.R.2
London, S.3
Mathur, A.P.4
-
11
-
-
0030690880
-
Test set size minimization and fault detection effectiveness: A case study in a space application
-
Washington, DC
-
W.E. Wong, J.R. Horgan, A.P. Mathur, A. Pasquini, Test set size minimization and fault detection effectiveness: A case study in a space application, in Proceedings of COMPSAC 97: the 21st Annual International Computer Software and Application Conference, Washington, DC, 1997, pp. 522-528.
-
(1997)
Proceedings of COMPSAC 97: The 21st Annual International Computer Software and Application Conference
, pp. 522-528
-
-
Wong, W.E.1
Horgan, J.R.2
Mathur, A.P.3
Pasquini, A.4
-
12
-
-
0026169682
-
An experimental study on software structural testing: Deterministic verses random input generation
-
P. Thévenod-Fosse, H. Waeselynck, Y. Crouzet, An experimental study on software structural testing: Deterministic verses random input generation, in Proceedings of FTCS'21:21st IEEE International Symposium on Fault Tolerant Computing, 1991, pp. 410-417.
-
(1991)
Proceedings of FTCS'21:21st IEEE International Symposium on Fault Tolerant Computing
, pp. 410-417
-
-
Thévenod-Fosse, P.1
Waeselynck, H.2
Crouzet, Y.3
-
13
-
-
24444452722
-
-
Technical Report LAAS Report no.91.389, Centre National de la Recherche Scientifique - Laboratoire D'Analyse et D'Architecture Des Systemes, December
-
P. Thévenod-Fosse, H. Waeselynck, Y. Crouzet, Software structural testing: An evaluation of the efficiency of deterministic and random test data, Technical Report LAAS Report no.91.389, Centre National de la Recherche Scientifique - Laboratoire D'Analyse et D'Architecture Des Systemes, December 1991.
-
(1991)
Software Structural Testing: An Evaluation of the Efficiency of Deterministic and Random Test Data
-
-
Thévenod-Fosse, P.1
Waeselynck, H.2
Crouzet, Y.3
-
14
-
-
0003415652
-
-
Addison-Wesley Publishing Company, Reading, MA
-
A.V. Aho, J.E. Hopcroft, J.D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley Publishing Company, Reading, MA, 1974.
-
(1974)
The Design and Analysis of Computer Algorithms
-
-
Aho, A.V.1
Hopcroft, J.E.2
Ullman, J.D.3
-
15
-
-
0030291286
-
Dividing strategies for the optimization of a test suite
-
T.Y. Chen, M.F. Lau, Dividing strategies for the optimization of a test suite, Information Processing Letters 60 (3) (1996) 135-141.
-
(1996)
Information Processing Letters
, vol.60
, Issue.3
, pp. 135-141
-
-
Chen, T.Y.1
Lau, M.F.2
-
16
-
-
0016349356
-
Approximation algorithms for combinatorial problems
-
D.S. Johnson, Approximation algorithms for combinatorial problems, Journal of Computer and System Sciences 9 (3) (1974) 256-278.
-
(1974)
Journal of Computer and System Sciences
, vol.9
, Issue.3
, pp. 256-278
-
-
Johnson, D.S.1
-
17
-
-
0041667118
-
Heuristics towards the optimization of the size of a test suite
-
Seville, Spain
-
T.Y. Chen, M.F. Lau, Heuristics towards the optimization of the size of a test suite, in Proceedings of the Third International Conference on Software Quality Management, Vol. 2, Seville, Spain, 1995, pp. 415-424.
-
(1995)
Proceedings of the Third International Conference on Software Quality Management
, vol.2
, pp. 415-424
-
-
Chen, T.Y.1
Lau, M.F.2
-
19
-
-
0004285470
-
-
2nd ed., Cambridge University Press, Cambridge, UK
-
E.S. Pearson, H.O. Hartley (Eds.), Biometrika Tables For Statisticans, Vol. I, 2nd ed., Cambridge University Press, Cambridge, UK, 1962.
-
(1962)
Biometrika Tables for Statisticans
, vol.1
-
-
Pearson, E.S.1
Hartley, H.O.2
|