-
1
-
-
9644311429
-
A controlled markov chains approach to software testing
-
K.Y. Cai, A Controlled Markov Chains Approach to Software Testing, Working paper, 2000.
-
(2000)
Working Paper
-
-
Cai, K.Y.1
-
2
-
-
0036839425
-
Optimal software testing and adaptive software testing in the context of software cybernetics
-
K.Y. Cai, Optimal software testing and adaptive software testing in the context of software cybernetics, Information and Software Technology 44 (2002) 841-855.
-
(2002)
Information and Software Technology
, vol.44
, pp. 841-855
-
-
Cai, K.Y.1
-
3
-
-
10644260156
-
Optimal stopping of multi-project software testing in the context of software cybernetics
-
K.Y. Cai, Optimal stopping of multi-project software testing in the context of software cybernetics, Science in China (Series F) 46 (3) (2003) 335-354.
-
(2003)
Science in China (Series F)
, vol.46
, Issue.3
, pp. 335-354
-
-
Cai, K.Y.1
-
4
-
-
9644275635
-
Optimal software testing in the setting of controlled Markov chains
-
2005
-
K.Y. Cai, Y.C. Li, W.Y. King, Optimal software testing in the setting of controlled Markov chains, European Journal of Operational Research 162 (2) (2005) 262-289.
-
European Journal of Operational Research
, vol.162
, Issue.2
, pp. 262-289
-
-
Cai, K.Y.1
Li, Y.C.2
King, W.Y.3
-
5
-
-
4244089791
-
-
(unpublished manuscript), Centre for Software Reliability, City University, London, Draft version, October revised version, July
-
K.Y. Cai, On the Concepts of Total Systems, Total Dependability and Software Cybernetics, (unpublished manuscript), Centre for Software Reliability, City University, London, Draft version, October 1994; revised version, July 1995
-
(1994)
On the Concepts of Total Systems, Total Dependability and Software Cybernetics
-
-
Cai, K.Y.1
-
6
-
-
0344128001
-
Towards research on software cybernetics
-
IEEE Computer Society Press
-
K.Y. Cai, T.Y. Chen, T.H. Tse, Towards research on software cybernetics, Proceedings of Seventh IEEE International Symposium on High Assurance Systems Engineering, IEEE Computer Society Press, 2002. pp. 240-241.
-
(2002)
Proceedings of Seventh IEEE International Symposium on High Assurance Systems Engineering
, pp. 240-241
-
-
Cai, K.Y.1
Chen, T.Y.2
Tse, T.H.3
-
9
-
-
0034227072
-
Towards a conceptual framework of software run reliability modeling
-
K.Y. Cai, Towards a conceptual framework of software run reliability modeling, Information Sciences 126 (2000) 137-163.
-
(2000)
Information Sciences
, vol.126
, pp. 137-163
-
-
Cai, K.Y.1
-
13
-
-
0022252694
-
Software reliability models: Assumptions: Limitations, and applicability
-
A.L. Goel, Software reliability models: assumptions: limitations, and applicability, IEEE Transactions on Software Engineering SE-11 (12) (1985) 1411-1423.
-
(1985)
IEEE Transactions on Software Engineering
, vol.SE-11
, Issue.12
, pp. 1411-1423
-
-
Goel, A.L.1
-
17
-
-
0017400995
-
Estimating software reliability from test data
-
E. Nelson, Estimating software reliability from test data, Microelectronics and Reliability 17 (1) (1978) 67-74.
-
(1978)
Microelectronics and Reliability
, vol.17
, Issue.1
, pp. 67-74
-
-
Nelson, E.1
-
18
-
-
0029272075
-
Effect of testing techniques on software reliability estimates obtained using a time-domain model
-
M.H. Chen, A.P. Mathur, V.J. Rego, Effect of testing techniques on software reliability estimates obtained using a time-domain model, IEEE Transactions on Reliability 44 (1) (1995) 97-103.
-
(1995)
IEEE Transactions on Reliability
, vol.44
, Issue.1
, pp. 97-103
-
-
Chen, M.H.1
Mathur, A.P.2
Rego, V.J.3
-
20
-
-
0001134764
-
Evaluating testing methods by delivered reliability
-
P.O. Frankl, R.G. Hamlet, B. Littlewwod, L. Strigini, Evaluating testing methods by delivered reliability, IEEE Transactions on Software Engineering 24 (8) (1998) 586-601.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.8
, pp. 586-601
-
-
Frankl, P.O.1
Hamlet, R.G.2
Littlewwod, B.3
Strigini, L.4
-
21
-
-
0036704716
-
A formal model for the software test process
-
J.W. Cangussu, R.A. DeCarlo, A.P. Mathur, A formal model for the software test process, IEEE Transactions on Software Engineering 28 (8) (2002) 782-796.
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.8
, pp. 782-796
-
-
Cangussu, J.W.1
DeCarlo, R.A.2
Mathur, A.P.3
-
22
-
-
0037705631
-
Using sensitivity analysis to validate a state variable model of the software test process
-
J.W. Cangussu, R.A. DeCarlo, A.P. Mathur, Using sensitivity analysis to validate a state variable model of the software test process, IEEE Transactions on Software Engineering 29 (5) (2003) 430-443.
-
(2003)
IEEE Transactions on Software Engineering
, vol.29
, Issue.5
, pp. 430-443
-
-
Cangussu, J.W.1
DeCarlo, R.A.2
Mathur, A.P.3
-
23
-
-
0035881204
-
Proportional sampling strategy: A compendium and some insights
-
T.Y. Chen, T.H. Tse, Y.T. Yu, Proportional sampling strategy: a compendium and some insights, Journal of Systems and Software 58 (2001) 65-81.
-
(2001)
Journal of Systems and Software
, vol.58
, pp. 65-81
-
-
Chen, T.Y.1
Tse, T.H.2
Yu, Y.T.3
-
24
-
-
10644244974
-
Mirror adaptive random testing
-
IEEE Computer Society Press, Silver Spring, MD
-
T.Y. Chen, F.C. Kuo, R.G. Merkel, S.P. Ng, Mirror adaptive random testing, Proceedings of the Third International Conference on Quality Software, IEEE Computer Society Press, Silver Spring, MD, 2003. pp. 4-9.
-
(2003)
Proceedings of the Third International Conference on Quality Software
, pp. 4-9
-
-
Chen, T.Y.1
Kuo, F.C.2
Merkel, R.G.3
Ng, S.P.4
|