Elaine J. Weyuker

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!

Publication	Date of Publication	Type
Martin Davis: an overview of his work in logic, computer science, and philosophy Philosophia Mathematica. Series III	2026-01-28	Paper
scientific article; zbMATH DE number 2013771 (Why is no real title available?)	2003-12-07	Paper
Automatically generating test data from a Boolean specification IEEE Transactions on Software Engineering	1994-08-21	Paper
An extended domain-based model of software reliability IEEE Transactions on Software Engineering	1988-01-01	Paper
Metric Space-based Test-data Adequacy Criteria The Computer Journal	1988-01-01	Paper
Selecting Software Test Data Using Data Flow Information IEEE Transactions on Software Engineering	1985-01-01	Paper
The complexity of data flow criteria for test data selection Information Processing Letters	1984-01-01	Paper
scientific article; zbMATH DE number 3909745 (Why is no real title available?)	1983-01-01	Paper
Assessing Test Data Adequacy through Program Inference ACM Transactions on Programming Languages and Systems	1983-01-01	Paper
A formal notion of program-based test data adequacy Information and Control	1983-01-01	Paper
Parsing regular grammars with finite lookahead Acta Informatica	1981-01-01	Paper
Theories of Program Testing and the Application of Revealing Subdomains IEEE Transactions on Software Engineering	1980-01-01	Paper
The applicability of program schema results to programs International Journal of Computer & Information Sciences	1979-01-01	Paper
Modifications of the program scheme model Journal of Computer and System Sciences	1979-01-01	Paper
Translatability and Decidability Questions for Restricted Classes of Program Schemas SIAM Journal on Computing	1979-01-01	Paper

Research outcomes over time

This page was built for person: Elaine J. Weyuker