The reduction of a discrete event simulation to a Markov chain. - Andrew S. Noetzel; Elaine J. Weyuker (WSC, 1979)

The applicability of program schema results to programs. - Elaine J. Weyuker (Int. J. Parallel Program., 1979)

Modifications of the Program Scheme Model. - Elaine J. Weyuker (J. Comput. Syst. Sci., 1979)

Translatability and Decidability Questions for Restricted Classes of Program Schemas. - Elaine J. Weyuker (SIAM J. Comput., 1979)

Theories of Program Testing and the the Application of Revealing Subdomains. - Elaine J. Weyuker; Thomas J. Ostrand (IEEE Trans. Software Eng., 1980)

Pseudo-oracles for non-testable programs. - Martin D. Davis; Elaine J. Weyuker (ACM Annual Conference, 1981)

Parsing Regular Grammars with Finite Lookahead. - Thomas J. Ostrand; Marvin C. Paull; Elaine J. Weyuker (Acta Informatica, 1981)

Data Flow Analysis Techniques for Test Data Selection. - Sandra Rapps; Elaine J. Weyuker (ICSE, 1982)

On Testing Non-Testable Programs. - Elaine J. Weyuker (Comput. J., 1982)

Computability, complexity, and languages - fundamentals of theoretical computer science. - Martin D. Davis; Elaine J. Weyuker (Academic Press, 1983)

A Formal Notion of Program-Based Test Data Adequacy - Martin D. Davis; Elaine J. Weyuker (Inf. Control., 1983)

Assessing Test Data Adequacy through Program Inference. - Elaine J. Weyuker (ACM Trans. Program. Lang. Syst., 1983)

The Complexity of Data Flow Criteria for Test Data Selection. - Elaine J. Weyuker (Inf. Process. Lett., 1984)

Collecting and categorizing software error data in an industrial environment. - Thomas J. Ostrand; Elaine J. Weyuker (J. Syst. Softw., 1984)

Selecting Software Test Data Using Data Flow Information. - Sandra Rapps; Elaine J. Weyuker (IEEE Trans. Software Eng., 1985)

Managing testing of iteratively developed software. - Elaine J. Weyuker (ISPW, 1986)

Axiomatizing Software Test Data Adequacy. - Elaine J. Weyuker (IEEE Trans. Software Eng., 1986)

The Evaluation of Program-Based Software Test Data Adequacy Criteria. - Elaine J. Weyuker (Commun. ACM, 1988)

Metric Space- Based Test-Data Adequacy Criteria. - Martin D. Davis; Elaine J. Weyuker (Comput. J., 1988)

An Applicable Family of Data Flow Testing Criteria. - Phyllis G. Frankl; Elaine J. Weyuker (IEEE Trans. Software Eng., 1988)

An Extended Domain-Bases Model of Software Reliability. - Stewart N. Weiss; Elaine J. Weyuker (IEEE Trans. Software Eng., 1988)

Evaluating Software Complexity Measures. - Elaine J. Weyuker (IEEE Trans. Software Eng., 1988)

In Defense of Coverage Criteria. - Elaine J. Weyuker (ICSE, 1989)

Some Observations on Partition Testing. - Bingchiang Jeng; Elaine J. Weyuker (Symposium on Testing, Analysis, and Verification, 1989)

The Cost of Data Flow Testing: An Empirical Study. - Elaine J. Weyuker (IEEE Trans. Software Eng., 1990)

Data Flow-Based Test Adequacy Analysis for Languages with Pointers. - Thomas J. Ostrand; Elaine J. Weyuker (Symposium on Testing, Analysis, and Verification, 1991)

Comparison of Program Testing Strategies. - Elaine J. Weyuker; Stewart N. Weiss; Richard G. Hamlet (Symposium on Testing, Analysis, and Verification, 1991)

Assessing the fault-detecting ability of testing methods. - Phyllis G. Frankl; Elaine J. Weyuker (SIGSOFT, 1991)

Analyzing Partition Testing Strategies. - Elaine J. Weyuker; Bingchiang Jeng (IEEE Trans. Software Eng., 1991)

