Rethinking the taxonomy of fault detection techniques

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Rethinking the taxonomy of fault detection techniques

Full text

Pdf (1.29 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 11th international conference on Software engineering table of contents

Pittsburgh, Pennsylvania, United States

Pages: 53 - 62

Year of Publication: 1989

ISBN:0-8186-1941-4

Authors

Michael Young	Department of Information and Computer Science, University of CaIifornia, Irvine
Richard N. Taylor	Department of Information and Computer Science, University of CaIifornia, Irvine

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 66, Citation Count: 7

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	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/74587.74593 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.

	ADWR86	G S Avrunin , L K Dillon , J C Wileden , W E Riddle, Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems, IEEE Transactions on Software Engineering, v.12 n.2, p.278-292, Feb. 1986
	CES86	E. M. Clarke , E. A. Emerson , A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.244-263, April 1986 [doi>10.1145/5397.5399]
	CPRZ85	Lori A. Clarke , Andy Podgurski , Debra J. Richardson , Steven J. Zeil, A comparison of data flow path selection criteria, Proceedings of the 8th international conference on Software engineering, p.244-251, August 28-30, 1985, London, England
	EFRV86	G Estrin , R S Fenchel , R R Razouk , M K Vernon, SARA (system architects apprentice): modeling, analysis, and simulation support for design of concurrent systems, IEEE Transactions on Software Engineering, v.12 n.2, p.293-311, Feb. 1986
	FRV85	J. C. Fernandez , Jean-Luc Richier , Jacques Voiron, Verification of protocol specificaitons using the CESAR system, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V, p.71-90, June 10-13, 1985
	FW86	Phyllis G. Frank1 and Elaine J. Weyuker. Data flow testing in the presence of unexecutable paths. In Proc. 1st Workshop on Software Testing, pages 413, Banff, Canada, July 1986. ACM/Sigsoft and IEEECS.
	Ham87	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]
	HK76	Sidney L. Hantler , James C. King, An Introduction to Proving the Correctness of Programs, ACM Computing Surveys (CSUR), v.8 n.3, p.331-353, Sept. 1976 [doi>10.1145/356674.356677]
	Hol87	Gerard J. Holzmann, Automated protocol validation in Argos: assertion proving and scatter searching, IEEE Transactions on Software Engineering, v.13 n.6, p.683-696, June 1987 [doi>10.1109/TSE.1987.233206]
	How77	William E. Howden. Symbolic testing and the DISSECT symbolic evaluation system. IEEE Trans. Software Eng., SE-3(4):266278, July 1977.
	How81a	William E. Howden. A survey of dynamic analysis methods. In E. Miller and W.E. Howden, editors, Tutorial: Software Tesfing d Validation Techniques, pages 209-231. IEEE Computer Society Press, 1981. Second Edition.
	How81b	William E. Howden. A survey of static analysis methods. In E. Miller and W.E. Howden, editors, fitorial: Software Testirig d Validation Techniques, pages 101-115. IEEE Computer Society Press, 1981. Second Edition.
	HT88	Dick Hamlet and Ross Taylor. Partition testing does not inspire confidence. In Proc. 2nd Workshop on Software Testing, Analysis, and Verification, pages 206-215, Banff, Canada, July 1988. ACM/Sigsoft and IEEECS.
	KE85	Richard A. Kemmerer and Steven T. Eckmann. UNISEX: a Unix-based symbolic executor for Pascal. Soffwan - Pmctice d Ezperience, 15(5):439-458, May 1985.
	LC89	Douglas L. Long , Lori A. Clarke, Task interaction graphs for concurrency analysis, Proceedings of the 11th international conference on Software engineering, p.44-52, May 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74587.74592]
	LHM+87	David Luckham, David Helmbold, S. Meldal, Doug Bryan, and M.A. Haberler. Task sequencing language for specifying distributed Ada systems - T&l. Technical Report CSL-TR-87-334, Computer Systems Laboratory, Stanford University, July 1987.
	LvH85	David C. Luckham and Friedrich W. van Henke. An overview of ANNA, a specification language for Ada. IEEE Software, 2(2):9-22, March 1985.
	Mer74	Philip Meir Merlin, A study of the recoverability of computing systems., 1974
	MH81	Edward Miller and William E. Howden. 'Zbtorial: Software Testing d Validafion Techniques. IEEE Computer Society Press, second edition, 1981.
	MR87	E. Timothy Morgan , Rami R. Razouk, Interactive state-space analysis of concurrent systems, IEEE Transactions on Software Engineering, v.13 n.10, p.1080-1091, October 1, 1987 [doi>10.1109/TSE.1987.232850]
	OF76	Leon J. Osterweil and Lloyd D. Fcsdick. DAVE - a validation, error detection, and documentation system for FORTRAN programs. Soflworc - Pmdice d Experience, 6:473-486,1976.
	OO86	Kurt M. Olender and Leon J. Osterweil. Specification and static evaluation of sequencing constraints in software. In Proc. 1st Workshop on Sopware Testing, pages 14-22, Banff, Canada, July 1986. ACM/Sigsoft and IEEECS.
	Ost84	Leon Osterweil, Integrating the testing, analysis and debugging of programs, Proc. of a symposium on Software validation: inspection-testing-verification-alternatives, p.73-102, October 1984, Darmstadt, Germany
	Pet81	James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	Raz87	Rami R. Razouk. A guided tour of P-NUT. Technical Report 8625, U. California, 1987.
	RC85	Debra J. Richardson and Lori A. Clarke. Partition analysis: A method combining testing and verification. IEEE fins. Software Eng., SE-11(12):1477-1490, December 1985.
	RW82	Sandra Rapps , Elaine J. Weyuker, Data flow analysis techniques for test data selection, Proceedings of the 6th international conference on Software engineering, p.272-278, September 13-16, 1982, Tokyo, Japan
	Tay83	Richard N. Taylor, A general-purpose algorithm for analyzing concurrent programs, Communications of the ACM, v.26 n.5, p.361-376, May 1983 [doi>10.1145/69586.69587]
	Tay84	Richard N. Taylor, Analysis of concurrent software by cooperative application of static and dynamic techniques, Proc. of a symposium on Software validation: inspection-testing-verification-alternatives, p.127-137, October 1984, Darmstadt, Germany
	You88	Michal Young. How to leave out detaila: Error-preserving abstractions state-space models. In Proc. 2nd Warkshop on Software Testing, Analysis, and Verification, pages 63- 70, Banff, Canada, July 1988.
	YT88	M. Young , R. M. Taylor, Combining Static Concurrency Analysis with Symbolic Execution, IEEE Transactions on Software Engineering, v.14 n.10, p.1499-1511, October 1988 [doi>10.1109/32.6195]
	ZS86	P Zave , W Schell, Salient features of and executable specification language and its environment, IEEE Transactions on Software Engineering, v.12 n.2, p.312-325, Feb. 1986

