-
1
-
-
0016928266
-
A program data flow analysis procedure
-
F.E. Allen, J. Cocke, A program data flow analysis procedure, Communication of the ACM, 19 (3), 137-147, 1976.
-
(1976)
Communication of the ACM
, vol.19
, Issue.3
, pp. 137-147
-
-
Allen, F.E.1
Cocke, J.2
-
3
-
-
0029723725
-
The chaining approach for software test data generation
-
R. Ferguson and B. Korel, The chaining approach for software test data generation, ACM TOSEM, vol. 5, pp. 63-86, 1996.
-
(1996)
ACM TOSEM
, vol.5
, pp. 63-86
-
-
Ferguson, R.1
Korel, B.2
-
4
-
-
0022288423
-
An integrated system for program testing using weak mutation and data flow analysis
-
IEEE Computer Society, pp
-
M.R. Girgis, M.R. Woodward, An integrated system for program testing using weak mutation and data flow analysis, Proceedings of Eighth International Conference on Software Engineering, IEEE Computer Society, pp. 313-319, 1985.
-
(1985)
Proceedings of Eighth International Conference on Software Engineering
, pp. 313-319
-
-
Girgis, M.R.1
Woodward, M.R.2
-
5
-
-
23844461111
-
Automatic test data generation for data flow testing using a genetic algorithm
-
M. R. Girgis, Automatic test data generation for data flow testing using a genetic algorithm, Journal of Universal computer Science, vol. 11, no. 5, pp. 898-915, 2005.
-
(2005)
Journal of Universal computer Science
, vol.11
, Issue.5
, pp. 898-915
-
-
Girgis, M.R.1
-
7
-
-
0017518741
-
Symbolic testing and the DISSECT symbolic evaluation system
-
W. E. Howden, Symbolic testing and the DISSECT symbolic evaluation system, IEEE Transactions on Software Engineering, vol. 3, no. 4, 266-278, 1977.
-
(1977)
IEEE Transactions on Software Engineering
, vol.3
, Issue.4
, pp. 266-278
-
-
Howden, W.E.1
-
8
-
-
0030234676
-
-
B. R Jones, H. H. Sthamer, D. E. Eyres, Automatic structural testing using genetic algorithms, Software Engineering Research Journal, pp. 299-306, 1996.
-
(1996)
Automatic structural testing using genetic algorithms, Software Engineering Research Journal
, pp. 299-306
-
-
Jones, B.R.1
Sthamer, H.H.2
Eyres, D.E.3
-
9
-
-
0025472647
-
Automated software test data generation
-
B. Korel, Automated software test data generation, IEEE Trans. on Software Engineering, vol. 16, pp. 870-879, 1990.
-
(1990)
IEEE Trans. on Software Engineering
, vol.16
, pp. 870-879
-
-
Korel, B.1
-
11
-
-
0023842739
-
Test-case generation with IOGen
-
T. E. Lindquist, and J. R. Jenkins, Test-case generation with IOGen, IEEE Software, vol. 5, no. 1, pp. 72-79, 1988.
-
(1988)
IEEE Software
, vol.5
, Issue.1
, pp. 72-79
-
-
Lindquist, T.E.1
Jenkins, J.R.2
-
12
-
-
0035678269
-
Generating software test data by evolution
-
C. C. Michael, G. E. McGraw, M. A. Schatz, Generating software test data by evolution, IEEE Transactions on Software Engineering, vol.27, no.12, pp. 1085-1110, 2001.
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.12
, pp. 1085-1110
-
-
Michael, C.C.1
McGraw, G.E.2
Schatz, M.A.3
-
14
-
-
84939741505
-
Cleanroom software engineering
-
H. D. Mills, M. D. Dyer, and R. C. Linger, Cleanroom software engineering, IEEE Software, vol. 4, pp. 19-25, 1987.
-
(1987)
IEEE Software
, vol.4
, pp. 19-25
-
-
Mills, H.D.1
Dyer, M.D.2
Linger, R.C.3
-
15
-
-
0033343346
-
-
R. P. Pargas, M. J. Harrold, and R. R. Peck, Test data generation using genetic algorithms, Journal of Software Testing, Verifications, and Reliability, vol. 9, pp. 263-282, 1999.
-
(1999)
Test data generation using genetic algorithms, Journal of Software Testing, Verifications, and Reliability
, vol.9
, pp. 263-282
-
-
Pargas, R.P.1
Harrold, M.J.2
Peck, R.R.3
-
16
-
-
0022043004
-
Selecting software test data using data flow information
-
S. Rapps, E.J. Weyuker, Selecting software test data using data flow information, IEEE Transactions on Software Engineering, vol.11, no. 4, pp. 367-375, 1985.
-
(1985)
IEEE Transactions on Software Engineering
, vol.11
, Issue.4
, pp. 367-375
-
-
Rapps, S.1
Weyuker, E.J.2
-
17
-
-
0026119962
-
-
J. M. Voas, L. Morell, and K. W. Miller, Predicting where faults can hide from testing, IEEE, 8, pp. 41-48, 1991.
-
J. M. Voas, L. Morell, and K. W. Miller, Predicting where faults can hide from testing, IEEE, vol. 8, pp. 41-48, 1991.
-
-
-
-
18
-
-
0035892582
-
Evolutionary test environment for automatic structural testing
-
J. Wegener, A. Baresel, H. Sthamer, Evolutionary test environment for automatic structural testing. Journal of Information and Software Technology, vol. 43, pp. 841-854, 2001.
-
(2001)
Journal of Information and Software Technology
, vol.43
, pp. 841-854
-
-
Wegener, J.1
Baresel, A.2
Sthamer, H.3
|