Anneliese Amschler Andrews

Affiliations:
  • University of Denver, CO, USA


According to our database1, Anneliese Amschler Andrews authored at least 179 papers between 1980 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Chapter One - FSMApp: Testing mobile apps.
Adv. Comput., 2023

2022
Guidelines for Combining Regression Testing Approaches.
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2022

Test Case Prioritization for Mobile Apps.
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2022

2021
Chapter Two - Evaluating software testing techniques: A systematic mapping study.
Adv. Comput., 2021

Model-Based Testing of Smart Home Systems Using EFSM and CEFSM.
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2021

Regression Testing of Mobile Apps.
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2021

2019
Black-box model-based regression testing of fail-safe behavior in web applications.
J. Syst. Softw., 2019

Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

2018
Fail-safe testing of safety-critical systems: a case study and efficiency analysis.
Softw. Qual. J., 2018

Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2017
A case study of black box fail-safe testing in web applications.
J. Syst. Softw., 2017

Model-based testing of a real-time adaptive motion planning system.
Adv. Robotics, 2017

2016
Towards better help desk planning: Predicting incidents and required effort.
J. Syst. Softw., 2016

Model-based testing of real-time adaptive motion planning (RAMP).
Proceedings of the 2016 IEEE International Conference on Simulation, 2016

World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets.
Proceedings of the MODELSWARD 2016, 2016

World Model for Testing Autonomous Systems Using Petri Nets.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015
Comparing development approaches and reuse strategies: An empirical evaluation of developer views from the aerospace industry.
Inf. Softw. Technol., 2015

An experiment on the effectiveness and efficiency of exploratory testing.
Empir. Softw. Eng., 2015

Comparing Reuse Strategies in Different Development Environments.
Adv. Comput., 2015

On the Viability of Using SRGMs for IT Help Desk Incident Predictions.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Selective Regression Testing of Safety-Critical Systems: A Black Box Approach.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Towards World Model-based Test Generation in Autonomous Systems.
Proceedings of the MODELSWARD 2015, 2015

Active World Model for Testing Autonomous Systems Using CEFSM.
Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

2014
Variation factors in the design and analysis of replicated controlled experiments - Three (dis)similar studies on inspections versus unit testing.
Empir. Softw. Eng., 2014

What is the foundation of evidence of human factors decisions in language design? an empirical study on programming language workshops.
Proceedings of the 22nd International Conference on Program Comprehension, 2014

Fail-Safe Test Generation in Safety Critical Systems.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Trade-Off Analysis for Selective versus Brute-Force Regression Testing in FSMWeb.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Predicting Incident Reports for IT Help Desk.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Comparing Reuse Strategies: An Empirical Evaluation of Developer Views.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Fail-Safe Testing of Safety-Critical Systems.
Proceedings of the 23rd Australian Software Engineering Conference, 2014

From Incident Reports to Improvement Recommendations: Analyzing IT Help Desk Data.
Proceedings of the 23rd Australian Software Engineering Conference, 2014

Fail-Safe Testing of Web Applications.
Proceedings of the 23rd Australian Software Engineering Conference, 2014

2010
Scalability issues with using FSMWeb to test web applications.
Inf. Softw. Technol., 2010

2009
Regression testing with UML software designs: A survey.
J. Softw. Maintenance Res. Pract., 2009

Building test cases and oracles to automate the testing of web database applications.
Inf. Softw. Technol., 2009

2008
Testing with Software Designs.
Adv. Comput., 2008

2007
Testing UML designs.
Inf. Softw. Technol., 2007

Trace anomalies as precursors of field failures: an empirical study.
Empir. Softw. Eng., 2007

2006
What do we know about defect detection methods? [software testing].
IEEE Softw., 2006

Comparison of software architecture reverse engineering methods.
Inf. Softw. Technol., 2006

Using UML Designs to Generate OCL for Security Testing.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Software Defect Data and Predictability for Testing Schedules.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Regression Testing UML Designs.
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

Security Consistency in UML Designs.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005
A Framework for Design Tradeoffs.
Softw. Qual. J., 2005

