Methodologies for Computer Program Testing.

Abstract : This report summarizes research, on computer program testing, in particular the development of a strategy called the Domain Testing Strategy. For a large and important class of programs, this strategy enables the generation of test data which can test, in principle, for all errors in the ... View More