CITED BY 7

	Debra J. Richardson , Stephanie Leif Aha , T. Owen O'Malley, Specification-based test oracles for reactive systems, Proceedings of the 14th international conference on Software engineering, p.105-118, May 11-15, 1992, Melbourne, Australia
	David P. Helmbold , Charles E. McDowell, Computing reachable states of parallel programs, ACM SIGPLAN Notices, v.26 n.12, p.76-84, Dec. 1991
	V. R. Basili, Recent advances in software measurement (abstract and references for talk), Proceedings of the 12th international conference on Software engineering, p.44-49, March 26-30, 1990, Nice, France
	Alberto Coen-Porisini , Flavio De Paoli , Carlo Ghezzi , Dino Mandrioli, Software Specialization Via Symbolic Execution, IEEE Transactions on Software Engineering, v.17 n.9, p.884-899, September 1991
	Joseph R. Ruthruff , Sebastian Elbaum , Gregg Rothermel, Experimental program analysis: a new program analysis paradigm, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
	Robert M. Hierons , Kirill Bogdanov , Jonathan P. Bowen , Rance Cleaveland , John Derrick , Jeremy Dick , Marian Gheorghe , Mark Harman , Kalpesh Kapoor , Paul Krause , Gerald Lüttgen , Anthony J. H. Simons , Sergiy Vilkomir , Martin R. Woodward , Hussein Zedan, Using formal specifications to support testing, ACM Computing Surveys (CSUR), v.41 n.2, p.1-76, February 2009
	Haihao Shen , Sai Zhang , Jianjun Zhao , Jianhong Fang , Shiyuan Yao, XFindBugs: eXtended FindBugs for AspectJ, Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, November 09-10, 2008, Atlanta, Georgia