Elaine J. Weyuker

Available identifiers

zbMath Open weyuker.elaine-jMaRDI QIDQ1148698

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4437037	2003-12-07	Paper
Automatically generating test data from a Boolean specification	1994-08-21	Paper
An extended domain-based model of software reliability	1988-01-01	Paper
Metric Space-based Test-data Adequacy Criteria	1988-01-01	Paper
Selecting Software Test Data Using Data Flow Information	1985-01-01	Paper
The complexity of data flow criteria for test data selection	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3686043	1983-01-01	Paper
Assessing Test Data Adequacy through Program Inference	1983-01-01	Paper
A formal notion of program-based test data adequacy	1983-01-01	Paper
Parsing regular grammars with finite lookahead	1981-01-01	Paper
Theories of Program Testing and the Application of Revealing Subdomains	1980-01-01	Paper
The applicability of program schema results to programs	1979-01-01	Paper
Modifications of the program scheme model	1979-01-01	Paper
Translatability and Decidability Questions for Restricted Classes of Program Schemas	1979-01-01	Paper

Research outcomes over time

This page was built for person: Elaine J. Weyuker