SADAT - An Automated Testing Tool. - Udo Voges; Lothar Gmeiner; Anneliese von Mayrhauser (IEEE Trans. Software Eng., 1980)

Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection. - Kishor S. Trivedi; Anneliese von Mayrhauser (Int. CMG Conference, 1981)

BEST/1 Analysis of the IBM 3880-13 Cached Storage Controller. - Jeffrey P. Buzen; Anneliese von Mayrhauser (Int. CMG Conference, 1982)

Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems. - Kishor S. Trivedi; Anneliese von Mayrhauser (Int. CMG Conference, 1982)

Performance Management Toolset Consideration for different Environments. - Anneliese von Mayrhauser; Sam L. Biardo (Int. CMG Conference, 1983)

Introduction to Computer Service Selection Methods. - Anneliese von Mayrhauser; Dennis E. Witte (Int. CMG Conference, 1983)

Response Time Convexity for Interactive Computer Systems. - James R. Kenevan; Anneliese von Mayrhauser (Int. CMG Conference, 1984)

Models to Evaluate Trade-Offs Between Performance and Reliability. - Halim M. Khelalfa; Anneliese von Mayrhauser (Int. CMG Conference, 1984)

Software Development Guidelines - a Measurement Approach. - Anneliese von Mayrhauser (Int. CMG Conference, 1984)

Convexity and Concavity Properties of Analytic Queuing Models for Computer Systems. - James R. Kenevan; Anneliese von Mayrhauser (Performance, 1984)

Degradable Computer Systems with Dependent Subsystems. - Halim M. Khelalfa; Anneliese von Mayrhauser (SIGMETRICS, 1985)

Degradble Computer Ssytems: Performance and Reliability Trade-offs during Design. - Halim M. Khelalfa; Anneliese von Mayrhauser (ARCS, 1986)

Why Build an Expert System for Computer Performance Management? - Sam L. Biardo; Martha Evens; Anneliese von Mayrhauser (Int. CMG Conference, 1986)

Data flow analysis and its application to software maintenance. - James Keables; Katherine Roberson; Anneliese von Mayrhauser (ICSM, 1988)

Software engineering - methods and management. - Anneliese von Mayrhauser (Academic Press, 1990)

Software Engineering: Methods and Management. - Anneliese von Mayrhauser (Int. CMG Conference, 1990)

A Queueing Network Model for Determining Protocol Performance Requirements. - David M. Northcutt; Anneliese von Mayrhauser (Int. CMG Conference, 1990)

Productivity improvement with evolutionary development. - Anneliese von Mayrhauser; Barbara Hirsh (COMPSAC, 1990)

Alleviating Memory Bottlenecks Using Multi-Level Memory. - Deepak Dube; Anneliese von Mayrhauser (ISMVL, 1990)

A data collection environment for software reliability research. - Anneliese von Mayrhauser; James Keables (ISSRE, 1991)

AMT - the Ada maintenance toolchest. - Anneliese von Mayrhauser (TRI-Ada, 1991)

Managing the quality of computing services: A user-oriented approach using utility theory and service-level indices. - Armin Roeseler; Anneliese von Mayrhauser (J. Syst. Softw., 1991)

Testing and evolutionary development. - Anneliese von Mayrhauser (ACM SIGSOFT Softw. Eng. Notes, 1991)

Corporate Software Engineering Education for Six Sigma: Course Development and Assessment of Success. - Anneliese von Mayrhauser; LaVon Green; Bud Glick; S. Coker (CSEE, 1992)

The Role of Simulation in Software Engineering Experimentation. - Anneliese von Mayrhauser (Experimental Software Engineering Issues, 1992)

Session 4 Summary: (Measurement-Based) Modeling. - Anneliese von Mayrhauser (Experimental Software Engineering Issues, 1992)

The nature of fault exposure ratio. - Yashwant K. Malaiya; Anneliese von Mayrhauser; Pradip K. Srimani (ISSRE, 1992)

Software Testing: Opportunity and Nightmare. - Anneliese von Mayrhauser (ITC, 1992)

A Simulation Environment for Early Lifecycle Software Reliability Research and Prediction. - Anneliese von Mayrhauser; James Keables (ITC, 1992)

An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs. - Anneliese von Mayrhauser; Shao-Ming Simon Hsueh (TRI-Ada, 1992)

