-
2
-
-
84976809488
-
Profilers
-
(July)
-
Bentley, J. Profilers. Communications of the ACM, Vol. 30, No. 7 (July 1987), pp. 587-592.
-
(1987)
Communications of the ACM
, vol.30
, Issue.7
, pp. 587-592
-
-
Bentley, J.1
-
3
-
-
84935972895
-
Sampling in time
-
P. R. Krishnaiah and C. R. Rao editors, North Holland, Amsterdam
-
Binder, D. A. and Hidiroglou, M. A. Sampling in time. In Handbook of Statistics 6: Sampling, P. R. Krishnaiah and C. R. Rao editors, North Holland, Amsterdam, 1988.
-
(1988)
Handbook of Statistics 6: Sampling
-
-
Binder, D.A.1
Hidiroglou, M.A.2
-
5
-
-
84916516522
-
The infeasibility of experimental quantification of life-critical software reliability
-
(New Orleans, December 1991), ACM Press, New York
-
Butler, R. W. and Finelli, G. B. The infeasibility of experimental quantification of life-critical software reliability. Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems (New Orleans, December 1991), ACM Press, New York, 1991, pp. 66-76.
-
(1991)
Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems
, pp. 66-76
-
-
Butler, R.W.1
Finelli, G.B.2
-
9
-
-
0022614341
-
Certifying the reliability of software
-
(January)
-
Currit, P. A., Dyer, M., and Mills, H. D. Certifying the reliability of software. IEEE Transactions on Software Engineering, Vol. SE-12, No. 1, (January 1986), pp. 3-11.
-
(1986)
IEEE Transactions on Software Engineering
, vol.SE-12
, Issue.1
, pp. 3-11
-
-
Currit, P.A.1
Dyer, M.2
Mills, H.D.3
-
10
-
-
0042856443
-
Program mutation: A new approach to program testing
-
Infotech International
-
DeMillo, R. A., Say ward, F. G., and Lipton, R. J. Program mutation: a new approach to program testing. Infotech International State of the Art Report: Program Testing, Infotech International, 1979.
-
(1979)
Infotech International State of the Art Report: Program Testing
-
-
DeMillo, R.A.1
Say Ward, F.G.2
Lipton, R.J.3
-
11
-
-
0019021953
-
Quantifying software validity by sampling
-
(June)
-
Duran, J. W. and Wiorkowski, J. J. Quantifying software validity by sampling. IEEE Transactions on Reliability, Vol. R-29, No. 2 (June 1980), pp. 141-144.
-
(1980)
IEEE Transactions on Reliability
, vol.R-29
, Issue.2
, pp. 141-144
-
-
Duran, J.W.1
Wiorkowski, J.J.2
-
12
-
-
0021453259
-
An evaluation of random testing
-
(July)
-
Duran, J. W. and Ntafos, S. C. An evaluation of random testing. IEEE Transactions on Software Engineering, Vol. SE-10, No. 4 (July 1984), pp. 438-444.
-
(1984)
IEEE Transactions on Software Engineering
, vol.SE-10
, Issue.4
, pp. 438-444
-
-
Duran, J.W.1
Ntafos, S.C.2
-
13
-
-
0022252694
-
Software reliability models: Assumptions, limitations, applicability
-
(December)
-
Goel, A. L. Software reliability models: assumptions, limitations, applicability. IEEE Transactions on Software Engineering, Vol. SE-11, No. 12 (December 1985), pp. 1411-1423.
-
(1985)
IEEE Transactions on Software Engineering
, vol.SE-11
, Issue.12
, pp. 1411-1423
-
-
Goel, A.L.1
-
14
-
-
0025530786
-
Partition testing does not inspire confidence
-
(December)
-
Hamlet, D. and Taylor, R. Partition testing does not inspire confidence. IEEE Transactions on Software Engineering, Vol. 16, No. 12 (December 1990), pp. 206-215.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.12
, pp. 206-215
-
-
Hamlet, D.1
Taylor, R.2
-
15
-
-
0016506990
-
Methodology for the generation of program test data
-
(May)
-
Howden, W. E. Methodology for the generation of program test data. IEEE Transactions on Computers, Vol. c-24, No. 5 (May 1975), pp. 554-559.
-
(1975)
IEEE Transactions on Computers
, vol.C-24
, Issue.5
, pp. 554-559
-
-
Howden, W.E.1
-
17
-
-
0003657590
-
-
Addison Wesley, Reading, MA
-
Knuth, D. E. The Art of Computer Programming, Vol. 2: Seminumerical Algorithms, Addison Wesley, Reading, MA, 1982.
-
(1982)
The Art of Computer Programming, Vol. 2: Seminumerical Algorithms
-
-
Knuth, D.E.1
-
18
-
-
84887530345
-
Modelling growth in software reliability
-
P. Rook editor, Elsevier, New York
-
Littlewood, B. Modelling growth in software reliability. In Software Reliability Handbook, P. Rook editor, Elsevier, New York, 1990, pp. 137-154.
-
(1990)
Software Reliability Handbook
, pp. 137-154
-
-
Littlewood, B.1
-
20
-
-
0026872189
-
Analyzing algorithms by simulation: Variance reduction techniques and simulation speedups
-
(June)
-
McGeoch, C. Analyzing algorithms by simulation: variance reduction techniques and simulation speedups. ACM Computing Surveys, Vol. 24, No. 2 (June 1992), pp. 195-212.
-
(1992)
ACM Computing Surveys
, vol.24
, Issue.2
, pp. 195-212
-
-
McGeoch, C.1
-
21
-
-
0026679635
-
Estimating the probability of failure when testing reveals no failures
-
(January)
-
Miller, K. W., Morell, L. J., Noonan, R. E., Park, S. K., Nichol, D. M., Murrill, B. W., and Voas, J. M. Estimating the probability of failure when testing reveals no failures. IEEE Transactions on Software Engineering, Vol. 18, No. 1, (January 1992), pp. 33-42.
-
(1992)
IEEE Transactions on Software Engineering
, vol.18
, Issue.1
, pp. 33-42
-
-
Miller, K.W.1
Morell, L.J.2
Noonan, R.E.3
Park, S.K.4
Nichol, D.M.5
Murrill, B.W.6
Voas, J.M.7
-
22
-
-
0003960126
-
-
McGraw-Hill, New York
-
Musa, J. D., Iannino, A., and Okumoto, K. Software Reliability: Measurement, Prediction, Application, McGraw-Hill, New York, 1987.
-
(1987)
Software Reliability: Measurement, Prediction, Application
-
-
Musa, J.D.1
Iannino, A.2
Okumoto, K.3
-
23
-
-
84941181463
-
Operational profiles in software-reliability engineering
-
(March)
-
Musa, J. D. Operational profiles in software-reliability engineering. IEEE Software (March 1993), pp. 14-32.
-
(1993)
IEEE Software
, pp. 14-32
-
-
Musa, J.D.1
-
24
-
-
0017400995
-
Estimating software reliability from test data
-
Nelson, E. N. Estimating software reliability from test data. Microelectronics and Reliability, Vol. 17 (1978), pp. 67-74.
-
(1978)
Microelectronics and Reliability
, vol.17
, pp. 67-74
-
-
Nelson, E.N.1
-
25
-
-
0000941398
-
A perspective on variance reduction in dynamic simulation experiments
-
Nelson, B. L. A perspective on variance reduction in dynamic simulation experiments. Communications on Statistical Simulation, Vol. 16, No. 2 (1987), pp. 385-426.
-
(1987)
Communications on Statistical Simulation
, vol.16
, Issue.2
, pp. 385-426
-
-
Nelson, B.L.1
-
26
-
-
0000399707
-
On two different aspects of the representative method: The method of stratified sampling and the method of purposive selection
-
Neyman, J. On two different aspects of the representative method: the method of stratified sampling and the method of purposive selection. Journal of the Royal Statistical Society, Vol. 97, pp. 558-606.
-
Journal of the Royal Statistical Society
, vol.97
, pp. 558-606
-
-
Neyman, J.1
-
28
-
-
0022043004
-
Selecting software test data using data flow information
-
(April)
-
Rapps, S. and Weyuker, E. J. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, Vol. SE-11, No. 4 (April 1985), pp. 367-375.
-
(1985)
IEEE Transactions on Software Engineering
, vol.SE-11
, Issue.4
, pp. 367-375
-
-
Rapps, S.1
Weyuker, E.J.2
-
29
-
-
85023355237
-
A partition analysis method to increase program reliability
-
IEEE Computer Society, Los Alamitos, CA
-
Richardson, D. J. and Clarke, L. A. A partition analysis method to increase program reliability. Proceedings of the Fifth International Conference on Software Engineering (1981), IEEE Computer Society, Los Alamitos, CA, pp. 244-253.
-
(1981)
Proceedings of the Fifth International Conference on Software Engineering
, pp. 244-253
-
-
Richardson, D.J.1
Clarke, L.A.2
-
30
-
-
0004018193
-
-
Springer-Verlag, New York
-
Sarndal, C.-E., Swensson, B., and Wretman, J. Model Assisted Survey Sampling, Springer-Verlag, New York, 1992.
-
(1992)
Model Assisted Survey Sampling
-
-
Sarndal, C.-E.1
Swensson, B.2
Wretman, J.3
-
31
-
-
0017949597
-
An analysis of competing software reliability models
-
(March)
-
Schick, G. J. and Wolverton, R. W. An analysis of competing software reliability models. IEEE Transactions on Software Engineering, Vol. SE-4, No. 2 (March 1978), pp. 104-120.
-
(1978)
IEEE Transactions on Software Engineering
, vol.SE-4
, Issue.2
, pp. 104-120
-
-
Schick, G.J.1
Wolverton, R.W.2
-
32
-
-
0003945868
-
-
third edition, Iowa State University Press
-
Sukhatme, P. V., Sukhatme, B. V., Sukhatme, S., and Asok, C. Sampling Theory of Surveys With Applications, third edition, Iowa State University Press, 1984.
-
(1984)
Sampling Theory of Surveys with Applications
-
-
Sukhatme, P.V.1
Sukhatme, B.V.2
Sukhatme, S.3
Asok, C.4
-
33
-
-
0042617715
-
-
TRW technical report TRW-SS-76-03, March
-
Thayer, T. A., Lipow, M., and Nelson, E. C. Software Reliability, TRW technical report TRW-SS-76-03, March 1976.
-
(1976)
Software Reliability
-
-
Thayer, T.A.1
Lipow, M.2
Nelson, E.C.3
-
34
-
-
85031704142
-
On some reliability estimation problems in random and partition testing
-
(Austin, Texas, May), IEEE Computer Society Press, Los Alamitos, CA
-
Tsoukalas, M. Z., Duran, J. W., and Ntafos, S. C. On some reliability estimation problems in random and partition testing. Proceedings of the International Symposium on Software Reliability Engineering (Austin, Texas, May 1991), IEEE Computer Society Press, Los Alamitos, CA, pp. 194-201.
-
(1991)
Proceedings of the International Symposium on Software Reliability Engineering
, pp. 194-201
-
-
Tsoukalas, M.Z.1
Duran, J.W.2
Ntafos, S.C.3
-
35
-
-
85031679147
-
A generalized domain-based definition of software reliability
-
(Banff, Alberta, July) IEEE Computer Society Press, Los Alamitos, CA
-
S. N. Weiss and E. J. Weyuker, "A generalized domain-based definition of software reliability," Proceedings of the Workshop on Software Testing (Banff, Alberta, July 1986) IEEE Computer Society Press, Los Alamitos, CA, pp. 98-107.
-
(1986)
Proceedings of the Workshop on Software Testing
, pp. 98-107
-
-
Weiss, S.N.1
Weyuker, E.J.2
-
36
-
-
0026188143
-
Analyzing partition testing strategies
-
(July)
-
Weyuker, E. J. and Jeng, B. Analyzing partition testing strategies. IEEE Transactions on Software Engineering, Vol. 17, No. 7 (July 1991), pp. 703-711.
-
(1991)
IEEE Transactions on Software Engineering
, vol.17
, Issue.7
, pp. 703-711
-
-
Weyuker, E.J.1
Jeng, B.2
|