An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques. - Phyllis G. Frankl; Elaine J. Weyuker (ICSE, 1993)

Can we measure software testing effectiveness? - Elaine J. Weyuker (IEEE METRICS, 1993)

A Formal Analysis of the Fault-Detecting Ability of Testing Methods. - Phyllis G. Frankl; Elaine J. Weyuker (IEEE Trans. Software Eng., 1993)

Provable Improvements on Branch Testing. - Phyllis G. Frankl; Elaine J. Weyuker (IEEE Trans. Software Eng., 1993)

More Experience with Data Flow Testing. - Elaine J. Weyuker (IEEE Trans. Software Eng., 1993)

Estimating the software reliability of smoothly degrading systems. - Alberto Avritzer; Elaine J. Weyuker (ISSRE, 1994)

Generating Test Suites for Software Load Testing. - Alberto Avritzer; Elaine J. Weyuker (ISSTA, 1994)

A Simplified Domain-Testing Strategy. - Bingchiang Jeng; Elaine J. Weyuker (ACM Trans. Softw. Eng. Methodol., 1994)

Automatically Generating Test Data from a Boolean Specification. - Elaine J. Weyuker; Tarak Goradia; Ashutosh Singh (IEEE Trans. Software Eng., 1994)

Using the Consequence of Failures for Testing and Reliability Assessment. - Elaine J. Weyuker (SIGSOFT FSE, 1995)

The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software. - Alberto Avritzer; Elaine J. Weyuker (IEEE Trans. Software Eng., 1995)

Correction: "The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software". - Alberto Avritzer; Elaine J. Weyuker (IEEE Trans. Software Eng., 1995)

Reply to "Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods". - Phyllis G. Frankl; Elaine J. Weyuker (IEEE Trans. Software Eng., 1995)

Predicting the Cost-Effectiveness of Regression Testing Strategies. - David S. Rosenblum; Elaine J. Weyuker (SIGSOFT FSE, 1996)

Reliability Testing of Rule-Based Systems. - Alberto Avritzer; Johannes P. Ros; Elaine J. Weyuker (IEEE Softw., 1996)

Deriving Workloads for Performance Testing. - Alberto Avritzer; Elaine J. Weyuker (Softw. Pract. Exp., 1996)

Using Failure Cost Information for Testing and Reliability Assessment. - Elaine J. Weyuker (ACM Trans. Softw. Eng. Methodol., 1996)

Re-estimation of Software Reliability After Maintenance. - Andy Podgurski; Elaine J. Weyuker (ICSE, 1997)

Enforcing quality of service of distributed objects. - Alberto Avritzer; Elaine J. Weyuker (ISSRE, 1997)

Monitoring Smoothly Degrading Systems for Increased Dependability. - Alberto Avritzer; Elaine J. Weyuker (Empir. Softw. Eng., 1997)

Lessons Learned from a Regression Testing Case Study. - David S. Rosenblum; Elaine J. Weyuker (Empir. Softw. Eng., 1997)

Comments on "Toward a Framework for Software Measurement Validation". - Sandro Morasca; Lionel C. Briand; Victor R. Basili; Elaine J. Weyuker; Marvin V. Zelkowitz (IEEE Trans. Software Eng., 1997)

Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies. - David S. Rosenblum; Elaine J. Weyuker (IEEE Trans. Software Eng., 1997)

Investigating Metrics for Architectural Assessment. - Alberto Avritzer; Elaine J. Weyuker (IEEE METRICS, 1998)

Performance testing of software systems. - Filippos I. Vokolos; Elaine J. Weyuker (WOSP, 1998)

Testing Component-Based Software: A Cautionary Tale. - Elaine J. Weyuker (IEEE Softw., 1998)

Predicting Project Risk from Architecture Reviews. - Elaine J. Weyuker (IEEE METRICS, 1999)

Metrics to Assess the Likelihood of Project Success Based on Architecture Reviews. - Alberto Avritzer; Elaine J. Weyuker (Empir. Softw. Eng., 1999)

Quality of service enforcement for distributed objects. - Alberto Avritzer; Elaine J. Weyuker (IEE Proc. Softw., 1999)