Using service-level indices to manage the quality of computing services: A case study. - Armin Roeseler; Anneliese von Mayrhauser (J. Syst. Softw., 1992)

Maintenance support needs for object-oriented software. - Ronald T. Crocker; Anneliese von Mayrhauser (COMPSAC, 1993)

Software process assessment and improvement using production models. - Anneliese von Mayrhauser; Armin Roeseler (COMPSAC, 1993)

From Code Comprehension Model to Tool Capabilities. - Anneliese von Mayrhauser; A. Marie Vans (ICCI, 1993)

Automated testing support for a robot tape library. - Anneliese von Mayrhauser; Stewart Crawford-Hines (ISSRE, 1993)

On the need for simulation for better characterization of software reliability. - Anneliese von Mayrhauser; Yashwant K. Malaiya; Pradip K. Srimani; James Keables (ISSRE, 1993)

Efficient Testing of Software Modifications. - Anneliese von Mayrhauser; Kurt M. Olender (ITC, 1993)

From program comprehension to tool requirements for an industrial environment. - Anneliese von Mayrhauser; A. Marie Vans (WPC, 1993)

CASE Tool Architecture for Knowledge-Based Regression Testing. - Anneliese von Mayrhauser; Taewoong Jeon (TRI-Ada, 1993)

Incremental parsing for software maintenance tools. - Anneliese von Mayrhauser; Kevin A. Archie; Neil Weber (J. Syst. Softw., 1993)

Simple and fast approximations for generalized stochastic Petri nets. - Anneliese von Mayrhauser; Deepak Dube (J. Syst. Softw., 1993)

A production-based approach to performance evaluation of computing technology. - Armin Roeseler; Anneliese von Mayrhauser (J. Syst. Softw., 1993)

An Examination of Fault Exposure Ratio. - Yashwant K. Malaiya; Anneliese von Mayrhauser; Pradip K. Srimani (IEEE Trans. Software Eng., 1993)

A knowledge-based approach to regression testing. - Taewoong Jeon; Anneliese von Mayrhauser (APSEC, 1994)

A Hierarchy of Production System Models and Factors. - Armin Roeseler; Anneliese von Mayrhauser (Int. CMG Conference, 1994)

Domain Based Testing: Increasing Test Case Reuse. - Anneliese von Mayrhauser; Richard T. Mraz; Jeff Walls; Pete Ocken (ICCD, 1994)

Comprehension Processes During Large Scale Maintenance. - Anneliese von Mayrhauser; A. Marie Vans (ICSE, 1994)

Domain Based Regression Testing. - Anneliese von Mayrhauser; Richard T. Mraz; Jeff Walls (ICSM, 1994)

Testing applications using domain based testing and Sleuth. - Anneliese von Mayrhauser; Jeff Walls; Richard T. Mraz (ISSRE, 1994)

Sleuth: A Domain-Based Testing Tool. - Anneliese von Mayrhauser; Jeff Walls; Richard T. Mraz (ITC, 1994)

Dynamic code cognition behaviors for large scale code. - Anneliese von Mayrhauser; A. Marie Vans (WPC, 1994)

Developing requirements for a user interface. - Anneliese von Mayrhauser; L. Przybylski (SAC, 1994)

Maintenance and Evolution of Software Products. - Anneliese von Mayrhauser (Adv. Comput., 1994)

Performance analysis using SPN of a mobile telecommunication network under heavy load. - Deepak Dube; Anneliese von Mayrhauser (ISADS, 1995)

System testing with an AI planner. - Richard T. Mraz; Adele E. Howe; Anneliese von Mayrhauser; Li Li (ISSRE, 1995)

On the Use of Neural Networks to Guide Software Testing Activities. - Charles Anderson 001; Anneliese von Mayrhauser; Richard T. Mraz (ITC, 1995)

Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests. - Adele E. Howe; Anneliese von Mayrhauser; Richard T. Mraz (KBSE, 1995)

Program Understanding: Models and Experiments. - Anneliese von Mayrhauser; A. Marie Vans (Adv. Comput., 1995)

Program Comprehension During Software Maintenance and Evolution. - Anneliese von Mayrhauser; A. Marie Vans (Computer, 1995)

Industrial experience with an integrated code comprehension model. - Anneliese von Mayrhauser; A. Marie Vans (Softw. Eng. J., 1995)