Testing Web applications by modeling with FSMs.
Softw. Syst. Model., 2005

A strategy for selecting multiple components.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Evaluation of Three Methods to Predict Project Success: A Case Study.
Proceedings of the Product Focused Software Process Improvement, 2005

A COTS Component Comprehension Process.
Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

Defining Maintainable Components in the Design Phase.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

A Tool-Supported Approach to Testing UML Design Models.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Fault Links: Exploring the Relationship Between Module and Fault Types.
Proceedings of the Dependable Computing, 2005

2004
AutoDBT: A Framework for Automatic Testing of Web Database Applications.
Proceedings of the Web Information Systems, 2004

EPTUD: An Eclipse Plugin for Testing UML Designs.
Proceedings of the UML Modeling Languages and Applications, 2004

Defining and Qualifying Components in the Design Phase.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

RUBASTEM: A Method for Testing VHDL Behavioral Models.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

Requirements Trade-offs During UML Design.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003
Guest Editors' Introduction: 2001 International Conference on Software Maintenance.
IEEE Trans. Software Eng., 2003

Test adequacy criteria for UML design models.
Softw. Test. Verification Reliab., 2003

Prioritizing and Assessing Software Project Success Factors and Project Characteristics using Subjective Data.
Empir. Softw. Eng., 2003

A Rule-Based Software Testing Method for VHDL Models.
Proceedings of the IFIP VLSI-SoC 2003, 2003

Rigorous Testing by Merging Structural and Behavioral UML Representations.
Proceedings of the «UML» 2003, 2003

Understanding Change-Proneness in OO Software through Visualization.
Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003

Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Test Adequacy Assessment for UML Design Model Testing.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Anomalies as Precursors of Field Failures.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002
Estimating the number of components with defects post-release that showed no defects in testing.
Softw. Test. Verification Reliab., 2002

Deriving a Fault Architecture to Guide Testing.
Softw. Qual. J., 2002

AI Planner Assisted Test Generation.
Softw. Qual. J., 2002

Fast Anti-Random (FAR) Test Generation to Improve the Quality of Behavioral Model Verification.
J. Electron. Test., 2002

An Empirical Method for Selecting Software Reliability Growth Models.
Empir. Softw. Eng., 2002

Analysing primary and lower order project success drivers.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

A Model for Understanding Software Components.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001
Editorial.
IEEE Trans. Software Eng., 2001

Assessing Project Success Using Subjective Evaluation Factors.
Softw. Qual. J., 2001

Quantitative Analysis of Development Defects to Guide Testing: A Case Study.
Softw. Qual. J., 2001

Modelling fault-proneness statistically over a sequence of releases: a case study.
J. Softw. Maintenance Res. Pract., 2001

Ethical Issues in Empirical Software Engineering: The Limits of Policy.
Empir. Softw. Eng., 2001

The Colorado Advanced Software Institute: From Virtual Research Laboratory to Software Clinic.
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

Learning to Measure or Measuring to Learn?
Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001

Stopping Criteria Comparison: Towards High Quality Behavioral Verification.
Proceedings of the 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 2001

High quality behavioral verification using statistical stopping criteria.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000
Generating test-cases from an object-oriented model with an artifical-intelligence planning system.
IEEE Trans. Reliab., 2000

Effect of Fault Distribution and Execution Patterns on Fault Exposure in Software: A Simulation Study.
Softw. Test. Verification Reliab., 2000

Deriving fault architectures from defect history.
J. Softw. Maintenance Res. Pract., 2000

Subjective evaluation as a tool for learning from software project success.
Inf. Softw. Technol., 2000

Assessing and Understanding Efficiency and Success of Software Production.
Empir. Softw. Eng., 2000

Testing Object-Oriented Systems Using Extended Use-Cases.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Planner Based Error Recovery Testing.
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Achieving the Quality of Verification for Behavioral Models with Minimum Effort.
Proceedings of the 1st International Symposium on Quality of Electronic Design (ISQED 2000), 2000

On choosing test criteria for behavioral level hardware design verification.
Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

