-
1
-
-
0016674309
-
SELECT - A formal system for testing and debugging programs by symbolic execution
-
Los Angeles, California, U.S.A., April 1975
-
Boyer, R. S., Eispas, B. and Levitt, K. N. (1975) 'SELECT - A formal system for testing and debugging programs by symbolic execution', Proceedings of the International Conference on Reliable Software, Los Angeles, California, U.S.A., April 1975, pp. 234-245.
-
(1975)
Proceedings of the International Conference on Reliable Software
, pp. 234-245
-
-
Boyer, R.S.1
Eispas, B.2
Levitt, K.N.3
-
2
-
-
1642620298
-
A framework for intelligent test data generation
-
Chang, K.-H., Cross, J. H., Carlisle, W. H. and Brown, D. B. (1992) 'A framework for intelligent test data generation', Journal of Intelligent and Robotic Systems - Theory and Applications, 5(2), 147-165.
-
(1992)
Journal of Intelligent and Robotic Systems - Theory and Applications
, vol.5
, Issue.2
, pp. 147-165
-
-
Chang, K.-H.1
Cross, J.H.2
Carlisle, W.H.3
Brown, D.B.4
-
3
-
-
0016993577
-
A system to generate test data and symbolically execute programs
-
Clarke, L. A. (1976) 'A system to generate test data and symbolically execute programs', IEEE Transactions on Software Engineering, 2(3), 215-222.
-
(1976)
IEEE Transactions on Software Engineering
, vol.2
, Issue.3
, pp. 215-222
-
-
Clarke, L.A.1
-
6
-
-
0026222968
-
Constraint-based automatic test data generation
-
DeMillo, R. A. and Offutt, A. J. (1991) 'Constraint-based automatic test data generation', IEEE Transactions on Software Engineering, 17(9), 900-910.
-
(1991)
IEEE Transactions on Software Engineering
, vol.17
, Issue.9
, pp. 900-910
-
-
DeMillo, R.A.1
Offutt, A.J.2
-
7
-
-
0029723725
-
The chaining approach for software test data generation
-
Ferguson, R. and Korel, B. (1996) 'The chaining approach for software test data generation', ACM Transactions on Software Engineering and Methodology, 5(1), 63-86.
-
(1996)
ACM Transactions on Software Engineering and Methodology
, vol.5
, Issue.1
, pp. 63-86
-
-
Ferguson, R.1
Korel, B.2
-
8
-
-
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
-
9
-
-
0003635251
-
-
The MIT Press, Cambridge, MA, U.S.A.
-
Geist, A., Beguelin, A., Dongarra, J., Jiang, W. C., Manchek, R. and Sunderam, V. (1994) PVM: Parallel Virtual Machine - a Users ' Guide and Tutorial for Networked Parallel Computing, The MIT Press, Cambridge, MA, U.S.A.
-
(1994)
PVM: Parallel Virtual Machine - A Users ' Guide and Tutorial for Networked Parallel Computing
-
-
Geist, A.1
Beguelin, A.2
Dongarra, J.3
Jiang, W.C.4
Manchek, R.5
Sunderam, V.6
-
10
-
-
0003604349
-
-
Prentice Hall, Englewood Cliffs, NJ, U.S.A.
-
Ghezzi, C., Jazayeri, M. and Mandrioli, D. (1991) Fundamentals of Software Engineering, Prentice Hall, Englewood Cliffs, NJ, U.S.A.
-
(1991)
Fundamentals of Software Engineering
-
-
Ghezzi, C.1
Jazayeri, M.2
Mandrioli, D.3
-
11
-
-
0003722376
-
-
Addison-Wesley, Reading, MA, U.S.A.
-
Goldberg, D. (1989) Genetic Algorithms in Search, Optimization and Machine Learning, Addison-Wesley, Reading, MA, U.S.A.
-
(1989)
Genetic Algorithms in Search, Optimization and Machine Learning
-
-
Goldberg, D.1
-
12
-
-
0003704757
-
Aristotle: A system for research on, and development of, program-analysis-based tools
-
The Ohio State University, Columbus, OH, U.S.A., March 1997
-
Harrold, M. J. and Rothermel, G. (1997) 'Aristotle: A system for research on, and development of, program-analysis-based tools', Technical Report OSU-CISRC-3/97-TR17, The Ohio State University, Columbus, OH, U.S.A., March 1997.
-
(1997)
Technical Report OSU-CISRC-3/97-TR17
-
-
Harrold, M.J.1
Rothermel, G.2
-
14
-
-
0017518741
-
Symbolic testing and the DISSECT symbolic evaluation system
-
Howden, W. E. (1977) 'Symbolic testing and the DISSECT symbolic evaluation system', IEEE Transactions on Software Engineering, 3(4), 266-278.
-
(1977)
IEEE Transactions on Software Engineering
, vol.3
, Issue.4
, pp. 266-278
-
-
Howden, W.E.1
-
15
-
-
0030234676
-
Automatic structural testing using genetic algorithms
-
Jones, B., Sthamer, H. and Eyres, D. (1996) 'Automatic structural testing using genetic algorithms', Software Engineering Journal, 11(5), 299-306.
-
(1996)
Software Engineering Journal
, vol.11
, Issue.5
, pp. 299-306
-
-
Jones, B.1
Sthamer, H.2
Eyres, D.3
-
16
-
-
0025472647
-
Automated software test data generation
-
Korel, B. (1990) 'Automated software test data generation', IEEE Transactions on Software Engineering, 16(8), 870-879.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.8
, pp. 870-879
-
-
Korel, B.1
-
17
-
-
1642589095
-
Genetic algorithms for dynamic test data generation
-
Reliable Software Technologies, Sterling, VA, U.S.A., May 1997
-
Michael, C. C., McGraw, G. E., Schatz, M. A. and Walton, C. C. (1997) 'Genetic algorithms for dynamic test data generation', Technical Report RSTR-003-97-11, Reliable Software Technologies, Sterling, VA, U.S.A., May 1997.
-
(1997)
Technical Report RSTR-003-97-11
-
-
Michael, C.C.1
McGraw, G.E.2
Schatz, M.A.3
Walton, C.C.4
-
18
-
-
84939741505
-
Cleanroom software engineering
-
Mills, H. D., Dyer, M. and Linger, R. C. (1987) 'Cleanroom software engineering', IEEE Software, 4(5), 19-25.
-
(1987)
IEEE Software
, vol.4
, Issue.5
, pp. 19-25
-
-
Mills, H.D.1
Dyer, M.2
Linger, R.C.3
-
19
-
-
0017240825
-
On the automated generation of program test data
-
Ramamoorthy, C. V., Ho, S. F. and Chen, W. T. (1976) 'On the automated generation of program test data', IEEE Transactions on Software Engineering, 2(4), 293-300.
-
(1976)
IEEE Transactions on Software Engineering
, vol.2
, Issue.4
, pp. 293-300
-
-
Ramamoorthy, C.V.1
Ho, S.F.2
Chen, W.T.3
-
20
-
-
0027833903
-
STATEMATE applied to statistical software testing
-
Cambridge, MA, U.S.A., June 1993, ACM Press, New York, U.S.A.
-
Thévenod-Fosse, P. and Waeselynck, H. (1993) 'STATEMATE applied to statistical software testing', Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA 1993), Cambridge, MA, U.S.A., June 1993, ACM Press, New York, U.S.A., pp. 99-109.
-
(1993)
Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA 1993)
, pp. 99-109
-
-
Thévenod-Fosse, P.1
Waeselynck, H.2
-
21
-
-
84969570914
-
Automated program flaw finding using simulated annealing
-
Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 1998), Clearwater Beach, FL, U.S.A., March 1998
-
Tracey, N., Clark, J. and Mander, K. (1998) 'Automated program flaw finding using simulated annealing', Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 1998), Clearwater Beach, FL, U.S.A., March 1998, ACM Software Engineering Notes, 23(2), 73-81.
-
(1998)
ACM Software Engineering Notes
, vol.23
, Issue.2
, pp. 73-81
-
-
Tracey, N.1
Clark, J.2
Mander, K.3
-
22
-
-
0026119962
-
Predicting where faults can hide from testing
-
Voas, J. M., Morell, L. and Miller, K. W. (1991) 'Predicting where faults can hide from testing', IEEE Software, 8(2), 41-48.
-
(1991)
IEEE Software
, vol.8
, Issue.2
, pp. 41-48
-
-
Voas, J.M.1
Morell, L.2
Miller, K.W.3
|