On domain models for system testing. - Anneliese von Mayrhauser; Martin Shumway; Pete Ocken; Richard T. Mraz (ICSR, 1996)

On the Role of Hypotheses during Opportunistic Understanding While Porting Large Scale Code. - Anneliese von Mayrhauser; A. Marie Vans (WPC, 1996)

Assessing Neural Networks as Guides for Testing Activities. - Charles Anderson 001; Anneliese von Mayrhauser; Tom Chen 001 (IEEE METRICS, 1996)

Identification of Dynamic Comprehension Processes During Large Scale Maintenance. - Anneliese von Mayrhauser; A. Marie Vans (IEEE Trans. Software Eng., 1996)

Program understanding needs during corrective maintenance of large scale software. - Anneliese von Mayrhauser; A. Marie Vans (COMPSAC, 1997)

Program understanding behavior during debugging of large scale software. - Anneliese von Mayrhauser; A. Marie Vans (ESP, 1997)

Hypothesis-Driven Understanding Processes During Corrective Maintenance of Large Scale Software. - Anneliese von Mayrhauser; A. Marie Vans (ICSM, 1997)

Building a Research Infrastructure for Program Comprehension Observations. - Steve Lang; Anneliese von Mayrhauser (WPC, 1997)

Test Case Generation as an AI Planning Problem. - Adele E. Howe; Anneliese von Mayrhauser; Richard T. Mraz (Autom. Softw. Eng., 1997)

On Increasing Our Knowledge of Large-Scale Software Comprehension . - Anneliese von Mayrhauser; A. Marie Vans (Empir. Softw. Eng., 1997)

Program understanding behaviour during enhancement of large-scale software. - Anneliese von Mayrhauser; A. Marie Vans; Adele E. Howe (J. Softw. Maintenance Res. Pract., 1997)

Fast Antirandom (FAR) Test Generation. - Anneliese von Mayrhauser; Andre Bai; Tom Chen 001; Charles Anderson 001; Amjad Hajjar (HASE, 1998)

Program Understanding During Software Adaptation Tasks. - Anneliese von Mayrhauser; A. Marie Vans (ICSM, 1998)

Program Understanding Behavior During Adaptation of Large Scale Software. - Anneliese von Mayrhauser; A. Marie Vans (IWPC, 1998)

Generating Goal-Oriented Test Cases. - Anneliese von Mayrhauser; Michael Scheetz; Eric Dahlman (COMPSAC, 1999)

Exploiting Competitive Planner Performance. - Adele E. Howe; Eric Dahlman; Christoper Hansen; Michael Scheetz; Anneliese von Mayrhauser (ECP, 1999)

How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing. - Tom Chen 001; Anneliese von Mayrhauser; Amjad Hajjar; Charles Anderson 001; Mehmet Sahinoglu (HASE, 1999)

Experience Paper: Experience with a Reverse Engineering Architecture Approach to Increase Understanding. - Anneliese von Mayrhauser; J. Wang; Q. Li (ICSM, 1999)

Efficient Verification of Behavioral Models Using Sequential Sampling Technique. - Tom Chen 001; Isabelle Munn; Anneliese von Mayrhauser; Amjad Hajjar (VLSI, 1999)

Generating test cases from an OO model with an AI planning system. - Anneliese von Mayrhauser; Robert B. France (ISSRE, 1999)

Deriving a fault architecture from defect history. - Anneliese von Mayrhauser; J. Wang; Magnus C. Ohlsson; Claes Wohlin (ISSRE, 1999)

On the Role of Static Analysis during Software Maintenance. - Anneliese von Mayrhauser; Stephen Lang (IWPC, 1999)

Using domain models for system testing. - Anneliese von Mayrhauser; Richard T. Mraz (Adv. Comput., 1999)

Program understanding behavior during corrective maintenance of large-scale software. - A. Marie Vans; Anneliese von Mayrhauser; Gabriel Somlo (Int. J. Hum. Comput. Stud., 1999)

Towards an ontology of software maintenance. - Barbara A. Kitchenham; Guilherme Horta Travassos; Anneliese von Mayrhauser; Frank Niessink; Norman F. Schneidewind; Janice Singer; Shingo Takada 001; Risto Vehvilainen; Hongji Yang (J. Softw. Maintenance Res. Pract., 1999)

