ASE 2008
93 papers
- 4th International ERCIM Workshop on Software Evolution and Evolvability (Evol'08)
- A Case Study on the Automatic Composition of Network Application Mashups
- A Case for Automatic Exception Handling
- A Framework for Dynamic Service Discovery
- A Generic Approach for Class Model Normalization
- A Methodology and Framework for Creating Domain-Specific Development Infrastructures
- A Specification Language for Static Analysis of Student Exercises
- A System for Supporting Development of Large Scaled Rich Internet Applications
- A Two-Step Approach for Modelling Flexibility in Software Processes
- ADDSS: Architecture Design Decision Support System Tool
- APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars
- ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems
- An Assume Guarantee Verification Methodology for Aspect-Oriented Programming
- An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach
- AspectM: UML-Based Extensible AOM Language
- Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates
- Automated Aspect Recommendation through Clustering-Based Fan-in Analysis
- Automated Continuous Integration of Component-Based Software: An Industrial Experience
- Automated Mapping from Goal Models to Self-Adaptive Systems
- Automated Verification of Multi-Agent Programs
- Automated Web Performance Analysis
- Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections
- Automatic Inference of Frame Axioms Using Static Analysis
- Automatic Test Generation for LUSTRE/SCADE Programs
- Cleman: Comprehensive Clone Group Evolution Management
- Combining the Analysis of Spatial Layout and Text to Support Design Exploration
- Composition of Qualitative Adaptation Policies
- Configuration Lifting: Verification meets Software Configuration
- Connecting Programming Environments to Support Ad-Hoc Collaboration
- DUALLY: A framework for Architectural Languages and Tools Interoperability
- DiffGen: Automated Regression Unit-Test Generation
- Discovering Patterns of Change Types
- Distributed Constraints Maintenance in Collaborative UML Modeling Environments
- Efficient Monitoring of Parametric Context-Free Patterns
- Effort Estimation in Capturing Architectural Knowledge
- Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models
- Enforcing Structural Regularities in Source Code using IntensiVE
- Error Reporting Logic
- Evaluating Models for Model-Based Debugging
- Feature Interaction Detection in the Automotive Domain
- First International Workshop on Social Software Engineering and Applications (SoSEA 2008)
- Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
- Generic Patch Inference
- Heuristics for Scalable Dynamic Test Generation
- How Program History Can Improve Code Completion
- IR-Based Traceability Recovery Processes: An Empirical Comparison of "One-Shot" and Incremental Processes
- Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution
- Increasing Test Granularity by Aggregating Unit Tests
- Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management
- Inferring Finite-State Models with Temporal Constraints
- Living with the Law: Can Automation give us Moore with Less?
- MTSA: The Modal Transition System Analyser
- Managing Models through Macromodeling
- MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation
- Mining Scenario-Based Triggers and Effects
- Model-Driven Development of Mobile Applications
- Model-Driven Development of Mobile Personal Health Care Applications
- Predicting Effectiveness of Automatic Testing Tools
- Predictive Typestate Checking of Multithreaded Java Programs
- Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite
- Program Analysis with Dynamic Precision Adjustment
- PtYasm: Software Model Checking with Proof Templates
- QuARS Express - A Tool Demonstration
- Query-Aware Test Generation Using a Relational Constraint Solver
- Random Test Run Length and Effectiveness
- Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems
- Rapid: Identifying Bug Signatures to Support Debugging Activities
- Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking
- Reducing the Cost of Path Property Monitoring Through Sampling
- Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking
- Reflections on, and Predictions for, Support Systems for the Development of Programs
- ReqsCov: A Tool for Measuring Test-Adequacy over Requirements
- Rhizome: A Feature Modeling and Generation Platform
- Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems
- Semi-Automating Pragmatic Reuse Tasks
- Software Cost Estimation using Fuzzy Decision Trees
- SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web
- Swarm Verification
- Test-Suite Augmentation for Evolving Software
- Testing Peers' Volatility
- The Clem Toolkit
- The Consistency of Web Conversations
- Tool Support for Parametric Analysis of Large Software Simulation Systems
- Tools for Traceability in Secure Software Development
- Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems
- Type-Checking Software Product Lines - A Formal Approach
- Unifying Analysis Tools with Rosetta
- Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
- Using Cluster Analysis to Improve the Design of Component Interfaces
- Using Simulation to Investigate Requirements Prioritization Strategies
- VCR: Virtual Capture and Replay for Performance Testing
- Validating Real Time Specifications using Real Time Event Queue Modeling
- XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability Gap