Evaluation techniques for improving the quality of very large software systems in a cost-effective way. - Elaine J. Weyuker (J. Syst. Softw., 1999)

Issues in Interoperability and Performance Verification in a Multi-ORB Telecommunications Environment. - Cheng J. Lin; Alberto Avritzer; Elaine J. Weyuker; Sai-Lai Lo (DSN, 2000)

Testing software to detect and reduce risk. - Phyllis G. Frankl; Elaine J. Weyuker (J. Syst. Softw., 2000)

Clearing a Career Path for Software Testers. - Elaine J. Weyuker; Thomas J. Ostrand; JoAnne Brophy; Rathna Prasad (IEEE Softw., 2000)

Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study. - Elaine J. Weyuker; Filippos I. Vokolos (IEEE Trans. Software Eng., 2000)

Difficulties Measuring Software Risk in an Industrial Environment. - Elaine J. Weyuker (DSN, 2001)

Transitioning from Academia to Industrial Research. - Elaine J. Weyuker (J. Syst. Softw., 2001)

Empirical Studies of a Prediction Model for Regression Test Selection. - Mary Jean Harrold; David S. Rosenblum; Gregg Rothermel; Elaine J. Weyuker (IEEE Trans. Software Eng., 2001)

The distirubtion of faults in a large industrial software system. - Thomas J. Ostrand; Elaine J. Weyuker (ISSTA, 2002)

A Metric to Predict Software Scalability. - Elaine J. Weyuker; Alberto Avritzer (IEEE METRICS, 2002)

Software performance testing based on workload characterization. - Alberto Avritzer; Joe Kondek; Danielle Liu; Elaine J. Weyuker (Workshop on Software and Performance, 2002)

A metric for predicting the performance of an application under a growing workload. - Elaine J. Weyuker; Alberto Avritzer (IBM Syst. J., 2002)

Prediction = Power. - Elaine J. Weyuker (TestCom, 2003)

Using Operational Distributions to Judge Testing Progress. - Elaine J. Weyuker (SAC, 2003)

I Have My State, You Have Yours. - Elaine J. Weyuker (IEEE Softw., 2003)

Where the bugs are. - Thomas J. Ostrand; Elaine J. Weyuker; Robert M. Bell (ISSTA, 2004)

A Tool for Mining Defect-Tracking Systems to Predict Fault-Prone Files. - Thomas J. Ostrand; Elaine J. Weyuker (MSR, 2004)

Estimating the CPU utilization of a rule-based system. - Alberto Avritzer; Johannes P. Ros; Elaine J. Weyuker (WOSP, 2004)

How to judge testing progress. - Elaine J. Weyuker (Inf. Softw. Technol., 2004)

New Year's Resolutions for Software Quality. - Victor R. Basili; Barry W. Boehm; Al Davis; Watts S. Humphrey; Nancy G. Leveson; Nancy R. Mead; John D. Musa; David Lorge Parnas; Shari Lawrence Pfleeger; Elaine J. Weyuker (IEEE Softw., 2004)

An AGENDA for testing relational database applications. - David Chays; Yuetang Deng; Phyllis G. Frankl; Saikat Dan; Filippos I. Vokolos; Elaine J. Weyuker (Softw. Test. Verification Reliab., 2004)

The Role of Modeling in the Performance Testing of E-Commerce Applications. - Alberto Avritzer; Elaine J. Weyuker (IEEE Trans. Software Eng., 2004)

A Different View of Fault Prediction. - Thomas J. Ostrand; Elaine J. Weyuker; Robert M. Bell; Rachel C. W. Ostrand (COMPSAC (2), 2005)

Locating where faults will be. - Thomas J. Ostrand; Elaine J. Weyuker; Robert M. Bell (Richard Tapia Celebration of Diversity in Computing Conference, 2005)

Ensuring stable performance for systems that degrade. - Alberto Avritzer; Andre B. Bondi; Elaine J. Weyuker (WOSP, 2005)

