-
1
-
-
0020154271
-
Software reliability - Status and perspectives
-
C.V. Ramamoorthy and F.B. Bastani, Software reliability - Status and perspectives, IEEE Trans. Software Eng. 8 (4), 354-371, (1982).
-
(1982)
IEEE Trans. Software Eng.
, vol.8
, Issue.4
, pp. 354-371
-
-
Ramamoorthy, C.V.1
Bastani, F.B.2
-
2
-
-
0022252694
-
Software reliability models: Assumptions, limitations, and applicability
-
A.L. Goel, Software reliability models: Assumptions, limitations, and applicability, IEEE Trans. Software Eng. 11 (12), 1411-1423, (1985).
-
(1985)
IEEE Trans. Software Eng.
, vol.11
, Issue.12
, pp. 1411-1423
-
-
Goel, A.L.1
-
3
-
-
0002914776
-
Software reliability modeling survey
-
Edited by M.R. Lyu, McGraw-Hill
-
W. Farr, Software reliability modeling survey, In Handbook of Software Reliability Engineering, (Edited by M.R. Lyu), pp. 71-117, McGraw-Hill, (1996).
-
(1996)
Handbook of Software Reliability Engineering
, pp. 71-117
-
-
Farr, W.1
-
5
-
-
84939365800
-
A user-oriented software reliability model
-
R.C. Cheung, A user-oriented software reliability model, IEEE Trans. Software Eng. 6 (2), 118-125, (1980).
-
(1980)
IEEE Trans. Software Eng.
, vol.6
, Issue.2
, pp. 118-125
-
-
Cheung, R.C.1
-
7
-
-
0002080664
-
Planning and certifying software system reliability
-
J.H. Poore, H.D. Mills and D. Mutchler, Planning and certifying software system reliability, IEEE Software, 88-99, (1993).
-
(1993)
IEEE Software
, pp. 88-99
-
-
Poore, J.H.1
Mills, H.D.2
Mutchler, D.3
-
8
-
-
0024606541
-
Assessing reliability of modular software
-
P. Kubat, Assessing reliability of modular software, Operations Research Letters 8, 35-41, (1989).
-
(1989)
Operations Research Letters
, vol.8
, pp. 35-41
-
-
Kubat, P.1
-
11
-
-
0016444204
-
A reliability model for systems with Markov structure
-
B. Littlewood, A reliability model for systems with Markov structure, Applied Statistics 24 (2), 172-177, (1975).
-
(1975)
Applied Statistics
, vol.24
, Issue.2
, pp. 172-177
-
-
Littlewood, B.1
-
12
-
-
0021521169
-
Dependability evaluation of software systems in operation
-
J.C. Laprie, Dependability evaluation of software systems in operation, IEEE Trans. Software Eng. 10 (6), 701-714, (1984).
-
(1984)
IEEE Trans. Software Eng.
, vol.10
, Issue.6
, pp. 701-714
-
-
Laprie, J.C.1
-
13
-
-
0026820612
-
X-ware reliability and availability modeling
-
J.C. Laprie and K. Kanoun, X-ware reliability and availability modeling, IEEE Trans. Software Eng. 18 (2), 130-147, (1992).
-
(1992)
IEEE Trans. Software Eng.
, vol.18
, Issue.2
, pp. 130-147
-
-
Laprie, J.C.1
Kanoun, K.2
-
14
-
-
0032639142
-
Availability modeling of modular software
-
J. Ledoux, Availability modeling of modular software, IEEE Trans. Rel. 48 (2), 159-168, (1999).
-
(1999)
IEEE Trans. Rel.
, vol.48
, Issue.2
, pp. 159-168
-
-
Ledoux, J.1
-
15
-
-
0018752321
-
A versatile Markovian point process
-
M.F. Neuts, A versatile Markovian point process, J. Applied Probability 16, 764-779, (1979).
-
(1979)
J. Applied Probability
, vol.16
, pp. 764-779
-
-
Neuts, M.F.1
-
16
-
-
84949755090
-
New results on the single server queue with a batch Markovian arrival process
-
D.M. Lucantoni, New results on the single server queue with a batch Markovian arrival process, Stochastic Models 7 (1), 1-46, (1991).
-
(1991)
Stochastic Models
, vol.7
, Issue.1
, pp. 1-46
-
-
Lucantoni, D.M.1
-
17
-
-
0018688011
-
Software reliability model for modular program structure
-
B. Littlewood, Software reliability model for modular program structure, IEEE Trans. Rel. 28 (3), 241-246, (1979).
-
(1979)
IEEE Trans. Rel.
, vol.28
, Issue.3
, pp. 241-246
-
-
Littlewood, B.1
-
23
-
-
84941181463
-
Operational profiles in software reliability engineering
-
J.D. Musa, Operational profiles in software reliability engineering, IEEE Software 10 (2), 14-32, (1993).
-
(1993)
IEEE Software
, vol.10
, Issue.2
, pp. 14-32
-
-
Musa, J.D.1
-
28
-
-
0034155447
-
Failure correlation in software reliability models
-
K. GoŠeva-Popstojanova and K. Trivedi, Failure correlation in software reliability models, IEEE Trans. Rel. 49 (1), 37-48, (2000).
-
(2000)
IEEE Trans. Rel.
, vol.49
, Issue.1
, pp. 37-48
-
-
Goševa-Popstojanova, K.1
Trivedi, K.2
-
30
-
-
0026679635
-
Estimating the probability of failure when testing reveals no failures
-
K.W. Miller, L.J. Morell, R.E. Noonan, S.K, Park, D.M. Nicol, B.W. Murrill and J.M. Voas, Estimating the probability of failure when testing reveals no failures, IEEE Trans. Software Eng. 18 (1), 33-43, (1992).
-
(1992)
IEEE Trans. Software Eng.
, vol.18
, Issue.1
, pp. 33-43
-
-
Miller, K.W.1
Morell, L.J.2
Noonan, R.E.3
Park, S.K.4
Nicol, D.M.5
Murrill, B.W.6
Voas, J.M.7
-
31
-
-
0031276197
-
Some conservative stopping rules for operational testing of safety-critical software
-
B. Littlewood and D. Wright, Some conservative stopping rules for operational testing of safety-critical software, IEEE Trans. Software Eng. 23 (11), 673-683, (1997).
-
(1997)
IEEE Trans. Software Eng.
, vol.23
, Issue.11
, pp. 673-683
-
-
Littlewood, B.1
Wright, D.2
-
32
-
-
0032096714
-
Certifying off-the-shelf software components
-
J.M, Voas, Certifying off-the-shelf software components, IEEE Computer 31 (6), 53-59, (1998).
-
(1998)
IEEE Computer
, vol.31
, Issue.6
, pp. 53-59
-
-
Voas, J.M.1
-
33
-
-
0002967484
-
Robust software interfaces: Can COTS-based systems be trusted without them?
-
th Int. Conf. Computer Safety, Reliability, and Security (SAFECOMP'96), pp. 126-135, (1996).
-
(1996)
th Int. Conf. Computer Safety, Reliability, and Security (SAFECOMP'96)
, pp. 126-135
-
-
Voas, J.1
Charron, F.2
Miller, K.3
-
36
-
-
85030937140
-
-
http://www.gnu.org/manual/gprof-2.9.1/html-mono/gprof.html.
-
-
-
-
37
-
-
85030939032
-
-
http//xsuds.argreenhouse.com.
-
-
-
-
38
-
-
85030949409
-
-
http://www.unix.digital.com/faq/publications/base_doc/DOCUMENTATION/ V40F_HTML/APS30-ETE/TITLE.HTM.
-
-
-
-
39
-
-
0344287261
-
Playing detective: Reconstructing software architecture from available evidence
-
R. Kazman and J. Carriere, Playing detective: Reconstructing software architecture from available evidence, J. Automated Software Engineering 6 (2), 107-138, (1999).
-
(1999)
J. Automated Software Engineering
, vol.6
, Issue.2
, pp. 107-138
-
-
Kazman, R.1
Carriere, J.2
-
40
-
-
0027634649
-
Software performance engineering: A case study including performance comparison with design alternatives
-
C. Smith and L. Williams, Software performance engineering; A case study including performance comparison with design alternatives, IEEE Trans. Software Eng. 19 (7), 720-741, (1993).
-
(1993)
IEEE Trans. Software Eng.
, vol.19
, Issue.7
, pp. 720-741
-
-
Smith, C.1
Williams, L.2
-
41
-
-
84985008410
-
The architecture tradeoff analysis method
-
R. Kazman, M. Klein, M. Barbacci, T. Lingstaff, H. Lipson and J. Carriere, The architecture tradeoff analysis method, In Proc. IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS'98), pp. 68-78, (1998).
-
(1998)
Proc. IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS'98)
, pp. 68-78
-
-
Kazman, R.1
Klein, M.2
Barbacci, M.3
Lingstaff, T.4
Lipson, H.5
Carriere, J.6
|