A program for the construction of PERT flow charts. - William E. Howden (Comput. J., 1967)

The sofa problem. - William E. Howden (Comput. J., 1968)

Solution plans and interactive problem solving. - William E. Howden (Comput. Graph., 1975)

Methodology for the Generation of Program Test Data. - William E. Howden (IEEE Trans. Computers, 1975)

Experiments with a symbolic evaluation system. - William E. Howden (AFIPS National Computer Conference, 1976)

Reliability of the Path Analysis Testing Strategy. - William E. Howden (IEEE Trans. Software Eng., 1976)

Symbolic Testing and the DISSECT Symbolic Evaluation System. - William E. Howden (IEEE Trans. Software Eng., 1977)

Algebraic Program Testing. - William E. Howden (Acta Informatica, 1978)

Lindenmayer Grammars and Symbolic Testing. - William E. Howden (Inf. Process. Lett., 1978)

An Evaluation of the Effectiveness of Symbolic Testing. - William E. Howden (Softw. Pract. Exp., 1978)

DISSECT-A Symbolic Evaluation and Program Testing System. - William E. Howden (IEEE Trans. Software Eng., 1978)

Theoretical and Empirical Studies of Program Testing. - William E. Howden (IEEE Trans. Software Eng., 1978)

Functional testing and design abstractions. - William E. Howden (J. Syst. Softw., 1980)

Applicability of Software Validation Techniques to Scientific Programs. - William E. Howden (ACM Trans. Program. Lang. Syst., 1980)

Functional Program Testing. - William E. Howden (IEEE Trans. Software Eng., 1980)

An approach to transfer verification and validation technology. - Mark K. Smith; Leonard L. Tripp; Leon J. Osterweil; Richard N. Taylor; William E. Howden (AFIPS National Computer Conference, 1981)

Completeness Criteria for Testing Elementary Program Functions. - William E. Howden (ICSE, 1981)

Contemporary software development environments. - William E. Howden; Paul Cohen; Al Irvine; James King; Patricia B. Powell; William E. Riddle; Leon G. Stucki; Leonard L. Tripp (ACM SIGSOFT Softw. Eng. Notes, 1981)

Contemporary Software Development Environments. - William E. Howden (Commun. ACM, 1982)

Life-Cycle Software Validation. - William E. Howden (Computer, 1982)

Validation of Scientific Programs. - William E. Howden (ACM Comput. Surv., 1982)

Proposals for tool and methodology evaluation experiments: ACM SIGSOFT sponsored software engineering symposium on tool and methodology evaluation. - William E. Riddle; Victor R. Basili; Les Belady; Carl Davis; Susan L. Gerhart; William E. Howden; John D. Musa; Leon G. Stucki (ACM SIGSOFT Softw. Eng. Notes, 1982)

Weak Mutation Testing and Completeness of Test Sets. - William E. Howden (IEEE Trans. Software Eng., 1982)

The Theory and Practice of Foundation Testing. - William E. Howden (IEEE Softw., 1985)

A Functional Approach to Program Testing and Analysis. - William E. Howden (IEEE Trans. Software Eng., 1986)

Two-Dimensional Program Design. - Shmuel Rotenstreich; William E. Howden (IEEE Trans. Software Eng., 1986)

Error-Based Validation Completeness. - William E. Howden (ICSE, 1989)

A Comparison of Software and Hardware Testing. - William E. Howden (IFIP Congress, 1989)

Validating Programs without Specifications. - William E. Howden (Symposium on Testing, Analysis, and Verification, 1989)

Comments Analysis and Programming Errors. - William E. Howden (IEEE Trans. Software Eng., 1990)

Verification of complex systems using incremental operational specifications. - William E. Howden; David Nesbitt; Cheron Vail; Bruce Wieand (Inf. Sci., 1991)

An investigation of the applicability of data usage analysis. - Linda L. Werner; William E. Howden (J. Syst. Softw., 1991)

Program Testing versus Proofs of Correctness. - William E. Howden (Softw. Test. Verification Reliab., 1991)

Problem domain, structural and logical abstractions in reverse engineering. - William E. Howden; Suehee Pak (ICSM, 1992)

Software trustability. - William E. Howden; Yudong Huang (ISSRE, 1994)

Confidence Oriented Software Dependability Measurement (Abstract). - William E. Howden; Yudong Huang (ISSTA, 1994)

QDA-A Method for Systematic Informal Program Analysis. - William E. Howden; Bruce Wieand (IEEE Trans. Software Eng., 1994)

Temporal Event Analysis and Program Understanding. - William E. Howden; G. M. Shi (COMPSAC, 1995)

Software Trustability Analysis. - William E. Howden; Yudong Huang (ACM Trans. Softw. Eng. Methodol., 1995)

Keynote Address: Auditing Informal Software Testing and Analysis Processes. - William E. Howden (APSEC, 1996)

The Derivation of Functional Specifications from Source Code. - William E. Howden; Suehee Pak (APSEC, 1996)

Linear and Structural Event Sequence Analysis. - William E. Howden; G. M. Shi (ISSTA, 1996)

Systems testing and statistical test data coverage. - William E. Howden (COMPSAC, 1997)

Confidence-based reliability and statistical coverage estimation. - William E. Howden (ISSRE, 1997)

Good Enough versus High Assurance Software Testing and Evaluation Methods. - William E. Howden (HASE, 1998)

Software Test Selection Patterns and Elusive Bugs. - William E. Howden (COMPSAC (1), 2005)

Test Frameworks for Elusive Bug Testing. - William E. Howden; Cliff Rhyne (ICSOFT (SE), 2007)

Superfit Combinational Elusive Bug Detection. - R. Barzin; S. Fukushima; William E. Howden; S. Sharifi (COMPSAC, 2008)

Elusive Bugs, Bounded Exhaustive Testing and Incomplete Oracles. - William E. Howden (ICSOFT (SE/MUSE/GSDCA), 2008)

Applicability of BET to Elusive Bugs in Diverse Application Areas. - M. Chaudhary; B. Chen; P. Desai; R. Hemmatti; F. Lionetti; T. Hachisuka; William E. Howden (ICSOFT (1), 2009)

Error-Based Software Testing and Analysis. - William E. Howden (COMPSAC Workshops, 2011)

Error Models and Software Certification. - William E. Howden (WOSOCER, 2011)