ASE 2002
45 papers
- A Framework for Automatic Debugging
- A Model of Planning and Enactment Support in Complex Software Development Projects
- A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems
- Adapting Applications on the Fly
- Adding Value to Formal Test Oracles
- An Approach to Rapid Prototyping of Large Multi-Agent Systems
- Analyzing Dependencies in Large Component-Based Systems
- Assumption Generation for Software Component Verification
- Automated Validation of Class Invariants in C ++ Applications
- Automatic Inter-Procedural Test Case Generation
- Automatic Synthesis of Distributed Systems
- Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component
- Automatic Validation of Deployed J2EE Components Using Aspects
- Automatic Verification of any Number of Concurrent, Communicating Processes
- Automating Requirements Traceability: Beyond the Record & Replay Paradigm
- CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
- Combining and Adapting Software Quality Predictive Models by Genetic Algorithms
- Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing
- Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems
- Deviation Analysis Through Model Checking
- Distributed Modular Model Checking
- Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation
- Experience Report on Automated Procedure Construction for Deductive Synthesis
- From Early Requirements to User Interface Prototyping: A Methodological Approach
- Generating Expected Results for Automated Black-Box Testing
- Generating Product-Lines of Product-Families
- Generating Test Data for Functions with Pointer Inputs
- Generative Design Patterns
- Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components
- Interfaces for Modular Feature Verification
- Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation
- Model-Based Tests of Truisms
- No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs
- On CASE Tool Usage at Nokia
- Predicting Software Stability Using Case-Based Reasoning
- Process Support for Tools Interoperability
- Report on the Workshop on the State of the Art in Automated Software Engineering
- SeDiTeC - Testing Based on Sequence Diagrams
- Semantic Links and Co-Evolution in Object-Oriented Software Development
- System Testing for Object-Oriented Frameworks Using Hook Technology
- Systematic Bridging the Gap between Requirements and OO Design
- Towards Certifying Domain-Specific Properties of Synthesized Code
- Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems
- VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models
- What Makes Finite-State Models More (or Less) Testable?