Automated regression testing using DBT and Sleuth. - Anneliese von Mayrhauser; Ning Zhang (J. Softw. Maintenance Res. Pract., 1999)

A Coding Scheme to Support Systematic Analysis of Software Comprehension. - Anneliese von Mayrhauser; Stephen Lang (IEEE Trans. Software Eng., 1999)

On statistical behavior of branch coverage in testing behavioral VHDL models. - Amjad Hajjar; Tom Chen 001; Anneliese von Mayrhauser (HLDVT, 2000)

On choosing test criteria for behavioral level hardware design verification. - Anneliese von Mayrhauser; Tom Chen 001; Jan Kok; Chuck Anderson 001; Anita Read; Amjad Hajjar (HLDVT, 2000)

Achieving the Quality of Verification for Behavioral Models with Minimum Effort. - Tom Chen 001; Anneliese von Mayrhauser; Amjad Hajjar; Charles Anderson 001; Mehmet Sahinoglu (ISQED, 2000)

Planner Based Error Recovery Testing. - Anneliese von Mayrhauser; Michael Scheetz; Eric Dahlman; Adele E. Howe (ISSRE, 2000)

Testing Object-Oriented Systems Using Extended Use-Cases. - Eun Man Choi; Anneliese von Mayrhauser (PDPTA, 2000)

Assessing and Understanding Efficiency and Success of Software Production. - Anneliese von Mayrhauser; Claes Wohlin; Magnus C. Ohlsson (Empir. Softw. Eng., 2000)

Subjective evaluation as a tool for learning from software project success. - Claes Wohlin; Anneliese von Mayrhauser; Martin Höst; Björn Regnell (Inf. Softw. Technol., 2000)

Deriving fault architectures from defect history. - Anneliese Amschler Andrews; Magnus C. Ohlsson; Claes Wohlin (J. Softw. Maintenance Res. Pract., 2000)

Effect of Fault Distribution and Execution Patterns on Fault Exposure in Software: A Simulation Study. - Anneliese von Mayrhauser; Dexing Chen (Softw. Test. Verification Reliab., 2000)

Generating test-cases from an object-oriented model with an artifical-intelligence planning system. - Anneliese von Mayrhauser; Robert B. France; Michael Scheetz; Eric Dahlman (IEEE Trans. Reliab., 2000)

High quality behavioral verification using statistical stopping criteria. - Amjad Hajjar; Tom Chen 001; Isabelle Munn; Anneliese Amschler Andrews; Maria Bjorkman (DATE, 2001)

Stopping Criteria Comparison: Towards High Quality Behavioral Verification. - Amjad Hajjar; Tom Chen 001; Isabelle Munn; Anneliese Amschler Andrews; Maria Bjorkman (ISQED, 2001)

Learning to Measure or Measuring to Learn? - Anneliese Amschler Andrews (IEEE METRICS, 2001)

The Colorado Advanced Software Institute: From Virtual Research Laboratory to Software Clinic. - Anneliese Amschler Andrews (IEEE International Workshop on Rapid System Prototyping, 2001)

Ethical Issues in Empirical Software Engineering: The Limits of Policy. - Anneliese Amschler Andrews; Arundeep S. Pradhan (Empir. Softw. Eng., 2001)

Modelling fault-proneness statistically over a sequence of releases: a case study. - Magnus C. Ohlsson; Anneliese Amschler Andrews; Claes Wohlin (J. Softw. Maintenance Res. Pract., 2001)

Quantitative Analysis of Development Defects to Guide Testing: A Case Study. - Anneliese Amschler Andrews; Catherine Stringfellow (Softw. Qual. J., 2001)

Assessing Project Success Using Subjective Evaluation Factors. - Claes Wohlin; Anneliese Amschler Andrews (Softw. Qual. J., 2001)

Editorial. - Anneliese Amschler Andrews (IEEE Trans. Software Eng., 2001)

A Model for Understanding Software Components. - Anneliese Amschler Andrews; Sudipto Ghosh 001; Eun Man Choi (ICSM, 2002)

Analysing primary and lower order project success drivers. - Claes Wohlin; Anneliese Amschler Andrews (SEKE, 2002)

