-
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. Software Eng., vol. 20, no. 12, pp. 855-899, Dec. 1994.
-
(1994)
IEEE Trans. Software Eng
, vol.20
, Issue.12
, pp. 855-899
-
-
Bertolino, A.1
Marre, M.2
-
4
-
-
0034273864
-
A Decision-Analytic Stopping Rule for Validation of Commercial Software Systems
-
Sept
-
T. Chavez, "A Decision-Analytic Stopping Rule for Validation of Commercial Software Systems," IEEE Trans. Software Eng., vol. 26, no. 9, pp. 907-918, Sept. 2000.
-
(2000)
IEEE Trans. Software Eng
, vol.26
, Issue.9
, pp. 907-918
-
-
Chavez, T.1
-
5
-
-
0016993577
-
A System to Generate Test Data and Symbolically Execute Programs
-
Sept
-
L.A. Clarke, "A System to Generate Test Data and Symbolically Execute Programs," IEEE Trans. Software Eng., vol. 2, no. 3, pp. 215-222, Sept. 1976.
-
(1976)
IEEE Trans. Software Eng
, vol.2
, Issue.3
, pp. 215-222
-
-
Clarke, L.A.1
-
6
-
-
0028413121
-
When to Stop Testing for Large Software Systems with Changing Code
-
Apr
-
S.R. Dalal and A.A. McIntosh, "When to Stop Testing for Large Software Systems with Changing Code," IEEE Trails. Software Testing, vol. 20, no. 4, pp. 318-323, Apr. 1994.
-
(1994)
IEEE Trails. Software Testing
, vol.20
, Issue.4
, pp. 318-323
-
-
Dalal, S.R.1
McIntosh, A.A.2
-
8
-
-
0022252694
-
Software Reliability Models: Assumptions, Limitations, and Applicability
-
Dec
-
A.L. Goel, "Software Reliability Models: Assumptions, Limitations, and Applicability," IEEE Trans. Software Eng., vol. 11, no. 12, pp. 1411-1423, Dec. 1985.
-
(1985)
IEEE Trans. Software Eng
, vol.11
, Issue.12
, pp. 1411-1423
-
-
Goel, A.L.1
-
9
-
-
0018505572
-
Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures
-
Aug
-
A.L. Goel and K. Okumoto, "Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures," IEEE Trans. Reliability, vol. 28, no. 3, pp. 206-211, Aug. 1979.
-
(1979)
IEEE Trans. Reliability
, vol.28
, Issue.3
, pp. 206-211
-
-
Goel, A.L.1
Okumoto, K.2
-
11
-
-
0034593016
-
UML-Based Integration Testing
-
J. Hartman, C. Imoberdorf, and M. Meisinger, "UML-Based Integration Testing," Proc. Int'l Symp, Software Testing and Analysis, pp. 60-70, 2000.
-
(2000)
Proc. Int'l Symp, Software Testing and Analysis
, pp. 60-70
-
-
Hartman, J.1
Imoberdorf, C.2
Meisinger, M.3
-
12
-
-
0006565375
-
Planning Models for Software Reliability and Cost
-
June
-
M. Helander, M. Zhao, and N. Ohlsson, "Planning Models for Software Reliability and Cost," IEEE Trans. Software Eng., vol. 24, no. 6, pp. 420-434, June 1998,
-
(1998)
IEEE Trans. Software Eng
, vol.24
, Issue.6
, pp. 420-434
-
-
Helander, M.1
Zhao, M.2
Ohlsson, N.3
-
13
-
-
0030378729
-
Needed Resources for Software Module Test Using the Hyper-Geometric Software Reliability Growth Model
-
R. Hou, S. Kuo, and Y. Chang, "Needed Resources for Software Module Test Using the Hyper-Geometric Software Reliability Growth Model," IEEE Trans. Reliability, vol. 45, no. 4, pp. 541-549, 1996.
-
(1996)
IEEE Trans. Reliability
, vol.45
, Issue.4
, pp. 541-549
-
-
Hou, R.1
Kuo, S.2
Chang, Y.3
-
14
-
-
0031076831
-
Optimal Release Times for Software Systems with Scheduled Delivery Time Based on the HGDM
-
Feb
-
R. Hou, S. Kuo, and Y. Chang, "Optimal Release Times for Software Systems with Scheduled Delivery Time Based on the HGDM," IEEE Trans. Computers, vol. 46, no. 2, pp. 216-221, Feb. 1997.
-
(1997)
IEEE Trans. Computers
, vol.46
, Issue.2
, pp. 216-221
-
-
Hou, R.1
Kuo, S.2
Chang, Y.3
-
15
-
-
0017518741
-
Symbolic Testing and the DISSECT Symbolic Evaluation System
-
W.E. Howden, "Symbolic Testing and the DISSECT Symbolic Evaluation System," IEEE Trans. Software Eng., vol. 4, no. 4, pp. 266-278, 1977.
-
(1977)
IEEE Trans. Software Eng
, vol.4
, Issue.4
, pp. 266-278
-
-
Howden, W.E.1
-
16
-
-
84976679458
-
Object-Oriented Integration Testing
-
P.C. Jorgensen and C. Erickson, "Object-Oriented Integration Testing," Comm. ACM, vol. 37, no. 9, pp. 30-38, 1994.
-
(1994)
Comm. ACM
, vol.37
, Issue.9
, pp. 30-38
-
-
Jorgensen, P.C.1
Erickson, C.2
-
17
-
-
0020752434
-
-
H. Koch and P. Kubat, Optimal Release Time of Computer Software, IEEE Trans. Software Eng, 9, pp. 323-327, 1983
-
H. Koch and P. Kubat, "Optimal Release Time of Computer Software," IEEE Trans. Software Eng., vol. 9, pp. 323-327, 1983.
-
-
-
-
18
-
-
0025472647
-
Automated Software Test Data Generation
-
Aug
-
B. Korel, "Automated Software Test Data Generation," IEEE Trans. Software Eng., vol. 16, no. 8, pp. 870-879, Aug. 1990.
-
(1990)
IEEE Trans. Software Eng
, vol.16
, Issue.8
, pp. 870-879
-
-
Korel, B.1
-
19
-
-
0024606541
-
Assessing Reliability of Modular Software
-
P. Kubat, "Assessing Reliability of Modular Software," Operations Research Letters, vol. 8, no. 1, pp. 35-41, 1989.
-
(1989)
Operations Research Letters
, vol.8
, Issue.1
, pp. 35-41
-
-
Kubat, P.1
-
20
-
-
0026826253
-
Optimum Software Release Time with a Given Cost Budget
-
Y. Leung, "Optimum Software Release Time with a Given Cost Budget," J. System Software, vol. 17, pp. 233-242, 1992.
-
(1992)
J. System Software
, vol.17
, pp. 233-242
-
-
Leung, Y.1
-
21
-
-
0030392313
-
Optimal Reliability Allocation for Modular Software System, Designed for Multiple Customers
-
Y. Leung, "Optimal Reliability Allocation for Modular Software System, Designed for Multiple Customers," IEICE Trans. Information and Systems, vol. E-79-D, no. 12, pp. 1655-1662, 1996.
-
(1996)
IEICE Trans. Information and Systems
, vol.E-79-D
, Issue.12
, pp. 1655-1662
-
-
Leung, Y.1
-
22
-
-
0346265994
-
Using Spanning Sets for Coverage Testing
-
Nov
-
M. Marre and A. Bertolino, "Using Spanning Sets for Coverage Testing," IEEE Trans. Software Eng., vol. 29, no. 11, pp. 974-984, Nov. 2003.
-
(2003)
IEEE Trans. Software Eng
, vol.29
, Issue.11
, pp. 974-984
-
-
Marre, M.1
Bertolino, A.2
-
23
-
-
0035249240
-
Hierarchical GUI Test'Case Generation Using Automated Planning
-
Feb
-
A.M. Memon, "Hierarchical GUI Test'Case Generation Using Automated Planning," IEEE Trans. Software Eng., vol. 27, no. 2, pp. 144-154, Feb. 2001.
-
(2001)
IEEE Trans. Software Eng
, vol.27
, Issue.2
, pp. 144-154
-
-
Memon, A.M.1
-
24
-
-
84915408985
-
On Path Cover Problems in Digraphs and Applications to Program Testing
-
S.C. Natafos and S.L. Hakimi, "On Path Cover Problems in Digraphs and Applications to Program Testing," IEEE Trans. Software Eng., vol. 5, pp. 520-529, 1979.
-
(1979)
IEEE Trans. Software Eng
, vol.5
, pp. 520-529
-
-
Natafos, S.C.1
Hakimi, S.L.2
-
25
-
-
0035481183
-
Prioritizing Test Cases for Regression Testing
-
Oct
-
G. Rothermel, R.H. Untch, C. Chu, and M.J. Harrold, "Prioritizing Test Cases for Regression Testing," IEEE Trans. Software Eng., vol. 27, no. 10, pp. 929-948, Oct. 2001.
-
(2001)
IEEE Trans. Software Eng
, vol.27
, Issue.10
, pp. 929-948
-
-
Rothermel, G.1
Untch, R.H.2
Chu, C.3
Harrold, M.J.4
-
26
-
-
0024704712
-
A Generalized Optimal Path Selection Model for Structural Program Testing
-
H.S. Wang, S.R. Hsu, and J.C. Lin, "A Generalized Optimal Path Selection Model for Structural Program Testing," J. System and Software, vol. 10, pp. 55-63, 1989.
-
(1989)
J. System and Software
, vol.10
, pp. 55-63
-
-
Wang, H.S.1
Hsu, S.R.2
Lin, J.C.3
-
27
-
-
0021476797
-
Optimal Release Policies for a Software System with a Scheduled Software Time
-
S. Yamada, H. Narihisa, and S. Osaki, "Optimal Release Policies for a Software System with a Scheduled Software Time," Int'l J. Systems Sciences, vol. 15, pp. 905-914, 1984.
-
(1984)
Int'l J. Systems Sciences
, vol.15
, pp. 905-914
-
-
Yamada, S.1
Narihisa, H.2
Osaki, S.3
-
28
-
-
0022224726
-
Software Reliability Growth Modeling: Models and Applications
-
S. Yamada and S. Osaki, "Software Reliability Growth Modeling: Models and Applications," IEEE Trans. Software Eng., vol. 11, pp. 1431-1437, 1985.
-
(1985)
IEEE Trans. Software Eng
, vol.11
, pp. 1431-1437
-
-
Yamada, S.1
Osaki, S.2
-
30
-
-
0026138713
-
Software Reliability Allocation Based on Structure, Utility, Price, and Cost
-
Apr
-
F. Zahedi and N. Ashrafi, "Software Reliability Allocation Based on Structure, Utility, Price, and Cost," IEEE Trans. Software Eng., vol. 17, no. 4, pp. 345-356, Apr. 1991.
-
(1991)
IEEE Trans. Software Eng
, vol.17
, Issue.4
, pp. 345-356
-
-
Zahedi, F.1
Ashrafi, N.2
|