-
1
-
-
11344289252
-
Functional and test specifications for the Mistix file system
-
Department of Information and Software Systems Engineering, George Mason University, Fairfax, VA, U.S.A.
-
Ammann, P. and Offutt, A. J. (1993) 'Functional and test specifications for the Mistix file system', Technical report ISSE-TR-93-100, Department of Information and Software Systems Engineering, George Mason University, Fairfax, VA, U.S.A.
-
(1993)
Technical Report ISSE-TR-93-100
-
-
Ammann, P.1
Offutt, A.J.2
-
2
-
-
0028555261
-
Using formal methods to derive test frames in category-partition testing
-
Gaithersburg, MD, U.S.A., June 1994. IEEE Computer Society Press, Los Alamitos, California, U.S.A.
-
Ammann, P. and Offutt, A. J. (1994) 'Using formal methods to derive test frames in category-partition testing', Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS 94), Gaithersburg, MD, U.S.A., June 1994. IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 69-80.
-
(1994)
Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS 94)
, pp. 69-80
-
-
Ammann, P.1
Offutt, A.J.2
-
3
-
-
0024918604
-
Automatic generation of test scripts from formal test specifications
-
Key West, Florida, U.S.A., December 1989
-
Balcer, M., Hasling, W. and Ostrand, T. (1989) 'Automatic generation of test scripts from formal test specifications', Proceedings of the Third Symposium on Software Testing, Analysis and Verification (ACM SIGSOFT 89), Key West, Florida, U.S.A., December 1989, pp. 210-218.
-
(1989)
Proceedings of the Third Symposium on Software Testing, Analysis and Verification (ACM SIGSOFT 89)
, pp. 210-218
-
-
Balcer, M.1
Hasling, W.2
Ostrand, T.3
-
5
-
-
0003819265
-
-
Prentice-Hall, Englewood Cliffs, NJ, U.S.A.
-
Constantine, L. L. and Yourdon, E. (1979) Structured Design, Prentice-Hall, Englewood Cliffs, NJ, U.S.A.
-
(1979)
Structured Design
-
-
Constantine, L.L.1
Yourdon, E.2
-
6
-
-
0027644148
-
An experimental comparison of the effectiveness of branch testing and data flow testing
-
Frankl, P. G. and Weiss, S. N. (1993) 'An experimental comparison of the effectiveness of branch testing and data flow testing', IEEE Transactions on Software Engineering, 19(8), 774-787.
-
(1993)
IEEE Transactions on Software Engineering
, vol.19
, Issue.8
, pp. 774-787
-
-
Frankl, P.G.1
Weiss, S.N.2
-
7
-
-
0031235549
-
All-uses versus mutation testing: An experimental comparison of effectiveness
-
Frankl, P. G., Weiss, S. N. and Hu, C. (1997) 'All-uses versus mutation testing: An experimental comparison of effectiveness', The Journal of Systems and Software, 38(3), 235-253.
-
(1997)
The Journal of Systems and Software
, vol.38
, Issue.3
, pp. 235-253
-
-
Frankl, P.G.1
Weiss, S.N.2
Hu, C.3
-
8
-
-
0024091830
-
An applicable family of data flow testing criteria
-
Frankl, P. G. and Weyuker, E. J. (1988) 'An applicable family of data flow testing criteria', IEEE Transactions on Software Engineering, 14(10), 1483-1498.
-
(1988)
IEEE Transactions on Software Engineering
, vol.14
, Issue.10
, pp. 1483-1498
-
-
Frankl, P.G.1
Weyuker, E.J.2
-
9
-
-
85017181007
-
Performing data flow testing on classes
-
New Orleans, Louisiana, U.S.A., December 1994
-
Harrold, M. J. and Rothermel, G. (1994) 'Performing data flow testing on classes', Symposium on Foundations of Software Engineering (ACM SIGSOFT 94), New Orleans, Louisiana, U.S.A., December 1994, pp. 154-163.
-
(1994)
Symposium on Foundations of Software Engineering (ACM SIGSOFT 94)
, pp. 154-163
-
-
Harrold, M.J.1
Rothermel, G.2
-
10
-
-
0026123816
-
Selecting and using data for integration testing
-
Harrold, M. J. and Soffa, M. L. (1991) 'Selecting and using data for integration testing', IEEE Software, 8(2), 58-65.
-
(1991)
IEEE Software
, vol.8
, Issue.2
, pp. 58-65
-
-
Harrold, M.J.1
Soffa, M.L.2
-
11
-
-
0024912455
-
Module test case generation
-
Key West, Florida, U.S.A., December 1989
-
Hoffman, D. and Brealey, C. (1989) 'Module test case generation', Proceedings of the Third Workshop on Software Testing, Verification and Analysis (ACM SIGSOFT 89), Key West, Florida, U.S.A., December 1989, pp. 66-74.
-
(1989)
Proceedings of the Third Workshop on Software Testing, Verification and Analysis (ACM SIGSOFT 89)
, pp. 66-74
-
-
Hoffman, D.1
Brealey, C.2
-
13
-
-
0021160829
-
MM-Paths: A white-box approach to software integration testing
-
Phoenix, Arizona, U.S.A., 1984
-
Jorgensen, P. C. (1984) 'MM-Paths: A white-box approach to software integration testing', Third Annual Phoenix Conference on Computers and Communications, Phoenix, Arizona, U.S.A., 1984, pp. 181-185.
-
(1984)
Third Annual Phoenix Conference on Computers and Communications
, pp. 181-185
-
-
Jorgensen, P.C.1
-
14
-
-
0025510772
-
A study of integration testing and software regression at the integration level
-
San Diego, California, U.S.A., November 1990
-
Leung, H. K. N. and White, L. (1990) 'A study of integration testing and software regression at the integration level', Conference on Software Maintenance - 1990, San Diego, California, U.S.A., November 1990, pp. 290-301.
-
(1990)
Conference on Software Maintenance - 1990
, pp. 290-301
-
-
Leung, H.K.N.1
White, L.2
-
15
-
-
0025559371
-
Test data selection criteria for (software) integration testing
-
Morristown, New Jersey, U.S.A., April 1990, IEEE Computer Society Press, Los Alamitos, California, U.S.A.
-
Linnenkugel, U. and Müllerburg, M. (1990) 'Test data selection criteria for (software) integration testing', Proceedings of the 1990 Conference on Systems Integration, Morristown, New Jersey, U.S.A., April 1990, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 709-717.
-
(1990)
Proceedings of the 1990 Conference on Systems Integration
, pp. 709-717
-
-
Linnenkugel, U.1
Müllerburg, M.2
-
16
-
-
0028385839
-
An empirical comparison of data flow and mutation-based test adequacy criteria
-
Mathur, A. P. and Wong, W. E. (1994) 'An empirical comparison of data flow and mutation-based test adequacy criteria', Software Testing, Verification and Reliability, 4(1), 9-31.
-
(1994)
Software Testing, Verification and Reliability
, vol.4
, Issue.1
, pp. 9-31
-
-
Mathur, A.P.1
Wong, W.E.2
-
17
-
-
0027554182
-
A software metric system for module coupling
-
Offutt, A. J., Harrold, M. J. and Kolte, P. (1993) 'A software metric system for module coupling', The Journal of Systems and Software, 20(3), 295-308.
-
(1993)
The Journal of Systems and Software
, vol.20
, Issue.3
, pp. 295-308
-
-
Offutt, A.J.1
Harrold, M.J.2
Kolte, P.3
-
18
-
-
0039210593
-
Testing object-oriented software using the category-partition method
-
Santa Barbara, California, U.S.A., August 1995
-
Offutt, A. J. and Irvine, A. (1995) 'Testing object-oriented software using the category-partition method', Proceedings of the Seventeenth International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA '95), Santa Barbara, California, U.S.A., August 1995, pp. 293-303.
-
(1995)
Proceedings of the Seventeenth International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA '95)
, pp. 293-303
-
-
Offutt, A.J.1
Irvine, A.2
-
19
-
-
0024033855
-
The category-partition method for specifying and generating functional tests
-
Ostrand, T. J. and Balcer, M. J. (1988) 'The category-partition method for specifying and generating functional tests', Communications of the ACM, 31(6), 676-686.
-
(1988)
Communications of the ACM
, vol.31
, Issue.6
, pp. 676-686
-
-
Ostrand, T.J.1
Balcer, M.J.2
-
21
-
-
0015482049
-
On the criteria to be used in decomposing a system into modules
-
Parnas, D. (1972) 'On the criteria to be used in decomposing a system into modules', Communications of the ACM, 15(12), 1053-1058.
-
(1972)
Communications of the ACM
, vol.15
, Issue.12
, pp. 1053-1058
-
-
Parnas, D.1
-
24
-
-
0026886287
-
Control flow and data flow oriented integration testing methods
-
Spillner, A. (1992) 'Control flow and data flow oriented integration testing methods', Software Testing, Verification and Reliability, 2(2), 83-98.
-
(1992)
Software Testing, Verification and Reliability
, vol.2
, Issue.2
, pp. 83-98
-
-
Spillner, A.1
-
25
-
-
0015974558
-
Structured design
-
Stevens, W. P., Myers, G. J. and Constantine, L. L. (1974) 'Structured design', IBM Systems Journal, 13(2), 115-139.
-
(1974)
IBM Systems Journal
, vol.13
, Issue.2
, pp. 115-139
-
-
Stevens, W.P.1
Myers, G.J.2
Constantine, L.L.3
-
26
-
-
0019574504
-
Measuring the quality of structured designs
-
Troy, D. A. and Zweben, S. H. (1981) 'Measuring the quality of structured designs', The Journal of Systems and Software, 2(2), 113-120.
-
(1981)
The Journal of Systems and Software
, vol.2
, Issue.2
, pp. 113-120
-
-
Troy, D.A.1
Zweben, S.H.2
-
28
-
-
0042016457
-
Software testing and verification
-
M. C. Yovits (ed.)
-
White, L. J. (1987) 'Software testing and verification', in M. C. Yovits (ed.), Advances in Computers, 26, 335-390.
-
(1987)
Advances in Computers
, vol.26
, pp. 335-390
-
-
White, L.J.1
|