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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on id.loc.gov
-
on cs.du.edu
On csauthors.net:
Bibliography
2023
2022
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2022
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2022
2021
Adv. Comput., 2021
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2021
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2021
2019
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
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
J. Syst. Softw., 2017
Adv. Robotics, 2017
2016
J. Syst. Softw., 2016
Proceedings of the 2016 IEEE International Conference on Simulation, 2016
Proceedings of the MODELSWARD 2016, 2016
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
Empir. Softw. Eng., 2015
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Proceedings of the MODELSWARD 2015, 2015
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
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
Proceedings of the 23rd Australian Software Engineering Conference, 2014
Proceedings of the 23rd Australian Software Engineering Conference, 2014
Proceedings of the 23rd Australian Software Engineering Conference, 2014
2010
Inf. Softw. Technol., 2010
2009
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
Empir. Softw. Eng., 2007
2006
IEEE Softw., 2006
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
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the Product Focused Software Process Improvement, 2005
Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Proceedings of the Dependable Computing, 2005
2004
Proceedings of the Web Information Systems, 2004
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
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004
2003
IEEE Trans. Software Eng., 2003
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
Proceedings of the «UML» 2003, 2003
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
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003
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
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
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002
2001
Softw. Qual. J., 2001
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
Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001
Proceedings of the 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 2001
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
J. Softw. Maintenance Res. Pract., 2000
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
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000
Proceedings of the 1st International Symposium on Quality of Electronic Design (ISQED 2000), 2000
Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000
Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000
1999
IEEE Trans. Software Eng., 1999
J. Softw. Maintenance Res. Pract., 1999
Program understanding behavior during corrective maintenance of large-scale software.
Int. J. Hum. Comput. Stud., 1999
Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999
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
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
1998
Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998
Proceedings of the 1998 International Conference on Software Maintenance, 1998
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998
1997
J. Softw. Maintenance Res. Pract., 1997
Empir. Softw. Eng., 1997
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
Proceedings of the Papers presented at the Seventh Workshop on Empirical Studies of Programmers, 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
1996
IEEE Trans. Software Eng., 1996
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
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996
1995
Softw. Eng. J., 1995
Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests.
Proceedings of the Proceedings KBSE'95, 1995
Proceedings of the Proceedings IEEE International Test Conference 1995, 1995
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
Proceedings of the 1994 ACM Symposium on Applied Computing, 1994
Proceedings of the Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, 1994
Proceedings of the Proceedings IEEE International Test Conference 1994, 1994
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994
Proceedings of the International Conference on Software Maintenance, 1994
Proceedings of the 16th International Conference on Software Engineering, 1994
Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994
Proceedings of the 20st International Computer Measurement Group Conference, 1994
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994
1993
J. Syst. Softw., 1993
J. Syst. Softw., 1993
Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993
Proceedings of the IEEE Second Workshop on Program Comprehension, 1993
Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993
Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993
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
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993
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
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
Proceedings of the Proceedings IEEE International Test Conference 1992, 1992
Proceedings of the Third International Symposium on Software Reliability Engineering, 1992
Proceedings of the Experimental Software Engineering Issues: Critical Assessment and Future Directions, 1992
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
Managing the quality of computing services: A user-oriented approach using utility theory and service-level indices.
J. Syst. Softw., 1991
Proceedings of the Conference on TRI-Ada 1991, 1991
Proceedings of the Second International Symposium on Software Reliability Engineering, 1991
1990
Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990
Proceedings of the 16th International Computer Measurement Group Conference, 1990
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
Proceedings of the Conference on Software Maintenance, 1988
1986
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
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
Proceedings of the Tenth International Computer Measurement Group Conference, 1984
Proceedings of the Tenth International Computer Measurement Group Conference, 1984
Proceedings of the Tenth International Computer Measurement Group Conference, 1984
1983
Proceedings of the Ninth International Computer Measurement Group Conference, 1983
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
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