Anneliese von Mayrhauser

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Planner Based Error Recovery Testing.

[BibT_eX]

[DOI]

,

Michael Scheetz

,

Eric Dahlman

,

Adele E. Howe

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Achieving the Quality of Verification for Behavioral Models with Minimum Effort.

[BibT_eX]

[DOI]

,

,

,

,

Mehmet Sahinoglu

Proceedings of the 1st International Symposium on Quality of Electronic Design (ISQED 2000), 2000

On choosing test criteria for behavioral level hardware design verification.

[BibT_eX]

[DOI]

,

,

,

,

,

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.

[BibT_eX]

[DOI]

,

,

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

On the Role of Static Analysis during Software Maintenance.

[BibT_eX]

[DOI]

,

Stephen Lang

Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

Deriving a fault architecture from defect history.

[BibT_eX]

[DOI]

,

J. Wang

,

Magnus C. Ohlsson

,

Claes Wohlin

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

Generating test cases from an OO model with an AI planning system.

[BibT_eX]

[DOI]

,

Robert B. France

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

Efficient Verification of Behavioral Models Using Sequential Sampling Technique.

[BibT_eX]

,

Isabelle Munn

,

,

Proceedings of the VLSI: Systems on a Chip, 1999

Experience Paper: Experience with a Reverse Engineering Architecture Approach to Increase Understanding.

[BibT_eX]

[DOI]

,

J. Wang

,

Q. Li

Proceedings of the 1999 International Conference on Software Maintenance, 1999

How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing.

[BibT_eX]

[DOI]

,

,

,

,

Mehmet Sahinoglu

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Exploiting Competitive Planner Performance.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

Generating Goal-Oriented Test Cases.

[BibT_eX]

[DOI]

,

Michael Scheetz

,

Eric Dahlman

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

Program Understanding Behavior During Adaptation of Large Scale Software.

[BibT_eX]

[DOI]

,

Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Program Understanding During Software Adaptation Tasks.

[BibT_eX]

[DOI]

,

Proceedings of the 1998 International Conference on Software Maintenance, 1998

Fast Antirandom (FAR) Test Generation.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

Building a Research Infrastructure for Program Comprehension Observations.

[BibT_eX]

[DOI]

Steve Lang

,

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.

[BibT_eX]

[DOI]

,

Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

Program understanding behavior during debugging of large scale software.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Assessing Neural Networks as Guides for Testing Activities.

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

,

Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), 1996

On domain models for system testing.

[BibT_eX]

[DOI]

,

Martin Shumway

,

Pete Ocken

,

Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests.

[BibT_eX]

[DOI]

Adele E. Howe

,

,

Proceedings of the Proceedings KBSE'95, 1995

On the Use of Neural Networks to Guide Software Testing Activities.

[BibT_eX]

[DOI]

,

,

Proceedings of the Proceedings IEEE International Test Conference 1995, 1995

System testing with an AI planner.

[BibT_eX]

[DOI]

,

Adele E. Howe

,

,

Li Li

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Performance analysis using SPN of a mobile telecommunication network under heavy load.

[BibT_eX]

[DOI]

Deepak Dube

,

Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Developing requirements for a user interface.

[BibT_eX]

[DOI]

,

L. Przybylski

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

Dynamic code cognition behaviors for large scale code.

[BibT_eX]

[DOI]

,

Proceedings of the Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, 1994

Sleuth: A Domain-Based Testing Tool.

[BibT_eX]

[DOI]

,

,

Proceedings of the Proceedings IEEE International Test Conference 1994, 1994

Testing applications using domain based testing and Sleuth.

[BibT_eX]

[DOI]

,

,

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Domain Based Regression Testing.

[BibT_eX]

[DOI]

,

,

Proceedings of the International Conference on Software Maintenance, 1994

Comprehension Processes During Large Scale Maintenance.

[BibT_eX]

[DOI]

,

Proceedings of the 16th International Conference on Software Engineering, 1994

Domain Based Testing: Increasing Test Case Reuse.

[BibT_eX]

[DOI]

,

,

,

Pete Ocken

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

A Hierarchy of Production System Models and Factors.

[BibT_eX]

[DOI]

Armin Roeseler

,

Proceedings of the 20st International Computer Measurement Group Conference, 1994

A knowledge-based approach to regression testing.

[BibT_eX]

[DOI]

Taewoong Jeon

,

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

CASE Tool Architecture for Knowledge-Based Regression Testing.

[BibT_eX]

[DOI]

,

Taewoong Jeon

Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993

From program comprehension to tool requirements for an industrial environment.

[BibT_eX]

[DOI]

,

Proceedings of the IEEE Second Workshop on Program Comprehension, 1993