An Empirical Method for Selecting Software Reliability Growth Models. - Catherine Stringfellow; Anneliese Amschler Andrews (Empir. Softw. Eng., 2002)

Fast Anti-Random (FAR) Test Generation to Improve the Quality of Behavioral Model Verification. - Tom Chen 001; Andre Bai; Amjad Hajjar; Anneliese Amschler Andrews; Charles Anderson 001 (J. Electron. Test., 2002)

AI Planner Assisted Test Generation. - Anneliese Amschler Andrews; Chunhui Zhu; Michael Scheetz; Eric Dahlman; Adele E. Howe (Softw. Qual. J., 2002)

Deriving a Fault Architecture to Guide Testing. - Catherine Stringfellow; Anneliese Amschler Andrews (Softw. Qual. J., 2002)

Estimating the number of components with defects post-release that showed no defects in testing. - Catherine Stringfellow; Anneliese Amschler Andrews; Claes Wohlin; Håkan Petersson (Softw. Test. Verification Reliab., 2002)

Anomalies as Precursors of Field Failures. - Sebastian G. Elbaum; Satya Kanduri; Anneliese Amschler Andrews (ISSRE, 2003)

Test Adequacy Assessment for UML Design Model Testing. - Sudipto Ghosh 001; Robert B. France; Conrad Braganza; Nilesh Kawane; Anneliese Amschler Andrews; Orest Pilskalns (ISSRE, 2003)

Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection. - Per Runeson; Anneliese Amschler Andrews (ISSRE, 2003)

Understanding Change-Proneness in OO Software through Visualization. - James M. Bieman; Anneliese Amschler Andrews; Helen J. Yang (IWPC, 2003)

Rigorous Testing by Merging Structural and Behavioral UML Representations. - Orest Pilskalns; Anneliese Amschler Andrews; Sudipto Ghosh 001; Robert B. France (UML, 2003)

A Rule-Based Software Testing Method for VHDL Models. - Anneliese Amschler Andrews; Andrew O'Fallon; Tom Chen 001 (VLSI-SOC, 2003)

Prioritizing and Assessing Software Project Success Factors and Project Characteristics using Subjective Data. - Claes Wohlin; Anneliese Amschler Andrews (Empir. Softw. Eng., 2003)

Test adequacy criteria for UML design models. - Anneliese Amschler Andrews; Robert B. France; Sudipto Ghosh 001; Gerald Craig (Softw. Test. Verification Reliab., 2003)

Guest Editors' Introduction: 2001 International Conference on Software Maintenance. - Gerardo Canfora; Anneliese Amschler Andrews (IEEE Trans. Software Eng., 2003)

Requirements Trade-offs During UML Design. - Anneliese Amschler Andrews; Per Runeson; Robert B. France (ECBS, 2004)

RUBASTEM: A Method for Testing VHDL Behavioral Models. - Anneliese Amschler Andrews; Andrew O'Fallon; Tom Chen 001 (HASE, 2004)

Defining and Qualifying Components in the Design Phase. - Andrew O'Fallon; Orest Pilskalns; Andrew Knight; Anneliese Amschler Andrews (SEKE, 2004)

EPTUD: An Eclipse Plugin for Testing UML Designs. - Trung T. Dinh-Trong; Nilesh Kawane; Sudipto Ghosh 001; Robert B. France; Anneliese Amschler Andrews (UML Satellite Activities, 2004)

AutoDBT: A Framework for Automatic Testing of Web Database Applications. - Lihua Ran; Curtis E. Dyreson; Anneliese Amschler Andrews (WISE, 2004)

Fault Links: Exploring the Relationship Between Module and Fault Types. - Jane Huffman Hayes; Inies C. M. Raphael; Vinod Kumar Surisetty; Anneliese Amschler Andrews (EDCC, 2005)

A Tool-Supported Approach to Testing UML Design Models. - Trung T. Dinh-Trong; Nilesh Kawane; Sudipto Ghosh 001; Robert B. France; Anneliese Amschler Andrews (ICECCS, 2005)

Defining Maintainable Components in the Design Phase. - Orest Pilskalns; Daniel Williams 001; Anneliese Amschler Andrews (ICSM, 2005)

A COTS Component Comprehension Process. - Anneliese Amschler Andrews; Andreas Stefik; Nina Picone; Sudipto Ghosh 001 (IWPC, 2005)

