| 2008 |
|---|
| 42 | EE | R. Barzin,
S. Fukushima,
William E. Howden,
S. Sharifi:
Superfit Combinational Elusive Bug Detection.
COMPSAC 2008: 144-151 |
| 41 | | William E. Howden:
Elusive Bugs, Bounded Exhaustive Testing and Incomplete Oracles.
ICSOFT (SE/MUSE/GSDCA) 2008: 115-121 |
| 2007 |
|---|
| 40 | | William E. Howden,
Cliff Rhyne:
Test Frameworks for Elusive Bug Testing.
ICSOFT (SE) 2007: 250-257 |
| 2005 |
|---|
| 39 | EE | William E. Howden:
Software Test Selection Patterns and Elusive Bugs.
COMPSAC (1) 2005: 25-32 |
| 1998 |
|---|
| 38 | EE | William E. Howden:
Good Enough versus High Assurance Software Testing and Evaluation Methods.
HASE 1998: 166- |
| 1997 |
|---|
| 37 | EE | William E. Howden:
Systems testing and statistical test data coverage.
COMPSAC 1997: 500-504 |
| 1996 |
|---|
| 36 | EE | William E. Howden,
Suehee Pak:
The Derivation of Functional Specifications from Source Code.
APSEC 1996: 166- |
| 35 | EE | William E. Howden:
Keynote Address: Auditing Informal Software Testing and Analysis Processes.
APSEC 1996: 332- |
| 34 | EE | William E. Howden,
G. M. Shi:
Linear and Structural Event Sequence Analysis.
ISSTA 1996: 98-106 |
| 1995 |
|---|
| 33 | EE | William E. Howden,
G. M. Shi:
Temporal Event Analysis and Program Understanding.
COMPSAC 1995: 4-11 |
| 32 | EE | William E. Howden,
Yudong Huang:
Software Trustability Analysis.
ACM Trans. Softw. Eng. Methodol. 4(1): 36-64 (1995) |
| 1994 |
|---|
| 31 | EE | William E. Howden,
Yudong Huang:
Confidence Oriented Software Dependability Measurement (Abstract).
ISSTA 1994: 196 |
| 30 | EE | William E. Howden,
Bruce Wieand:
QDA-A Method for Systematic Informal Program Analysis.
IEEE Trans. Software Eng. 20(6): 445-462 (1994) |
| 1991 |
|---|
| 29 | EE | William E. Howden,
David Nesbitt,
Cheron Vail,
Bruce Wieand:
Verification of complex systems using incremental operational specifications.
Inf. Sci. 57-58: 427-450 (1991) |
| 28 | EE | Linda L. Werner,
William E. Howden:
An investigation of the applicability of data usage analysis.
Journal of Systems and Software 15(3): 205-215 (1991) |
| 27 | | William E. Howden:
Program Testing versus Proofs of Correctness.
Softw. Test., Verif. Reliab. 1(1): 5-15 (1991) |
| 1990 |
|---|
| 26 | EE | William E. Howden:
Comments Analysis and Programming Errors.
IEEE Trans. Software Eng. 16(1): 72-81 (1990) |
| 1989 |
|---|
| 25 | | William E. Howden:
Error-Based Validation Completeness.
ICSE 1989: 357 |
| 24 | | William E. Howden:
A Comparison of Software and Hardware Testing.
IFIP Congress 1989: 344 |
| 23 | EE | William E. Howden:
Validating Programs without Specifications.
Symposium on Testing, Analysis, and Verification 1989: 2-9 |
| 1986 |
|---|
| 22 | | William E. Howden:
A Functional Approach to Program Testing and Analysis.
IEEE Trans. Software Eng. 12(10): 997-1005 (1986) |
| 21 | | Shmuel Rotenstreich,
William E. Howden:
Two-Dimensional Program Design.
IEEE Trans. Software Eng. 12(3): 377-384 (1986) |
| 1982 |
|---|
| 20 | | William E. Howden:
Validation of Scientific Programs.
ACM Comput. Surv. 14(2): 193-227 (1982) |
| 19 | | William E. Howden:
Contemporary Software Development Environments.
Commun. ACM 25(5): 318-329 (1982) |
| 18 | | William E. Howden:
Life-Cycle Software Validation.
IEEE Computer 15(2): 71-78 (1982) |
| 17 | | William E. Howden:
Weak Mutation Testing and Completeness of Test Sets.
IEEE Trans. Software Eng. 8(4): 371-379 (1982) |
| 1981 |
|---|
| 16 | EE | Mark K. Smith,
Leonard L. Tripp,
Leon J. Osterweil,
Richard N. Taylor,
William E. Howden:
An approach to transfer verification and validation technology.
AFIPS National Computer Conference 1981: 367-373 |
| 15 | | William E. Howden:
Completeness Criteria for Testing Elementary Program Functions.
ICSE 1981: 235-243 |
| 1980 |
|---|
| 14 | EE | William E. Howden:
Applicability of Software Validation Techniques to Scientific Programs.
ACM Trans. Program. Lang. Syst. 2(3): 307-320 (1980) |
| 13 | | William E. Howden:
Functional Program Testing.
IEEE Trans. Software Eng. 6(2): 162-169 (1980) |
| 12 | EE | William E. Howden:
Functional testing and design abstractions.
Journal of Systems and Software 1: 307-313 (1980) |
| 1978 |
|---|
| 11 | | William E. Howden:
Theoretical and Empirical Studies of Program Testing.
ICSE 1978: 305-311 |
| 10 | | William E. Howden:
Algebraic Program Testing.
Acta Inf. 10: 53-66 (1978) |
| 9 | | William E. Howden:
DISSECT-A Symbolic Evaluation and Program Testing System.
IEEE Trans. Software Eng. 4(1): 70-73 (1978) |
| 8 | | William E. Howden:
Theoretical and Empirical Studies of Program Testing.
IEEE Trans. Software Eng. 4(4): 293-298 (1978) |
| 7 | | William E. Howden:
Lindenmayer Grammars and Symbolic Testing.
Inf. Process. Lett. 7(1): 36-39 (1978) |
| 6 | | William E. Howden:
An Evaluation of the Effectiveness of Symbolic Testing.
Softw., Pract. Exper. 8(4): 381-397 (1978) |
| 1977 |
|---|
| 5 | | William E. Howden:
Symbolic Testing and the DISSECT Symbolic Evaluation System.
IEEE Trans. Software Eng. 3(4): 266-278 (1977) |
| 1976 |
|---|
| 4 | EE | William E. Howden:
Experiments with a symbolic evaluation system.
AFIPS National Computer Conference 1976: 899-908 |
| 3 | | William E. Howden:
Reliability of the Path Analysis Testing Strategy.
IEEE Trans. Software Eng. 2(3): 208-215 (1976) |
| 1975 |
|---|
| 2 | EE | William E. Howden:
Solution plans and interactive problem solving.
Computers & Graphics 1(1): 21-26 (1975) |
| 1 | | William E. Howden:
Methodology for the Generation of Program Test Data.
IEEE Trans. Computers 24(5): 554-560 (1975) |
