William E. Howden - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 54 from 54

2011

Error Models and Software CertificationWilliam E. Howden. issre 2011: 37-42 [doi]

Error-Based Software Testing and AnalysisWilliam E. Howden. compsac 2011: 161-167 [doi]

2008

Superfit Combinational Elusive Bug DetectionR. Barzin, S. Fukushima, William E. Howden, S. Sharifi. compsac 2008: 144-151 [doi]

Elusive Bugs, Bounded Exhaustive Testing and Incomplete OraclesWilliam E. Howden. ICSOFT 2008: 115-121

2007

Test Frameworks for Elusive Bug TestingWilliam E. Howden, Cliff Rhyne. ICSOFT 2007: 250-257

2005

Software Test Selection Patterns and Elusive BugsWilliam E. Howden. compsac 2005: 25-32 [doi]

1998

Good Enough versus High Assurance Software Testing and Evaluation MethodsWilliam E. Howden. hase 1998: 166 [doi]

1997

Systems testing and statistical test data coverageWilliam E. Howden. compsac 1997: 500-504 [doi]

Confidence-based reliability and statistical coverage estimationWilliam E. Howden. issre 1997: 283-291 [doi]

1996

Keynote Address: Auditing Informal Software Testing and Analysis ProcessesWilliam E. Howden. apsec 1996: 332 [doi]

The Derivation of Functional Specifications from Source CodeWilliam E. Howden, Suehee Pak. apsec 1996: 166 [doi]

Linear and Structural Event Sequence AnalysisWilliam E. Howden, G. M. Shi. ISSTA 1996: 98-106 [doi]

1995

Temporal Event Analysis and Program UnderstandingWilliam E. Howden, G. M. Shi. compsac 1995: 4-11 [doi]

Software Trustability AnalysisWilliam E. Howden, Yudong Huang. TOSEM, 4(1):36-64, 1995. [doi]

1994

QDA-A Method for Systematic Informal Program AnalysisWilliam E. Howden, Bruce Wieand. TSE, 20(6):445-462, 1994. [doi]

Software trustabilityWilliam E. Howden, Yudong Huang. issre 1994: 143-151 [doi]

Confidence Oriented Software Dependability Measurement (Abstract)William E. Howden, Yudong Huang. ISSTA 1994: 196 [doi]

1992

Problem domain, structural and logical abstractions in reverse engineeringWilliam E. Howden, Suehee Pak. ICSM 1992: 214-224 [doi]

1991

Program Testing versus Proofs of CorrectnessWilliam E. Howden. stvr, 1(1):5-15, 1991.

Verification of complex systems using incremental operational specificationsWilliam E. Howden, David Nesbitt, Cheron Vail, Bruce Wieand. isci, 57-58:427-450, 1991. [doi]

An investigation of the applicability of data usage analysisLinda L. Werner, William E. Howden. jss, 15(3):205-215, 1991. [doi]

1990

Comments Analysis and Programming ErrorsWilliam E. Howden. TSE, 16(1):72-81, 1990. [doi]

1989

Error-Based Validation CompletenessWilliam E. Howden. ICSE 1989: 357

A Comparison of Software and Hardware TestingWilliam E. Howden. ifip 1989: 344

Validating Programs without SpecificationsWilliam E. Howden. ISSTA 1989: 2-9 [doi]

1986

A Functional Approach to Program Testing and AnalysisWilliam E. Howden. TSE, 12(10):997-1005, 1986.

Two-Dimensional Program DesignShmuel Rotenstreich, William E. Howden. TSE, 12(3):377-384, 1986.

1985

The Theory and Practice of Foundation TestingWilliam E. Howden. IEEE Software, 2(5):6-17, 1985. [doi]

1982

1981

1980

Functional Program TestingWilliam E. Howden. TSE, 6(2):162-169, 1980.

Applicability of Software Validation Techniques to Scientific ProgramsWilliam E. Howden. TOPLAS, 2(3):307-320, 1980. [doi]

Functional testing and design abstractionsWilliam E. Howden. jss, 1:307-313, 1980. [doi]

1978

An Evaluation of the Effectiveness of Symbolic TestingWilliam E. Howden. SPE, 8(4):381-397, 1978.

Theoretical and Empirical Studies of Program TestingWilliam E. Howden. ICSE 1978: 305-311

Algebraic Program TestingWilliam E. Howden. ACTA, 10:53-66, 1978.

DISSECT-A Symbolic Evaluation and Program Testing SystemWilliam E. Howden. TSE, 4(1):70-73, 1978.

Theoretical and Empirical Studies of Program TestingWilliam E. Howden. TSE, 4(4):293-298, 1978.

Lindenmayer Grammars and Symbolic TestingWilliam E. Howden. ipl, 7(1):36-39, 1978.

Functional program testingWilliam E. Howden. compsac 1978: 321-325 [doi]

1977

Symbolic Testing and the DISSECT Symbolic Evaluation SystemWilliam E. Howden. TSE, 3(4):266-278, 1977.

1976

Experiments with a symbolic evaluation systemWilliam E. Howden. afips 1976: 899-908 [doi]

Reliability of the Path Analysis Testing StrategyWilliam E. Howden. TSE, 2(3):208-215, 1976.

1975

Solution plans and interactive problem solvingWilliam E. Howden. cg, 1(1):21-26, 1975. [doi]

Methodology for the Generation of Program Test DataWilliam E. Howden. TC, 24(5):554-560, 1975.

1974

Solution plans and interactive problem solvingWilliam E. Howden. siggraph 1974: 10 [doi]

1968

The sofa problemWilliam E. Howden. cj, 11(3):299-301, 1968. [doi]

1967

A program for the construction of PERT flow chartsWilliam E. Howden. cj, 10(3):278-281, 1967. [doi]

Sign in or sign up to see more results.

runs on WebDSL