Evaluation of Three Methods to Predict Project Success: A Case Study. - Claes Wohlin; Anneliese Amschler Andrews (PROFES, 2005)

A strategy for selecting multiple components. - Ed Mancebo; Anneliese Amschler Andrews (SAC, 2005)

Testing Web applications by modeling with FSMs. - Anneliese Amschler Andrews; Jeff Offutt; Roger T. Alexander (Softw. Syst. Model., 2005)

A Framework for Design Tradeoffs. - Anneliese Amschler Andrews; Ed Mancebo; Per Runeson; Robert B. France (Softw. Qual. J., 2005)

Security Consistency in UML Designs. - Orest Pilskalns; Daniel Williams 001; Damir Aracic; Anneliese Amschler Andrews (COMPSAC (1), 2006)

Regression Testing UML Designs. - Orest Pilskalns; Gunay Uyan; Anneliese Amschler Andrews (ICSM, 2006)

Software Defect Data and Predictability for Testing Schedules. - Rattikorn Hewett; Aniruddha Kulkarni; Catherine Stringfellow; Anneliese Amschler Andrews (SEKE, 2006)

Using UML Designs to Generate OCL for Security Testing. - Orest Pilskalns; Anneliese Amschler Andrews (SEKE, 2006)

Comparison of software architecture reverse engineering methods. - Catherine Stringfellow; C. D. Amory; Dileep Potnuri; Anneliese Amschler Andrews; M. Georg (Inf. Softw. Technol., 2006)

What do we know about defect detection methods? [software testing]. - Per Runeson; Carina Andersson; Thomas Thelin; Anneliese Amschler Andrews; Tomas Berling (IEEE Softw., 2006)

Trace anomalies as precursors of field failures: an empirical study. - Sebastian G. Elbaum; Satya Kanduri; Anneliese Amschler Andrews (Empir. Softw. Eng., 2007)

Testing UML designs. - Orest Pilskalns; Anneliese Amschler Andrews; Andrew Knight; Sudipto Ghosh 001; Robert B. France (Inf. Softw. Technol., 2007)

Testing with Software Designs. - Anneliese Amschler Andrews; Alireza Mahdian (Adv. Comput., 2008)

Building test cases and oracles to automate the testing of web database applications. - Lihua Ran; Curtis E. Dyreson; Anneliese Amschler Andrews; Renée C. Bryce; Christopher J. Mallery (Inf. Softw. Technol., 2009)

Regression testing with UML software designs: A survey. - Alireza Mahdian; Anneliese Amschler Andrews; Orest Pilskalns (J. Softw. Maintenance Res. Pract., 2009)

Scalability issues with using FSMWeb to test web applications. - Anneliese Amschler Andrews; A. Jefferson Offutt; Curtis E. Dyreson; Christopher J. Mallery; Kshamta Jerath; Roger T. Alexander (Inf. Softw. Technol., 2010)

Fail-Safe Testing of Web Applications. - Anneliese Amschler Andrews; Salah Boukhris; Salwa Elakeili (Australian Software Engineering Conference, 2014)

From Incident Reports to Improvement Recommendations: Analyzing IT Help Desk Data. - Anneliese Amschler Andrews; Joseph Lucente (Australian Software Engineering Conference, 2014)

Fail-Safe Testing of Safety-Critical Systems. - Ahmed Gario; Anneliese Amschler Andrews (Australian Software Engineering Conference, 2014)

Comparing Reuse Strategies: An Empirical Evaluation of Developer Views. - Julia F. Varnell-Sarjeant; Anneliese Amschler Andrews; Andreas Stefik (COMPSAC Workshops, 2014)

Predicting Incident Reports for IT Help Desk. - Anneliese Amschler Andrews; Joseph Lucente (DSN, 2014)

Trade-Off Analysis for Selective versus Brute-Force Regression Testing in FSMWeb. - Anneliese Amschler Andrews; Hyunsook Do (HASE, 2014)

Fail-Safe Test Generation in Safety Critical Systems. - Anneliese Amschler Andrews; Salwa Elakeili; Salah Boukhris (HASE, 2014)

What is the foundation of evidence of human factors decisions in language design? an empirical study on programming language workshops. - Andreas Stefik; Stefan Hanenberg; Mark McKenney; Anneliese Amschler Andrews; Srinivas Kalyan Yellanki; Susanna Siebert (ICPC, 2014)

