-
1
-
-
0028731942
-
Automatic generation of path covers based on the control flow analysis of computer programs
-
Dec.
-
A. Bertolino and M. Marre. Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Trans. Soft. Eng., SE-20(12):885-889, Dec. 1994.
-
(1994)
IEEE Trans. Soft. Eng., SE
, vol.20
, Issue.12
, pp. 885-889
-
-
Bertolino, A.1
Marre, M.2
-
2
-
-
0022810252
-
Test sets generation from algebraic specifications using logic programming
-
Nov.
-
L. Bouge, N. Choquet, L. Fribourg, and M. Gaudel. Test sets generation from algebraic specifications using logic programming. Journal of Systems and Software, pages 343-360, Nov. 1986.
-
(1986)
Journal of Systems and Software
, pp. 343-360
-
-
Bouge, L.1
Choquet, N.2
Fribourg, L.3
Gaudel, M.4
-
3
-
-
0032108147
-
In black and white: An integrated approach to class-level testing of object-oriented programs
-
H. Chen, T. Tse, F. Chan, and T. Chen. In black and white: an integrated approach to class-level testing of object-oriented programs. ACM Trans. on Software Engineering Methodology, 7(3):250-295, 1998.
-
(1998)
ACM Trans. on Software Engineering Methodology
, vol.7
, Issue.3
, pp. 250-295
-
-
Chen, H.1
Tse, T.2
Chan, F.3
Chen, T.4
-
4
-
-
0016993577
-
A system to generate test data and symbolically execute programs
-
Sept.
-
L. Clarke. A system to generate test data and symbolically execute programs. IEEE Trans. Soft. Eng., SE-2(3):215-222, Sept. 1976.
-
(1976)
IEEE Trans. Soft. Eng.
, vol.SE-2
, Issue.3
, pp. 215-222
-
-
Clarke, L.1
-
5
-
-
0025510192
-
Engineering software under statistical quality control
-
Nov.
-
R. Cobb and H. Mills. Engineering software under statistical quality control. IEEE Software, pages 44-54, Nov. 1990.
-
(1990)
IEEE Software
, pp. 44-54
-
-
Cobb, R.1
Mills, H.2
-
6
-
-
0032660359
-
Model-based testing in practice
-
May
-
S. Dalal, A. Jain, N. Karunanithi, J. Leaton, C. Lott, G. Patton, and B. Horowitz. Model-based testing in practice. In Intl. Conf. Software Engineering, pages 285-294, May 1999.
-
(1999)
Intl. Conf. Software Engineering
, pp. 285-294
-
-
Dalal, S.1
Jain, A.2
Karunanithi, N.3
Leaton, J.4
Lott, C.5
Patton, G.6
Horowitz, B.7
-
9
-
-
84976743225
-
-
July
-
J. Gannon, P. McMullin, and R. Hamlet. Dataabstraction implementation, specification and testing. ACM Trans. vsProgram Lang. Syst., 3(3):211-223, July 1981.
-
(1981)
Dataabstraction Implementation, Specification and Testing. ACM Trans. VsProgram Lang. Syst.
, vol.3
, Issue.3
, pp. 211-223
-
-
Gannon, J.1
McMullin, P.2
Hamlet, R.3
-
11
-
-
0024888095
-
A CASE study in module testing
-
IEEE Computer Society, Oct.
-
D. Hoffman. A CASE study in module testing. In Proc. Conf. Software Maintenance, pages 100-105. IEEE Computer Society, Oct. 1989.
-
(1989)
Proc. Conf. Software Maintenance
, pp. 100-105
-
-
Hoffman, D.1
-
12
-
-
0026222674
-
Automated module testing in Prolog
-
Sept.
-
D. Hoffman and P. Strooper. Automated module testing in Prolog. IEEE Trans. Soft. Eng., 17(9):933-942, Sept. 1991.
-
(1991)
IEEE Trans. Soft. Eng.
, vol.17
, Issue.9
, pp. 933-942
-
-
Hoffman, D.1
Strooper, P.2
-
13
-
-
0031140945
-
Classbench: A framework for automated class testing
-
D. M. Hoffman and P. A. Strooper. Classbench: A framework for automated class testing. Software Practice and Experience, 27(5):573-597, 1997.
-
(1997)
Software Practice and Experience
, vol.27
, Issue.5
, pp. 573-597
-
-
Hoffman, D.M.1
Strooper, P.A.2
-
14
-
-
0032644254
-
Boundary values and automated component testing
-
D. M. Hoffman, P. A. Strooper, and L. White. Boundary values and automated component testing. Journal of Software Testing, Verification, and Review, 9(1), 1999.
-
(1999)
Journal of Software Testing, Verification, and Review
, vol.9
, Issue.1
-
-
Hoffman, D.M.1
Strooper, P.A.2
White, L.3
-
16
-
-
0032207150
-
On commonality and variability in software engineering
-
D. M. H. J. O. Coplien and D. M. Weiss. On commonality and variability in software engineering. IEEE Software, 15(6):37-45, 1998.
-
(1998)
IEEE Software
, vol.15
, Issue.6
, pp. 37-45
-
-
Coplien, D.M.H.J.O.1
Weiss, D.M.2
-
18
-
-
0002760963
-
Experiences with cluster and class testing
-
G. Murphy, P. Townsend, and P. Wong. Experiences with cluster and class testing. Commun. ACM, 37(9):39-47, 1994.
-
(1994)
Commun. ACM
, vol.37
, Issue.9
, pp. 39-47
-
-
Murphy, G.1
Townsend, P.2
Wong, P.3
-
19
-
-
0003960126
-
-
McGraw-Hill
-
J. Musa, A. Iannano, and K. Okumoto. Software reliability measurement, prediction, and application. McGraw-Hill, 1987.
-
(1987)
Software Reliability Measurement, Prediction, and Application
-
-
Musa, J.1
Iannano, A.2
Okumoto, K.3
-
20
-
-
0024033855
-
The category-partition method for specifying and generating functional tests
-
June
-
T. Ostrand and M. Balcer. The category-partition method for specifying and generating functional tests. Commun. ACM, 31(6):676-686, June 1988.
-
(1988)
Commun. ACM
, vol.31
, Issue.6
, pp. 676-686
-
-
Ostrand, T.1
Balcer, M.2
-
21
-
-
0018047417
-
A language for specifying software tests
-
AFIPS
-
D. Panzl. A language for specifying software tests. In Proc. AFIPS Natl. Comp. Conf., pages 609-619. AFIPS, 1978.
-
(1978)
Proc. AFIPS Natl. Comp. Conf.
, pp. 609-619
-
-
Panzl, D.1
-
22
-
-
84950143846
-
-
Automatic white-box testing for the Java developer
-
Parasoft, http://www.parasoft.com/jtest/jtestwp.htm. Automatic white-box testing for the Java developer, 1998.
-
(1998)
-
-
Parasoft1
-
23
-
-
0029185391
-
A practical approach to programming with assertions
-
Jan.
-
D. Rosenblum. A practical approach to programming with assertions. IEEE Trans. Soft. Eng., SE-21(1):19-31, Jan. 1995.
-
(1995)
IEEE Trans. Soft. Eng.
, vol.SE-21
, Issue.1
, pp. 19-31
-
-
Rosenblum, D.1
-
24
-
-
84950134547
-
-
The TDGEN test data generator
-
Software Research, Inc., http://www.soft.com/products/index.html. The TDGEN test data generator, 1998.
-
(1998)
Software Research, Inc.
-
-
-
25
-
-
0030285205
-
A framework for specification-based testing
-
Nov.
-
P. Stocks and D. Carrington. a framework for specification-based testing. IEEE Trans. Soft. Eng., SE-22(11), Nov. 1996.
-
(1996)
IEEE Trans. Soft. Eng.
, vol.SE-22
, Issue.11
-
-
Stocks, P.1
Carrington, D.2
-
26
-
-
84950147612
-
-
SunTest
-
Sun Microsystems, http://www.sun.com/suntest/. SunTest, 1998.
-
(1998)
-
-
Sun Microsystems1
|