Predicting the Location and Number of Faults in Large Software Systems. - Thomas J. Ostrand; Elaine J. Weyuker; Robert M. Bell (IEEE Trans. Software Eng., 2005)

Empirical Studies as a Basis for Technology Transfer. - Elaine J. Weyuker (Empirical Software Engineering Issues, 2006)

Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms. - Alberto Avritzer; Andre B. Bondi; Michael Grottke; Kishor S. Trivedi; Elaine J. Weyuker (DSN, 2006)

Experience Developing Software Using a Globally Distributed Workforce. - Alberto Avritzer; Thomas J. Ostrand; Elaine J. Weyuker (ICGSE, 2006)

Looking for bugs in all the right places. - Robert M. Bell; Thomas J. Ostrand; Elaine J. Weyuker (ISSTA, 2006)

On the Automation of Software Fault Prediction. - Thomas J. Ostrand; Elaine J. Weyuker (TAIC PART, 2006)

Automating algorithms for the identification of fault-prone files. - Thomas J. Ostrand; Elaine J. Weyuker; Robert M. Bell (ISSTA, 2007)

Using Developer Information as a Factor for Fault Prediction. - Elaine J. Weyuker; Thomas J. Ostrand; Robert M. Bell (PROMISE@ICSE, 2007)

An industrial research program in software fault prediction. - Thomas J. Ostrand; Elaine J. Weyuker (Software Engineering (Workshops), 2007)

Software engineering research: from cradle to grave. - Elaine J. Weyuker (ESEC/SIGSOFT FSE, 2007)

How to measure success of fault prediction models. - Thomas J. Ostrand; Elaine J. Weyuker (SOQUA, 2007)

Using performance signatures and software rejuvenation for worm mitigation in tactical MANETs. - Alberto Avritzer; Robert G. Cole; Elaine J. Weyuker (WOSP, 2007)

Ensuring system performance for cluster and single server systems. - Alberto Avritzer; Andre B. Bondi; Elaine J. Weyuker (J. Syst. Softw., 2007)

Comparing the Effectiveness of Testing Techniques. - Elaine J. Weyuker (Formal Methods and Testing, 2008)

Progress in Automated Software Defect Prediction. - Thomas J. Ostrand; Elaine J. Weyuker (Haifa Verification Conference, 2008)

Comparing methods to identify defect reports in a change management database. - Elaine J. Weyuker; Thomas J. Ostrand (DEFECTS, 2008)

Comparing negative binomial and recursive partitioning models for fault prediction. - Elaine J. Weyuker; Thomas J. Ostrand; Robert M. Bell (PROMISE@ICSE, 2008)

What Can Fault Prediction Do for YOU?. - Elaine J. Weyuker; Thomas J. Ostrand (TAP, 2008)

Do too many cooks spoil the broth? Using the number of developers to enhance defect prediction models. - Elaine J. Weyuker; Thomas J. Ostrand; Robert M. Bell (Empir. Softw. Eng., 2008)

The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model. - Alberto Avritzer; Elaine J. Weyuker (AST, 2009)

Does calling structure information improve the accuracy of fault prediction? - Yonghee Shin; Robert M. Bell; Thomas J. Ostrand; Elaine J. Weyuker (MSR, 2009)

ACM-W celebrates women in computing. - Elaine J. Weyuker (Commun. ACM, 2009)

We're Finding Most of the Bugs, but What are We Missing?. - Elaine J. Weyuker; Robert M. Bell; Thomas J. Ostrand (ICST, 2010)

Software fault prediction tool. - Thomas J. Ostrand; Elaine J. Weyuker (ISSTA, 2010)

Programmer-based fault prediction. - Thomas J. Ostrand; Elaine J. Weyuker; Robert M. Bell (PROMISE, 2010)

Software testing research and software engineering education. - Thomas J. Ostrand; Elaine J. Weyuker (FoSER, 2010)

Monitoring for security intrusion using performance signatures. - Alberto Avritzer; Rajanikanth Tanikella; Kiran James; Robert G. Cole; Elaine J. Weyuker (WOSP/SIPEW, 2010)