Variation factors in the design and analysis of replicated controlled experiments - Three (dis)similar studies on inspections versus unit testing. - Per Runeson; Andreas Stefik; Anneliese Amschler Andrews (Empir. Softw. Eng., 2014)

Active World Model for Testing Autonomous Systems Using CEFSM. - Anneliese Andrews; Mahmoud Abdelgawad; Ahmed Gario (MoDeVVa@MoDELS, 2015)

Towards World Model-based Test Generation in Autonomous Systems. - Anneliese Andrews; Mahmoud Abdelgawad; Ahmed Gario (MODELSWARD, 2015)

Selective Regression Testing of Safety-Critical Systems: A Black Box Approach. - Anneliese Andrews; Salwa Elakeili; Ahmed Alhaddad (QRS Companion, 2015)

On the Viability of Using SRGMs for IT Help Desk Incident Predictions. - Anneliese Andrews; Joseph Lucente (QRS, 2015)

Comparing Reuse Strategies in Different Development Environments. - Julia F. Varnell-Sarjeant; Anneliese Amschler Andrews (Adv. Comput., 2015)

An experiment on the effectiveness and efficiency of exploratory testing. - Wasif Afzal; Ahmad Nauman Ghazi; Juha Itkonen; Richard Torkar; Anneliese Amschler Andrews; Khurram Bhatti (Empir. Softw. Eng., 2015)

Comparing development approaches and reuse strategies: An empirical evaluation of developer views from the aerospace industry. - Julia F. Varnell-Sarjeant; Anneliese Amschler Andrews; Joe Lucente; Andreas Stefik (Inf. Softw. Technol., 2015)

World Model for Testing Autonomous Systems Using Petri Nets. - Anneliese Andrews; Mahmoud Abdelgawad; Ahmed Gario (HASE, 2016)

World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets. - Anneliese Amschler Andrews; Mahmoud Abdelgawad; Ahmed Gario (MODELSWARD, 2016)

Model-based testing of real-time adaptive motion planning (RAMP). - Mahmoud Abdelgawad; Sterling McLeod; Anneliese Andrews; Jing Xiao 001 (SIMPAR, 2016)

Towards better help desk planning: Predicting incidents and required effort. - Anneliese Amschler Andrews; Philip Beaver; Joseph Lucente (J. Syst. Softw., 2016)

Model-based testing of a real-time adaptive motion planning system. - Mahmoud Abdelgawad; Sterling McLeod; Anneliese Andrews; Jing Xiao 001 (Adv. Robotics, 2017)

A case study of black box fail-safe testing in web applications. - Salah Boukhris; Anneliese Andrews; Ahmed Alhaddad; Rinku Dewri (J. Syst. Softw., 2017)

Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems. - Aiman Gannous; Anneliese Andrews; Barbara Gallina (ISSRE Workshops, 2018)

Fail-safe testing of safety-critical systems: a case study and efficiency analysis. - Ahmed Gario; Anneliese Andrews; Seana Hagerman (Softw. Qual. J., 2018)

Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems. - Aiman Gannous; Anneliese Andrews (ISSRE, 2019)

Black-box model-based regression testing of fail-safe behavior in web applications. - Anneliese Andrews; Ahmed Alhaddad; Salah Boukhris (J. Syst. Softw., 2019)

Regression Testing of Mobile Apps. - Zeinab Abdalla; Anneliese Andrews; Ahmed Alhaddad (CSCI, 2021)

Model-Based Testing of Smart Home Systems Using EFSM and CEFSM. - Afnan Albahli; Anneliese Andrews (CSCI, 2021)

Chapter Two - Evaluating software testing techniques: A systematic mapping study. - Mitchell Mayeda; Anneliese Andrews (Adv. Comput., 2021)

Test Case Prioritization for Mobile Apps. - Zeinab Abdalla; Kerstin Sophie Haring; Anneliese Andrews (CSCI, 2022)

Guidelines for Combining Regression Testing Approaches. - Zeinab Abdalla; Kerstin Sophie Haring; Anneliese Andrews (CSCI, 2022)

Chapter One - FSMApp: Testing mobile apps. - Ahmed Alhaddad; Anneliese Andrews; Zeinab Abdalla (Adv. Comput., 2023)