On statistical behavior of branch coverage in testing behavioral VHDL models.
Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

1999
A Coding Scheme to Support Systematic Analysis of Software Comprehension.
IEEE Trans. Software Eng., 1999

Automated regression testing using DBT and <i>Sleuth</i>.
J. Softw. Maintenance Res. Pract., 1999

Towards an ontology of software maintenance.
J. Softw. Maintenance Res. Pract., 1999

Program understanding behavior during corrective maintenance of large-scale software.
Int. J. Hum. Comput. Stud., 1999

Using domain models for system testing.
Adv. Comput., 1999

On the Role of Static Analysis during Software Maintenance.
Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

Deriving a fault architecture from defect history.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

Generating test cases from an OO model with an AI planning system.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

Efficient Verification of Behavioral Models Using Sequential Sampling Technique.
Proceedings of the VLSI: Systems on a Chip, 1999

Experience Paper: Experience with a Reverse Engineering Architecture Approach to Increase Understanding.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Exploiting Competitive Planner Performance.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

Generating Goal-Oriented Test Cases.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998
Program Understanding Behavior During Adaptation of Large Scale Software.
Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Program Understanding During Software Adaptation Tasks.
Proceedings of the 1998 International Conference on Software Maintenance, 1998

Fast Antirandom (FAR) Test Generation.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997
Program understanding behaviour during enhancement of large-scale software.
J. Softw. Maintenance Res. Pract., 1997

On Increasing Our Knowledge of Large-Scale Software Comprehension .
Empir. Softw. Eng., 1997

Test Case Generation as an AI Planning Problem.
Autom. Softw. Eng., 1997

Building a Research Infrastructure for Program Comprehension Observations.
Proceedings of the 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997, 1997

Hypothesis-Driven Understanding Processes During Corrective Maintenance of Large Scale Software.
Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

Program understanding behavior during debugging of large scale software.
Proceedings of the Papers presented at the Seventh Workshop on Empirical Studies of Programmers, 1997

Program understanding needs during corrective maintenance of large scale software.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Identification of Dynamic Comprehension Processes During Large Scale Maintenance.
IEEE Trans. Software Eng., 1996

Assessing Neural Networks as Guides for Testing Activities.
Proceedings of the 3rd IEEE International Software Metrics Symposium (METRICS 1996), 1996

On the Role of Hypotheses during Opportunistic Understanding While Porting Large Scale Code.
Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), 1996

On domain models for system testing.
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

1995
Industrial experience with an integrated code comprehension model.
Softw. Eng. J., 1995

Program Comprehension During Software Maintenance and Evolution.
Computer, 1995

Program Understanding: Models and Experiments.
Adv. Comput., 1995

Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests.
Proceedings of the Proceedings KBSE'95, 1995

On the Use of Neural Networks to Guide Software Testing Activities.
Proceedings of the Proceedings IEEE International Test Conference 1995, 1995

System testing with an AI planner.
Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Performance analysis using SPN of a mobile telecommunication network under heavy load.
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

1994
Maintenance and Evolution of Software Products.
Adv. Comput., 1994

Developing requirements for a user interface.
Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

Dynamic code cognition behaviors for large scale code.
Proceedings of the Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, 1994

Sleuth: A Domain-Based Testing Tool.
Proceedings of the Proceedings IEEE International Test Conference 1994, 1994

Testing applications using domain based testing and Sleuth.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Domain Based Regression Testing.
Proceedings of the International Conference on Software Maintenance, 1994

Comprehension Processes During Large Scale Maintenance.
Proceedings of the 16th International Conference on Software Engineering, 1994

Domain Based Testing: Increasing Test Case Reuse.
Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

A Hierarchy of Production System Models and Factors.
Proceedings of the 20st International Computer Measurement Group Conference, 1994

A knowledge-based approach to regression testing.
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1993
An Examination of Fault Exposure Ratio.
IEEE Trans. Software Eng., 1993

A production-based approach to performance evaluation of computing technology.
J. Syst. Softw., 1993

Simple and fast approximations for generalized stochastic Petri nets.
J. Syst. Softw., 1993

