William E. Howden

According to our database1, William E. Howden
  • authored at least 49 papers between 1974 and 2011.
  • has a "Dijkstra number"2 of four.

Awards

IEEE Fellow

IEEE Fellow 2001, "For contributions to functional testing for software.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Error-Based Software Testing and Analysis.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2008
Elusive Bugs, Bounded Exhaustive Testing and Incomplete Oracles.
Proceedings of the ICSOFT 2008, 2008

Superfit Combinational Elusive Bug Detection.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
Test Frameworks for Elusive Bug Testing.
Proceedings of the ICSOFT 2007, 2007

2005
Software Test Selection Patterns and Elusive Bugs.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

1998
Good Enough versus High Assurance Software Testing and Evaluation Methods.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997
Confidence-based reliability and statistical coverage estimation.
Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

Systems testing and statistical test data coverage.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Linear and Structural Event Sequence Analysis.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

The Derivation of Functional Specifications from Source Code.
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

Keynote Address: Auditing Informal Software Testing and Analysis Processes.
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995
Software Trustability Analysis.
ACM Trans. Softw. Eng. Methodol., 1995

Temporal Event Analysis and Program Understanding.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994
QDA-A Method for Systematic Informal Program Analysis.
IEEE Trans. Software Eng., 1994

Confidence Oriented Software Dependability Measurement (Abstract).
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

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

1991
Program Testing versus Proofs of Correctness.
Softw. Test., Verif. Reliab., 1991

An investigation of the applicability of data usage analysis.
Journal of Systems and Software, 1991

Verification of complex systems using incremental operational specifications.
Inf. Sci., 1991

1990
Comments Analysis and Programming Errors.
IEEE Trans. Software Eng., 1990

1989
Validating Programs without Specifications.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

A Comparison of Software and Hardware Testing.
IFIP Congress, 1989

Error-Based Validation Completeness.
Proceedings of the 11th International Conference on Software Engineering, 1989

1986
Two-Dimensional Program Design.
IEEE Trans. Software Eng., 1986

A Functional Approach to Program Testing and Analysis.
IEEE Trans. Software Eng., 1986

1985
The Theory and Practice of Foundation Testing.
IEEE Software, 1985

1982
Weak Mutation Testing and Completeness of Test Sets.
IEEE Trans. Software Eng., 1982

Validation of Scientific Programs.
ACM Comput. Surv., 1982

Life-Cycle Software Validation.
IEEE Computer, 1982

Contemporary Software Development Environments.
Commun. ACM, 1982

1981
Completeness Criteria for Testing Elementary Program Functions.
Proceedings of the 5th International Conference on Software Engineering, 1981

An approach to transfer verification and validation technology.
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980
Functional Program Testing.
IEEE Trans. Software Eng., 1980

Applicability of Software Validation Techniques to Scientific Programs.
ACM Trans. Program. Lang. Syst., 1980

Functional testing and design abstractions.
Journal of Systems and Software, 1980

1978
Theoretical and Empirical Studies of Program Testing.
IEEE Trans. Software Eng., 1978

DISSECT-A Symbolic Evaluation and Program Testing System.
IEEE Trans. Software Eng., 1978

An Evaluation of the Effectiveness of Symbolic Testing.
Softw., Pract. Exper., 1978

Lindenmayer Grammars and Symbolic Testing.
Inf. Process. Lett., 1978

Algebraic Program Testing.
Acta Inf., 1978

Theoretical and Empirical Studies of Program Testing.
Proceedings of the 3rd International Conference on Software Engineering, 1978

Functional program testing.
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977
Symbolic Testing and the DISSECT Symbolic Evaluation System.
IEEE Trans. Software Eng., 1977

1976
Reliability of the Path Analysis Testing Strategy.
IEEE Trans. Software Eng., 1976

Experiments with a symbolic evaluation system.
Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

1975
Methodology for the Generation of Program Test Data.
IEEE Trans. Computers, 1975

Solution plans and interactive problem solving.
Computers & Graphics, 1975

1974
Solution plans and interactive problem solving.
Proceedings of the 1st Annual Conference on Computer Graphics and Interactive Techniques, 1974


  Loading...