William E. Howden

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Lindenmayer grammars and symbolic testing
Information Processing Letters
1978-01-01Paper
Algebraic program testing
Acta Informatica
1978-01-01Paper
An evaluation of the effectiveness of symbolic testing
Software: Practice and Experience
1978-01-01Paper
Theoretical and Empirical Studies of Program Testing
IEEE Transactions on Software Engineering
1978-01-01Paper
Symbolic Testing and the DISSECT Symbolic Evaluation System
IEEE Transactions on Software Engineering
1977-01-01Paper
Reliability of the Path Analysis Testing Strategy
IEEE Transactions on Software Engineering
1976-01-01Paper
Methodology for the Generation of Program Test Data
IEEE Transactions on Computers
1975-01-01Paper
The sofa problem
The Computer Journal
1968-01-01Paper
A program for the construction of PERT flow charts
The Computer Journal
1967-01-01Paper


Research outcomes over time


This page was built for person: William E. Howden