William E. Howden

57 papers A* 5A 4B 4C 2Journal 29Unranked 12
YearRankTypeTitle / Venue / Authors
2011 — conf
Error Models and Software Certification.
WOSOCER
William E. Howden
2011 — conf
Error-Based Software Testing and Analysis.
COMPSAC Workshops
William E. Howden
2009 — conf
Applicability of BET to Elusive Bugs in Diverse Application Areas.
ICSOFT (1)
M. Chaudhary, B. Chen, P. Desai, R. Hemmatti, F. Lionetti, T. Hachisuka, William E. Howden
2008 — conf
Elusive Bugs, Bounded Exhaustive Testing and Incomplete Oracles.
ICSOFT (SE/MUSE/GSDCA)
William E. Howden
2008 B conf
Superfit Combinational Elusive Bug Detection.
COMPSAC
R. Barzin, S. Fukushima, William E. Howden, S. Sharifi
2007 — conf
Test Frameworks for Elusive Bug Testing.
ICSOFT (SE)
William E. Howden, Cliff Rhyne
2005 — conf
Software Test Selection Patterns and Elusive Bugs.
COMPSAC (1)
William E. Howden
1998 — conf
Good Enough versus High Assurance Software Testing and Evaluation Methods.
HASE
William E. Howden
1997 A conf
Confidence-based reliability and statistical coverage estimation.
ISSRE
William E. Howden
1997 B conf
Systems testing and statistical test data coverage.
COMPSAC
William E. Howden
1996 C conf
Keynote Address: Auditing Informal Software Testing and Analysis Processes.
APSEC
William E. Howden
1996 A conf
Linear and Structural Event Sequence Analysis.
ISSTA
William E. Howden, G. M. Shi
1996 C conf
The Derivation of Functional Specifications from Source Code.
APSEC
William E. Howden, Suehee Pak
1995 J jnl
Software Trustability Analysis.
ACM Trans. Softw. Eng. Methodol.
William E. Howden, Yudong Huang
1995 B conf
Temporal Event Analysis and Program Understanding.
COMPSAC
William E. Howden, G. M. Shi
1994 A conf
Confidence Oriented Software Dependability Measurement (Abstract).
ISSTA
William E. Howden, Yudong Huang
1994 J jnl
QDA-A Method for Systematic Informal Program Analysis.
IEEE Trans. Software Eng.
William E. Howden, Bruce Wieand
1994 A conf
Software trustability.
ISSRE
William E. Howden, Yudong Huang
1992 — conf
Problem domain, structural and logical abstractions in reverse engineering.
ICSM
William E. Howden, Suehee Pak
1991 J jnl
An investigation of the applicability of data usage analysis.
J. Syst. Softw.
Linda L. Werner, William E. Howden
1991 — ed.
Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991, Victoria, British Columbia, Canada, October 8-10, 1991
TAV
William E. Howden
1991 J jnl
Program Testing versus Proofs of Correctness.
Softw. Test. Verification Reliab.
William E. Howden
1991 J jnl
Verification of complex systems using incremental operational specifications.
Inf. Sci.
William E. Howden, David Nesbitt, Cheron Vail, Bruce Wieand
1990 J jnl
Comments Analysis and Programming Errors.
IEEE Trans. Software Eng.
William E. Howden
1989 — conf
A Comparison of Software and Hardware Testing.
IFIP Congress
William E. Howden
1989 A* conf
Error-Based Validation Completeness.
ICSE
William E. Howden
1989 — conf
Validating Programs without Specifications.
Symposium on Testing, Analysis, and Verification
William E. Howden
1986 J jnl
A Functional Approach to Program Testing and Analysis.
IEEE Trans. Software Eng.
William E. Howden
1986 J jnl
Two-Dimensional Program Design.
IEEE Trans. Software Eng.
Shmuel Rotenstreich, William E. Howden
1985 J jnl
The Theory and Practice of Foundation Testing.
IEEE Softw.
William E. Howden
1984 A* ed.
Proceedings, 7th International Conference on Software Engineering, Orlando, Florida, USA, March 26-29, 1984.
ICSE
Terry A. Straeter, William E. Howden, Jean-Claude Rault
1982 J jnl
Contemporary Software Development Environments.
Commun. ACM
William E. Howden
1982 J jnl
Life-Cycle Software Validation.
Computer
William E. Howden
1982 J jnl
Proposals for tool and methodology evaluation experiments: ACM SIGSOFT sponsored software engineering symposium on tool and methodology evaluation.
ACM SIGSOFT Softw. Eng. Notes
William E. Riddle, Victor R. Basili, Les Belady, Carl Davis, Susan L. Gerhart, William E. Howden, John D. Musa, Leon G. Stucki
1982 J jnl
Validation of Scientific Programs.
ACM Comput. Surv.
William E. Howden
1982 J jnl
Weak Mutation Testing and Completeness of Test Sets.
IEEE Trans. Software Eng.
William E. Howden
1981 — conf
An approach to transfer verification and validation technology.
AFIPS National Computer Conference
Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden
1981 A* conf
Completeness Criteria for Testing Elementary Program Functions.
ICSE
William E. Howden
1981 J jnl
Contemporary software development environments.
ACM SIGSOFT Softw. Eng. Notes
William E. Howden, Paul Cohen, Al Irvine, James King, Patricia B. Powell, William E. Riddle, Leon G. Stucki, Leonard L. Tripp
1980 J jnl
Applicability of Software Validation Techniques to Scientific Programs.
ACM Trans. Program. Lang. Syst.
William E. Howden
1980 J jnl
Functional Program Testing.
IEEE Trans. Software Eng.
William E. Howden
1980 J jnl
Functional testing and design abstractions.
J. Syst. Softw.
William E. Howden
1978 J jnl
Algebraic Program Testing.
Acta Informatica
William E. Howden
1978 J jnl
An Evaluation of the Effectiveness of Symbolic Testing.
Softw. Pract. Exp.
William E. Howden
1978 J jnl
DISSECT-A Symbolic Evaluation and Program Testing System.
IEEE Trans. Software Eng.
William E. Howden
1978 B conf
Functional program testing.
COMPSAC
William E. Howden
1978 J jnl
Lindenmayer Grammars and Symbolic Testing.
Inf. Process. Lett.
William E. Howden
1978 A* conf
Theoretical and Empirical Studies of Program Testing.
ICSE
William E. Howden
1978 J jnl
Theoretical and Empirical Studies of Program Testing.
IEEE Trans. Software Eng.
William E. Howden
1977 J jnl
Symbolic Testing and the DISSECT Symbolic Evaluation System.
IEEE Trans. Software Eng.
William E. Howden
1976 — conf
Experiments with a symbolic evaluation system.
AFIPS National Computer Conference
William E. Howden
1976 J jnl
Reliability of the Path Analysis Testing Strategy.
IEEE Trans. Software Eng.
William E. Howden
1975 J jnl
Methodology for the Generation of Program Test Data.
IEEE Trans. Computers
William E. Howden
1975 J jnl
Solution plans and interactive problem solving.
Comput. Graph.
William E. Howden
1974 A* conf
Solution plans and interactive problem solving.
SIGGRAPH
William E. Howden
1968 J jnl
The sofa problem.
Comput. J.
William E. Howden
1967 J jnl
A program for the construction of PERT flow charts.
Comput. J.
William E. Howden