Efficient Testing of Software Modifications.

[BibT_eX]

[DOI]

,

Kurt M. Olender

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.

[BibT_eX]

[DOI]

,

Yashwant K. Malaiya

,

Pradip K. Srimani

,

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

Automated testing support for a robot tape library.

[BibT_eX]

[DOI]

,

Stew Crawford-Hines

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

From Code Comprehension Model to Tool Capabilities.

[BibT_eX]

,

Proceedings of the Computing and Information, 1993

Software process assessment and improvement using production models.

[BibT_eX]

[DOI]

,

Armin Roeseler

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

Maintenance support needs for object-oriented software.

[BibT_eX]

[DOI]

Ronald T. Crocker

,

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs.

[BibT_eX]

[DOI]

,

Shao-Ming Simon Hsueh

Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

A Simulation Environment for Early Lifecycle Software Reliability Research and Prediction.

[BibT_eX]

[DOI]

,

Proceedings of the Proceedings IEEE International Test Conference 1992, 1992

Software Testing: Opportunity and Nightmare.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1992, 1992

The nature of fault exposure ratio.

[BibT_eX]

[DOI]

Yashwant K. Malaiya

,

,

Pradip K. Srimani

Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

Session 4 Summary: (Measurement-Based) Modeling.

[BibT_eX]

[DOI]

Proceedings of the Experimental Software Engineering Issues: Critical Assessment and Future Directions, 1992

The Role of Simulation in Software Engineering Experimentation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

,

LaVon Green

,

Bud Glick

,

S. Coker

Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

AMT - the Ada maintenance toolchest.

[BibT_eX]

[DOI]

Proceedings of the Conference on TRI-Ada 1991, 1991

A data collection environment for software reliability research.

[BibT_eX]

[DOI]

,

Proceedings of the Second International Symposium on Software Reliability Engineering, 1991

Alleviating Memory Bottlenecks Using Multi-Level Memory.

[BibT_eX]

[DOI]

Deepak Dube

,

Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

Productivity improvement with evolutionary development.

[BibT_eX]

[DOI]

,

Barbara Hirsh

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

A Queueing Network Model for Determining Protocol Performance Requirements.

[BibT_eX]

[DOI]

David M. Northcutt

,

Proceedings of the 16th International Computer Measurement Group Conference, 1990

Software Engineering: Methods and Management.

[BibT_eX]

[DOI]

Proceedings of the 16th International Computer Measurement Group Conference, 1990

Data flow analysis and its application to software maintenance.

[BibT_eX]

[DOI]

,

Katherine Roberson

,

Proceedings of the Conference on Software Maintenance, 1988

Why Build an Expert System for Computer Performance Management?

[BibT_eX]

[DOI]

Sam L. Biardo

,

Martha Evens

,

Proceedings of the Twelfth International Computer Measurement Group Conference, 1986

Degradble Computer Ssytems: Performance and Reliability Trade-offs during Design.

[BibT_eX]

Halim M. Khelalfa

,

Proceedings of the Architektur von Rechensystemen, 1986

Degradable Computer Systems with Dependent Subsystems.

[BibT_eX]

[DOI]

Halim M. Khelalfa

,

Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1985

Convexity and Concavity Properties of Analytic Queuing Models for Computer Systems.

[BibT_eX]

James R. Kenevan

,

Proceedings of the Performance '84, 1984

Software Development Guidelines - a Measurement Approach.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Computer Measurement Group Conference, 1984

Models to Evaluate Trade-Offs Between Performance and Reliability.

[BibT_eX]

[DOI]

Halim M. Khelalfa

,

Proceedings of the Tenth International Computer Measurement Group Conference, 1984

Response Time Convexity for Interactive Computer Systems.

[BibT_eX]

[DOI]

James R. Kenevan

,

Proceedings of the Tenth International Computer Measurement Group Conference, 1984

Introduction to Computer Service Selection Methods.

[BibT_eX]

[DOI]

,

Dennis E. Witte

Proceedings of the Ninth International Computer Measurement Group Conference, 1983

Performance Management Toolset Consideration for different Environments.

[BibT_eX]

[DOI]

,

Sam L. Biardo

Proceedings of the Ninth International Computer Measurement Group Conference, 1983

Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems.

[BibT_eX]

[DOI]

Kishor S. Trivedi

,

Proceedings of the Eigth International Computer Measurement Group Conference, 1982

BEST/1 Analysis of the IBM 3880-13 Cached Storage Controller.

[BibT_eX]

[DOI]

Jeffrey P. Buzen

,

Proceedings of the Eigth International Computer Measurement Group Conference, 1982

Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection.

[BibT_eX]

[DOI]

Kishor S. Trivedi

,