Incremental parsing for software maintenance tools.
J. Syst. Softw., 1993

CASE Tool Architecture for Knowledge-Based Regression Testing.
Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993

From program comprehension to tool requirements for an industrial environment.
Proceedings of the IEEE Second Workshop on Program Comprehension, 1993

Efficient Testing of Software Modifications.
Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993

On the need for simulation for better characterization of software reliability.
Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

Automated testing support for a robot tape library.
Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

From Code Comprehension Model to Tool Capabilities.
Proceedings of the Computing and Information, 1993

Software process assessment and improvement using production models.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

Maintenance support needs for object-oriented software.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
Using service-level indices to manage the quality of computing services: A case study.
J. Syst. Softw., 1992

An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs.
Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

A Simulation Environment for Early Lifecycle Software Reliability Research and Prediction.
Proceedings of the Proceedings IEEE International Test Conference 1992, 1992

Software Testing: Opportunity and Nightmare.
Proceedings of the Proceedings IEEE International Test Conference 1992, 1992

The nature of fault exposure ratio.
Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

Session 4 Summary: (Measurement-Based) Modeling.
Proceedings of the Experimental Software Engineering Issues: Critical Assessment and Future Directions, 1992

The Role of Simulation in Software Engineering Experimentation.
Proceedings of the Experimental Software Engineering Issues: Critical Assessment and Future Directions, 1992

Corporate Software Engineering Education for Six Sigma: Course Development and Assessment of Success.
Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

1991
Testing and evolutionary development.
ACM SIGSOFT Softw. Eng. Notes, 1991

Managing the quality of computing services: A user-oriented approach using utility theory and service-level indices.
J. Syst. Softw., 1991

AMT - the Ada maintenance toolchest.
Proceedings of the Conference on TRI-Ada 1991, 1991

A data collection environment for software reliability research.
Proceedings of the Second International Symposium on Software Reliability Engineering, 1991

1990
Alleviating Memory Bottlenecks Using Multi-Level Memory.
Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

Productivity improvement with evolutionary development.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

A Queueing Network Model for Determining Protocol Performance Requirements.
Proceedings of the 16th International Computer Measurement Group Conference, 1990

Software Engineering: Methods and Management.
Proceedings of the 16th International Computer Measurement Group Conference, 1990

Software engineering - methods and management.
Academic Press, ISBN: 978-0-12-727320-4, 1990

1988
Data flow analysis and its application to software maintenance.
Proceedings of the Conference on Software Maintenance, 1988

1986
Why Build an Expert System for Computer Performance Management?
Proceedings of the Twelfth International Computer Measurement Group Conference, 1986

Degradble Computer Ssytems: Performance and Reliability Trade-offs during Design.
Proceedings of the Architektur von Rechensystemen, 1986

1985
Degradable Computer Systems with Dependent Subsystems.
Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1985

1984
Convexity and Concavity Properties of Analytic Queuing Models for Computer Systems.
Proceedings of the Performance '84, 1984

Software Development Guidelines - a Measurement Approach.
Proceedings of the Tenth International Computer Measurement Group Conference, 1984

Models to Evaluate Trade-Offs Between Performance and Reliability.
Proceedings of the Tenth International Computer Measurement Group Conference, 1984

Response Time Convexity for Interactive Computer Systems.
Proceedings of the Tenth International Computer Measurement Group Conference, 1984

1983
Introduction to Computer Service Selection Methods.
Proceedings of the Ninth International Computer Measurement Group Conference, 1983

Performance Management Toolset Consideration for different Environments.
Proceedings of the Ninth International Computer Measurement Group Conference, 1983

1982
Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems.
Proceedings of the Eigth International Computer Measurement Group Conference, 1982

BEST/1 Analysis of the IBM 3880-13 Cached Storage Controller.
Proceedings of the Eigth International Computer Measurement Group Conference, 1982

1981
Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection.
Proceedings of the Seventh International Computer Measurement Group Conference, 1981

1980
SADAT - An Automated Testing Tool.
IEEE Trans. Software Eng., 1980


  Loading...