-
4
-
-
0016674309
-
SELECT - A formal system for testing and debugging computer programs by symbolic execution
-
Los Angeles, CA, April
-
Boyer, R.S., Elspas, B., & Levitt, K.N. SELECT - A formal system for testing and debugging computer programs by symbolic execution. Proceedings of the International Conference on Reliable Software, Los Angeles, CA, p. 234-245, April 1975
-
(1975)
Proceedings of the International Conference on Reliable Software
, pp. 234-245
-
-
Boyer, R.S.1
Elspas, B.2
Levitt, K.N.3
-
6
-
-
0016993577
-
A system to generate test data and symbolically execute programs
-
Clarke, L.A. A system to generate test data and symbolically execute programs, IEEE Transactions on Software Engineering, v.2, p. 208-215, 1976
-
(1976)
IEEE Transactions on Software Engineering
, vol.2
, pp. 208-215
-
-
Clarke, L.A.1
-
7
-
-
0020152967
-
A close look at domain testing
-
Clarke, L.A., Hassel, J. & Richardson. D.J. A close look at domain testing, IEEE Transactions on Software Engineering, v.2, p. 380-390, 1982
-
(1982)
IEEE Transactions on Software Engineering
, vol.2
, pp. 380-390
-
-
Clarke, L.A.1
Hassel, J.2
Richardson, D.J.3
-
8
-
-
2342457524
-
-
book in preparation, manuscript draft February 16
-
Collard, R. Developing Software Test Cases, book in preparation, manuscript draft February 16, 2003
-
(2003)
Developing Software Test Cases
-
-
Collard, R.1
-
10
-
-
0004287856
-
-
Benjamin/Cummings
-
DeMillo, R.A., McCracken, W M., Martin, R.J., & Passafuime, J.F. Software Testing & Evaluation, Benjamin/Cummings, 1987
-
(1987)
Software Testing & Evaluation
-
-
DeMillo, R.A.1
McCracken, W.M.2
Martin, R.J.3
Passafuime, J.F.4
-
12
-
-
0024141122
-
Partition testing does not inspire confidence
-
Banff, Canada, July
-
Hamlet, R. & Taylor, R. Partition testing does not inspire confidence, Proceedings of the Second Workshop on Software Testing, Verification & Analysis, Banff, Canada, July 1988, pp. 206-215
-
(1988)
Proceedings of the Second Workshop on Software Testing, Verification & Analysis
, pp. 206-215
-
-
Hamlet, R.1
Taylor, R.2
-
13
-
-
0019242697
-
Functional testing and design abstractions
-
Howden, W.E. Functional testing and design abstractions, Journal of Systems & Software, v.1, p. 307-313, 1980
-
(1980)
Journal of Systems & Software
, vol.1
, pp. 307-313
-
-
Howden, W.E.1
-
17
-
-
1542699704
-
The impossibility of complete testing
-
Kaner, C. The impossibility of complete testing, Software QA, v.4, #4, p. 28, 1997. http://www.kaner.com/pdfs/imposs.pdf
-
(1997)
Software QA
, vol.4
, Issue.4
, pp. 28
-
-
Kaner, C.1
-
20
-
-
0004176496
-
-
Van Nostrand Reinhold, reprinted John Wiley & Sons
-
Kaner, C., Falk, J., Nguyen, H.Q. Testing Computer Software, 2d ed., Van Nostrand Reinhold 1993, reprinted John Wiley & Sons, 1999
-
(1993)
Testing Computer Software, 2d Ed.
-
-
Kaner, C.1
Falk, J.2
Nguyen, H.Q.3
-
23
-
-
0024033855
-
The category-partition method for specifying and generating functional tests
-
Ostrand, T.J. & Balcer, M.J. The category-partition method for specifying and generating functional tests. Communications of the ACM, v.31 #6, p. 676-686, 1988
-
(1988)
Communications of the ACM
, vol.31
, Issue.6
, pp. 676-686
-
-
Ostrand, T.J.1
Balcer, M.J.2
-
24
-
-
2342528293
-
-
M.Sc. thesis in Software Engineering, Florida Institute of Technology, in preparation. To be published
-
Padmanabhan, S. Domain Testing: Divide and Conquer, M.Sc. thesis in Software Engineering, Florida Institute of Technology, in preparation. To be published at http://www.testingeducation.org/articles
-
Domain Testing: Divide and Conquer
-
-
Padmanabhan, S.1
-
25
-
-
0026188143
-
Analyzing partition testing strategies
-
Weyuker, E.J. & Jeng, B. Analyzing Partition Testing Strategies, IEEE Transactions on Software Engineering, v.17, p. 703-711, 1991
-
(1991)
IEEE Transactions on Software Engineering
, vol.17
, pp. 703-711
-
-
Weyuker, E.J.1
Jeng, B.2
-
27
-
-
0040443681
-
A domain strategy for computer program testing
-
B. Chandrasekaran & S. Radicchi (eds), North Holland Publishing, Amsterdam
-
White, L.J., Cohen, E.I., & Zeil, S.J. A domain strategy for computer program testing, in B. Chandrasekaran & S. Radicchi (eds), Computer Program Testing, North Holland Publishing, Amsterdam, p 103-112, 1981
-
(1981)
Computer Program Testing
, pp. 103-112
-
-
White, L.J.1
Cohen, E.I.2
Zeil, S.J.3
|