Functional program testing and analysis

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Functional program testing and analysis

Source

McGraw-Hill, Inc. New York, NY, USA

Year of Publication: 1986

ISBN:0-070-30550-1

Author

William E Howden

Publisher

McGraw-Hill, Inc. New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 51

Additional Information:

cited by index terms collaborative colleagues

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

CITED BY 51

	W. Hseush , G. E. Kaiser, Modeling concurrency in parallel debugging, ACM SIGPLAN Notices, v.25 n.3, p.11-20, Mar. 1990
	D. Gelperin , B. Hetzel, The growth of software testing, Communications of the ACM, v.31 n.6, p.687-695, June 1988
	W. E. Howden , Yudong Huang, Software trustability analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.1, p.36-64, Jan. 1995
	K. Olender , L. Osterweil, Cesar: a static sequencing constraint analyzer, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.66-74, Dec. 1989
	Kurt M. Olender , Leon J. Osterweil, Interprocedural static analysis of sequencing constraints, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.1, p.21-52, Jan. 1992
	Andy Podgurski, Reliability, sampling, and algorithmic randomness, Proceedings of the symposium on Testing, analysis, and verification, p.11-20, October 08-10, 1991, Victoria, British Columbia, Canada
	W. Howden, Validating programs without specifications, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.2-9, Dec. 1989
	Philip J. Bernhard, A reduced test suite for protocol conformance testing, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.3, p.201-220, July 1994
	Hong Zhu , Lingzi Jin , Dan Diaper , Ganghong Bai, Software requirements validation via task analysis, Journal of Systems and Software, v.61 n.2, p.145-169, March 2002
	R. Hamlet, Theoretical comparison of testing methods, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.28-37, Dec. 1989
	Hasan Ural , Bo Yang, Modeling software for accurate data flow representation, Proceedings of the 15th international conference on Software Engineering, p.277-286, May 17-21, 1993, Baltimore, Maryland, United States
	A. Jefferson Offutt , Stephen D. Lee, How strong is weak mutation?, Proceedings of the symposium on Testing, analysis, and verification, p.200-213, October 08-10, 1991, Victoria, British Columbia, Canada
	Mary Jean Harrold, The effects of optimizing transformations on data-flow adequate test sets, Proceedings of the symposium on Testing, analysis, and verification, p.130-138, October 08-10, 1991, Victoria, British Columbia, Canada
	W. E. Howden , Yudong Huang, Confidence oriented software dependability measurement, Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis, p.196, August 17-19, 1994, Seattle, Washington, United States
	P. Thévenod-Fosse , H. Waeselynck, STATEMATE applied to statistical software testing, ACM SIGSOFT Software Engineering Notes, v.18 n.3, p.99-109, July 1993
	Hong Zhu , Patrick A. V. Hall , John H. R. May, Software unit test coverage and adequacy, ACM Computing Surveys (CSUR), v.29 n.4, p.366-427, Dec. 1997
	Leon Osterweil, Strategic directions in software quality, ACM Computing Surveys (CSUR), v.28 n.4, p.738-750, Dec. 1996
	W. H. Deason , D. B. Brown , K. -H. Chang , J. H. Cross II, A Rule-Based Software Test Data Generator, IEEE Transactions on Knowledge and Data Engineering, v.3 n.1, p.108-117, March 1991
	A. Jefferson Offutt, Investigations of the software testing coupling effect, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.1, p.5-20, Jan. 1992
	A. Offutt, The coupling effect: fact or fiction, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.131-140, Dec. 1989
	Brian Marick, The weak mutation hypothesis, Proceedings of the symposium on Testing, analysis, and verification, p.190-199, October 08-10, 1991, Victoria, British Columbia, Canada
	Peng Lu, Test case generation for specification-based software testing, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.41, October 31-November 03, 1994, Toronto, Ontario, Canada
	Dechang Gu , Yin Zhong , Sarwar Ali, On testing of classes in object-oriented programs, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.22, October 31-November 03, 1994, Toronto, Ontario, Canada
	Joseph R. Horgan , Saul London , Michael R. Lyu, Achieving software quality with testing coverage measures, Computer, v.27 n.9, p.60-69, September 1994
	Sandro Morasca , Angelo Morzenti , Pieluigi SanPietro, Generating functional test cases in-the-large for time-critical systems from logic-based specifications, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.39-52, May 1996
	Wenwey Hseush , Gail E. Kaiser, Data path debugging: data-oriented debugging for a concurrent programming language, ACM SIGPLAN Notices, v.24 n.1, p.236-247, Jan. 1989
	Dino Mandrioli , Sandro Morasca , Angelo Morzenti, Generating test cases for real-time systems from logic specifications, ACM Transactions on Computer Systems (TOCS), v.13 n.4, p.365-398, Nov. 1995
	Richard A. DeMillo , A. Jefferson Offutt, Constraint-Based Automatic Test Data Generation, IEEE Transactions on Software Engineering, v.17 n.9, p.900-910, September 1991
	Edward W. Krauser , Aditya P. Mathur , Vernon J. Rego, High Performance Software Testing on SIMD Machines, IEEE Transactions on Software Engineering, v.17 n.5, p.403-423, May 1991
	Debra J. Richardson , Margaret C. Thompson, An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection, IEEE Transactions on Software Engineering, v.19 n.6, p.533-553, June 1993
	Piyu Tripathy , Behcet Sarikaya, Test Generation from LOTOS Specifications, IEEE Transactions on Computers, v.40 n.4, p.543-552, April 1991
	Sanping Chen , Shirley Mills, A Binary Markov Process Model for Random Testing, IEEE Transactions on Software Engineering, v.22 n.3, p.218-223, March 1996
	A. J. Offutt , S. D. Lee, An Empirical Evaluation of Weak Mutation, IEEE Transactions on Software Engineering, v.20 n.5, p.337-344, May 1994
	Pierluigi San Pietro , Angelo Morzenti , Sandro Morasca, Generation of Execution Sequences for Modular Time Critical Systems, IEEE Transactions on Software Engineering, v.26 n.2, p.128-149, February 2000
	Phil Stocks , David Carrington, A Framework for Specification-Based Testing, IEEE Transactions on Software Engineering, v.22 n.11, p.777-793, November 1996
	W. E. Howden , B. Wieand, QDA - A Method for Systematic Informal Program Analysis, IEEE Transactions on Software Engineering, v.20 n.6, p.445-462, June 1994
	William E. Howden, Comments Analysis and Programming Errors, IEEE Transactions on Software Engineering, v.16 n.1, p.72-81, January 1990
	Dennis K. Peters , David Lorge Parnas, Using Test Oracles Generated from Program Documentation, IEEE Transactions on Software Engineering, v.24 n.3, p.161-173, March 1998
	Daniel P. Siewiorek , Ram Chillarege , Zbigniew T. Kalbarczyk, Reflections on Industry Trends and Experimental Research in Dependability, IEEE Transactions on Dependable and Secure Computing, v.1 n.2, p.109-127, April 2004
	Kurt M. Olender , Leon J. Osterweil, Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation, IEEE Transactions on Software Engineering, v.16 n.3, p.268-280, March 1990
	B. Korel, Automated Software Test Data Generation, IEEE Transactions on Software Engineering, v.16 n.8, p.870-879, August 1990
	Amit Paradkar , K. C. Tai , M. A. Vouk, Specification-based testing using cause-effect graphs, Annals of Software Engineering, 4, p.133-157, 1997
	S. Morasca , A. Morzenti , P. San Pietro, A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO, Automated Software Engineering, v.7 n.2, p.125-155, May 2000
	A. A. Omar , F. A. Mohammed, A survey of software functional testing methods, ACM SIGSOFT Software Engineering Notes, v.16 n.2, p.75-82, April 1991
	Kenneth A. Foster, Arithmetic statement testing, ACM SIGSOFT Software Engineering Notes, v.16 n.3, p.74-77, July 1991
	Houman Younessi , Panlop Zeephongsekul , Winai Bodhisuwan, A General Model of Unit Testing Efficacy, Software Quality Control, v.10 n.1, p.69-92, July 2002
	K. A. Foster, Testing by identifying, ACM SIGSOFT Software Engineering Notes, v.14 n.5, p.64-65, July 1989
	Haklin Kimm , Sung Shin , Ho-sang Ham , Chang Oan Sung, Failure management development for integrated automotive safety-critical software systems, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
	Richard A. DeMillo, Software testing, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	Roland H. Untch, On reduced neighborhood mutation analysis using a single mutagenic operator, Proceedings of the 47th Annual Southeast Regional Conference, March 19-21, 2009, Clemson, South Carolina
	K.-C. Tai , M. A. Vouk , A. M. Paradkar , P. Lu, Evaluation of a predicate-based software testing strategy, IBM Systems Journal, v.33 n.3, p.445-457, July 1994