BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
6 × USA
Collaborated with:
G.M.Shi Y.Huang
Talks about:
program (3) complet (2) valid (2) test (2) elementari (1) structur (1) function (1) criteria (1) without (1) theoret (1)

Person: William E. Howden

DBLP DBLP: Howden:William_E=

Facilitated 1 volumes:

ICSE 1984Ed

Contributed to:

ISSTA 19961996
ISSTA 19941994
ICSE 19891989
ISSTA 19891989
ICSE 19811981
ICSE 19781978

Wrote 6 papers:

ISSTA-1996-HowdenS #analysis #linear #sequence
Linear and Structural Event Sequence Analysis (WEH, GMS), pp. 98–106.
ISSTA-1994-HowdenH #dependence #metric
Confidence Oriented Software Dependability Measurement (WEH, YH), p. 196.
ICSE-1989-Howden #validation
Error-Based Validation Completeness (WEH), p. 357.
TAV-1989-Howden #source code #specification #validation
Validating Programs without Specifications (WEH), pp. 2–9.
ICSE-1981-Howden #testing
Completeness Criteria for Testing Elementary Program Functions (WEH), pp. 235–243.
ICSE-1978-Howden #empirical #testing
Theoretical and Empirical Studies of Program Testing (WEH), pp. 305–311.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.