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
Metric Space-based Test-data Adequacy Criteria	1988-01-01	Paper
An extended domain-based model of software reliability	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
A formal notion of program-based test data adequacy	1983-01-01	Paper
Assessing Test Data Adequacy through Program Inference	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3686043	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
Modifications of the program scheme model	1979-01-01	Paper
Translatability and Decidability Questions for Restricted Classes of Program Schemas	1979-01-01	Paper
The applicability of program schema results to programs	1979-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Elaine J. Weyuker