Reliability, sampling, and algorithmic randomness

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Reliability, sampling, and algorithmic randomness

Full text

Pdf (1.02 MB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the symposium on Testing, analysis, and verification table of contents

Victoria, British Columbia, Canada

Pages: 11 - 20

Year of Publication: 1991

ISBN:0-89791-449-X

Author

Andy Podgurski

Computer Engineering & Science Department, Case Western Reserve University, Cleveland, Ohio

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 13, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/120807.120809 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Adri82	W. Richards Adrion , Martha A. Branstad , John C. Cherniavsky, Validation, Verification, and Testing of Computer Software, ACM Computing Surveys (CSUR), v.14 n.2, p.159-192, June 1982 [doi>10.1145/356876.356879]
	Barn82	V. Barnett, Comparative Statistical Inference, Wiley, New York, NY, 1982.
	Box78	G. E. P. Box, W. G. Hunter, J. S. Hunter, Statistics for Experimenters, Wiley, New York, NY, 1978.
	Brow75	J. R. Brown , M. Lipow, Testing for software reliability, Proceedings of the international conference on Reliable software, p.518-527, April 21-23, 1975, Los Angeles, California
	Budd80	Timothy A. Budd , Richard A. DeMillo , Richard J. Lipton , Frederick G. Sayward, Theoretical and empirical studies on using program mutation to test the functional correctness of programs, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.220-233, January 28-30, 1980, Las Vegas, Nevada [doi>10.1145/567446.567468]
	Calu88	Cristian Calude, Theories of computational complexity, Elsevier Science Inc., New York, NY, 1988
	Chai87	Gregory J. Chaitin, Algorithmic information theory, Cambridge University Press, New York, NY, 1987
	Cher86	J. C. Cherniavsky and C. H. Smith, "A theory of program testing with applications ," Proceedings of the Workshop on Soflware Testing, Banff, Alberta, July 1986, IEEE Computer Society Press, pp. 110-21.
	Cho87	C. Cho, Quality Programming, Wiley, New York, NY, 1987.
	Coch77	W. G. Cochran, Sampling Techniques, Wiley, New York, NY, 1977.
	Cohe89	L. J. Cohen, The Philosophy of Induction and Probability, oxford University Press, Oxford, England, 1989.
	Corm90	Thomas T. Cormen , Charles E. Leiserson , Ronald L. Rivest, Introduction to algorithms, MIT Press, Cambridge, MA, 1990
	Curr86	P A Currit , M Dyer , H D Mills, Certifying the reliability of software, IEEE Transactions on Software Engineering, v.12 n.1, p.3-11, Jan. 1986
	Dale87	C. Dale, "Data requirements for software reliability prediction," Software Reliability: Assessment and Achievement, B. Littlewood editor, Blackwell, London, pp. 144-153, 1987.
	DeGr86	M. H. DeGroot, Probability and Statistics, Addison-Wesley, Reading, MA, 1986.
	DeMi79	Richard A. De Millo , Richard J. Lipton , Alan J. Perlis, Social processes and proofs of theorems and programs, Communications of the ACM, v.22 n.5, p.271-280, May 1979 [doi>10.1145/359104.359106]
	Dijk76	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	Dura80	J. W. Duran and J. J. Wiorkowski, "Quantifying software validity by sampling," IEEE Transactions on Reliability, Vol. R- 29, No. 2, pp. 141-144, June 1980.
	Dura81	Joe W. Duran , Simeon Ntafos, A report on random testing, Proceedings of the 5th international conference on Software engineering, p.179-183, March 09-12, 1981, San Diego, California, United States
	Dura84	J. W. Duran and S. Ntafos,"An evaluation of random testing," IEEE Transactions on Software Engineering, Vol. SE-10, pp. 438-444, July 1984.
	Fine73	T. L. Fine, Theories of Probabihty, Academic Press, New York, NY, 1973.
	Foy67	R. W. Floyd, "Assigning meaning to programs," Proceedings of the Symposium on Applied Mathematics, American Mathematical Society, New York, NY, pp. 19-31, 1967.
	Goel85	A. L. Goel, "Soft ware reliability models: assumptions, limitations, applicability," IEEE Transactions on Software Engineering, Vol. SE11, No. 12, pp. 1411-1423, December 1985.
	Haml87	Richard G. Hamlet, Probable correctness theory, Information Processing Letters, v.25 n.1, p.17-25, 20 April 1987 [doi>10.1016/0020-0190(87)90088-3]
	Haml90	Dick Hamlet , Ross Taylor, Partition Testing Does Not Inspire Confidence (Program Testing), IEEE Transactions on Software Engineering, v.16 n.12, p.1402-1411, December 1990 [doi>10.1109/32.62448]
	Hoar69	C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969 [doi>10.1145/363235.363259]
	Howd76	W. E. Howden, "Reliability of the path analysis test ing strategy," IEEE Transactions on Software Engineering, Vol. SE-2, No. 3, pp. 280-295, September 1976.
	Howd87	William E Howden, Functional program testing and analysis, McGraw-Hill, Inc., New York, NY, 1986
	Kief87	J Kiefer , G Lorden, Lectures on statistical inference, Springer-Verlag New York, Inc., New York, NY, 1986
	Klem88	E. D. Klemke, R. Hollinger, and A. D. Kline, editors, Introductory Readings in the Philosophy of Science, Prometheus Books, Buffalo, NY, 1988.
	Knut81	Donald E. Knuth, The Art of Computer Programming Volumes 1-3 Boxed Set, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
	Knut89	D. E. Knuth, The errors of TEX, Software—Practice & Experience, v.19 n.7, p.607-685, July 1989 [doi>10.1002/spe.4380190702]
	Leve88	Nancy G. Leveson, Software safety: why, what, and how, ACM Computing Surveys (CSUR), v.18 n.2, p.125-163, June 1986 [doi>10.1145/7474.7528]
	Li90	Ming Li , Paul M. B. Vitányi, Kolmogorov complexity and its applications, Handbook of theoretical computer science (vol. A): algorithms and complexity, MIT Press, Cambridge, MA, 1991
	Litt80	B. Littlewood, "Theories of software reliability: How good are they and how can they be improved?", IEEE Transactions on Software Engineering, Vol. SE-6, No. 5, pp. 489-500, September 1980.
	Litt90	B. Littlewood, "Modelling growth in software reliability," Software Reliability Handbook, P. Rook editor, Elsevier, New York, NY, pp. 137-154, 1990.
	Loec84	Jacques Loeckx , Kurt Sieber , Ryan D. Stansifer, The foundations of program verification, John Wiley & Sons, Inc., New York, NY, 1985
	Mill72	H. D. Mills, "On the statistical validation of computer programs," IBM Federal Systems Division, Gaithersburg, MD, Rep. 72-6015, 1972.
	Mill88	D. R. Miller, "The role of statistical modelling and inference in software quality assurance," CSR Workshop on Software Certification, Gatwick, England, September 1988.
	Mise39	R. von Mises, Probability, Statistics, and Truth, MacMillan, New York, NY, 1939.
	Musa87	John D. Musa , Anthony Iannino , Kazuhira Okumoto, Software reliability: measurement, prediction, application, McGraw-Hill, Inc., New York, NY, 1987
	Parn90	David L. Parnas , A. John van Schouwen , Shu Po Kwan, Evaluation of safety-critical software, Communications of the ACM, v.33 n.6, p.636-648, June 1990 [doi>10.1145/78973.78974]
	Roge67	Hartley Rogers, Jr., Theory of recursive functions and effective computability, MIT Press, Cambridge, MA, 1987
	Rowl81	John H. Rowland , Philip J. Davis, On the Use of Transcendentals for Program Testing, Journal of the ACM (JACM), v.28 n.1, p.181-190, Jan. 1981 [doi>10.1145/322234.322247]
	Thay78	T. A. Thayer, M. Lipow, and E. C. Nelson, Software Reliability, TRW Series of Software Technology 2, North Holland, New York, NY, 1978.
	Weis86	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, PP. 98-107.