William E. Howden

According to our database, William E. Howden authored at least 52 papers between 1967 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

Error Models and Software Certification.

William E. Howden

Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011

Error-Based Software Testing and Analysis.

William E. Howden

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2009

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

Proceedings of the ICSOFT 2009, 2009

2008

Elusive Bugs, Bounded Exhaustive Testing and Incomplete Oracles.

William E. Howden

Proceedings of the ICSOFT 2008, 2008

Superfit Combinational Elusive Bug Detection.

R. Barzin, S. Fukushima, William E. Howden, S. Sharifi

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Test Frameworks for Elusive Bug Testing.

William E. Howden, Cliff Rhyne

Proceedings of the ICSOFT 2007, 2007

2005

Software Test Selection Patterns and Elusive Bugs.

William E. Howden

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

1998

Good Enough versus High Assurance Software Testing and Evaluation Methods.

William E. Howden

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997

Confidence-based reliability and statistical coverage estimation.

William E. Howden

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

Systems testing and statistical test data coverage.

William E. Howden

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Linear and Structural Event Sequence Analysis.

William E. Howden, G. M. Shi

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

The Derivation of Functional Specifications from Source Code.

William E. Howden, Suehee Pak

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

Keynote Address: Auditing Informal Software Testing and Analysis Processes.

William E. Howden

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

Software Trustability Analysis.

William E. Howden, Yudong Huang

ACM Trans. Softw. Eng. Methodol., 1995

Temporal Event Analysis and Program Understanding.

William E. Howden, G. M. Shi

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

QDA-A Method for Systematic Informal Program Analysis.

William E. Howden, Bruce Wieand

IEEE Trans. Software Eng., 1994

Confidence Oriented Software Dependability Measurement (Abstract).

William E. Howden, Yudong Huang

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Software trustability.

William E. Howden, Yudong Huang

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1992

Problem domain, structural and logical abstractions in reverse engineering.

William E. Howden, Suehee Pak

Proceedings of the Conference on Software Maintenance, 1992

1991

Program Testing versus Proofs of Correctness.

William E. Howden

Softw. Test. Verification Reliab., 1991

An investigation of the applicability of data usage analysis.

Linda L. Werner, William E. Howden

J. Syst. Softw., 1991

Verification of complex systems using incremental operational specifications.

William E. Howden, David Nesbitt, Cheron Vail, Bruce Wieand

Inf. Sci., 1991

1990

Comments Analysis and Programming Errors.

William E. Howden

IEEE Trans. Software Eng., 1990

1989

Validating Programs without Specifications.

William E. Howden

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

A Comparison of Software and Hardware Testing.

William E. Howden

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Error-Based Validation Completeness.

William E. Howden

Proceedings of the 11th International Conference on Software Engineering, 1989

1986

Two-Dimensional Program Design.

Shmuel Rotenstreich, William E. Howden

IEEE Trans. Software Eng., 1986

A Functional Approach to Program Testing and Analysis.

William E. Howden

IEEE Trans. Software Eng., 1986

1985

The Theory and Practice of Foundation Testing.

William E. Howden

IEEE Softw., 1985

1982

Weak Mutation Testing and Completeness of Test Sets.

William E. Howden

IEEE Trans. Software Eng., 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

Validation of Scientific Programs.

William E. Howden

ACM Comput. Surv., 1982

Life-Cycle Software Validation.

William E. Howden

Computer, 1982

Contemporary Software Development Environments.

William E. Howden

Commun. ACM, 1982

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

Completeness Criteria for Testing Elementary Program Functions.

William E. Howden

Proceedings of the 5th International Conference on Software Engineering, 1981

An approach to transfer verification and validation technology.

Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980

Functional Program Testing.

William E. Howden

IEEE Trans. Software Eng., 1980

Applicability of Software Validation Techniques to Scientific Programs.

William E. Howden

ACM Trans. Program. Lang. Syst., 1980

Functional testing and design abstractions.

William E. Howden

J. Syst. Softw., 1980

1978

Theoretical and Empirical Studies of Program Testing.

William E. Howden

IEEE Trans. Software Eng., 1978

DISSECT-A Symbolic Evaluation and Program Testing System.

William E. Howden

IEEE Trans. Software Eng., 1978

An Evaluation of the Effectiveness of Symbolic Testing.

William E. Howden

Softw. Pract. Exp., 1978

Lindenmayer Grammars and Symbolic Testing.

William E. Howden

Inf. Process. Lett., 1978

Algebraic Program Testing.

William E. Howden

Acta Informatica, 1978

1977

Symbolic Testing and the DISSECT Symbolic Evaluation System.

William E. Howden

IEEE Trans. Software Eng., 1977

1976

Reliability of the Path Analysis Testing Strategy.

William E. Howden

IEEE Trans. Software Eng., 1976

Experiments with a symbolic evaluation system.

William E. Howden

Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

1975

Methodology for the Generation of Program Test Data.

William E. Howden

IEEE Trans. Computers, 1975

Solution plans and interactive problem solving.

William E. Howden

Comput. Graph., 1975

1968

The sofa problem.

William E. Howden

Comput. J., 1968

1967

A program for the construction of PERT flow charts.

William E. Howden

Comput. J., 1967