Comparing the effectiveness of several modeling methods for fault prediction. - Elaine J. Weyuker; Thomas J. Ostrand; Robert M. Bell (Empir. Softw. Eng., 2010)

Methods and opportunities for rejuvenation in aging distributed software systems. - Alberto Avritzer; Robert G. Cole; Elaine J. Weyuker (J. Syst. Softw., 2010)

Editors' introduction. - Elaine J. Weyuker; C. Murray Woodside (Perform. Evaluation, 2010)

An Automated Fault Prediction System. - Elaine J. Weyuker; Thomas J. Ostrand (Making Software, 2011)

Empirical Software Engineering Research - The Good, The Bad, The Ugly. - Elaine J. Weyuker (ESEM, 2011)

Can File Level Characteristics Help Identify System Level Fault-Proneness? - Thomas J. Ostrand; Elaine J. Weyuker (Haifa Verification Conference, 2011)

Assessing the Impact of Using Fault Prediction in Industry. - Robert M. Bell; Elaine J. Weyuker; Thomas J. Ostrand (ICST Workshops, 2011)

Predicting Bugs in Large Industrial Software Systems. - Thomas J. Ostrand; Elaine J. Weyuker (ISSSE, 2011)

Does measuring code change improve fault prediction? - Robert M. Bell; Thomas J. Ostrand; Elaine J. Weyuker (PROMISE, 2011)

Automated generation of test cases using a performability model. - Alberto Avritzer; Edmundo de Souza e Silva; Rosa Maria Meri Leão; Elaine J. Weyuker (IET Softw., 2011)

On the use of calling structure information to improve fault prediction. - Yonghee Shin; Robert M. Bell; Thomas J. Ostrand; Elaine J. Weyuker (Empir. Softw. Eng., 2012)

The limited impact of individual developer data on software defect prediction. - Robert M. Bell; Thomas J. Ostrand; Elaine J. Weyuker (Empir. Softw. Eng., 2013)

Identifying fault-prone files in large industrial software systems. - Elaine J. Weyuker; Thomas J. Ostrand (Perspectives on Data Science for Software Engineering, 2016)

Transitioning Fault Prediction Models to a New Environment. - Jesper Derehag; Elaine J. Weyuker; Thomas J. Ostrand; Daniel Sundmark (EDCC, 2016)

Experience Report: Automated System Level Regression Test Prioritization Using Multiple Factors. - Per Erik Strandberg; Daniel Sundmark; Wasif Afzal; Thomas J. Ostrand; Elaine J. Weyuker (ISSRE, 2016)

Automated test generation using model checking: an industrial evaluation. - Eduard Paul Enoiu; Adnan Causevic; Thomas J. Ostrand; Elaine J. Weyuker; Daniel Sundmark; Paul Pettersson (Int. J. Softw. Tools Technol. Transf., 2016)

Experiences with Academic-Industrial Collaboration on Empirical Studies of Software Systems. - Elaine J. Weyuker; Thomas J. Ostrand (ISSRE Workshops, 2017)

Software Systems Engineering programmes a capability approach. - Carl E. Landwehr; Jochen Ludewig; Robert Meersman; David Lorge Parnas; Peretz Shoval; Yair Wand; David M. Weiss 001; Elaine J. Weyuker (J. Syst. Softw., 2017)

Automated System-Level Regression Test Prioritization in a Nutshell. - Per Erik Strandberg; Wasif Afzal; Thomas J. Ostrand; Elaine J. Weyuker; Daniel Sundmark (IEEE Softw., 2017)

Automated test mapping and coverage for network topologies. - Per Erik Strandberg; Thomas J. Ostrand; Elaine J. Weyuker; Daniel Sundmark; Wasif Afzal (ISSTA, 2018)

Intermittently failing tests in the embedded systems domain. - Per Erik Strandberg; Thomas J. Ostrand; Elaine J. Weyuker; Wasif Afzal; Daniel Sundmark (ISSTA, 2020)

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy. - Liesbeth De Mol; Yuri V. Matiyasevich; Eugenio G. Omodeo; Alberto Policriti; Wilfried Sieg; Elaine J. Weyuker (CoRR, 2025)