ASE 2009
89 papers
- A Case for Automated Debugging Using Data Structure Repair
- A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs
- A Formal Syntax for Probabilistic Timed Property Sequence Charts
- A Framework for State-Space Exploration of Java-Based Actor Programs
- A Holistic Approach to Mobile Service Provisioning
- A Linear Programming Approach for Automated Localization of Multiple Faults
- A Methodology and Framework to Simplify Usability Analysis of Mobile Applications
- A Modelling Language for Interactive Web Applications
- A Petri Net Based Debugging Environment for QVT Relations
- A Quantum Algorithm for Software Engineering Search
- A Tool Suite for the Generation and Validation of Configurations for Software Availability
- A Tool for Attributed Goal-Oriented Requirements Analysis
- A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software
- AOWP: Web-Specific AOP Framework for PHP
- Adaptive Random Test Case Prioritization
- Adding Examples into Java Documents
- Alattin: Mining Alternative Patterns for Detecting Neglected Conditions
- An Automated Passive Testing Approach for the IMS PoC Service
- An Automated Tool for Generating UML Models from Natural Language Requirements
- An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software
- An Open Source-Based Approach to Software Development Infrastructures
- Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development
- Automated Comprehension Tasks in Software Exploration
- Automated Software Tool Support for Checking the Inconsistency of Requirements
- Automated Test Order Generation for Software Component Integration Testing
- Automatic Generation of Object Usage Specifications from Large Method Traces
- Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks
- Automating the Implementation of Analysis Concerns in Workflow Applications
- Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
- Clone-Aware Configuration Management
- Cluster-Based I/O-Efficient LTL Model Checking
- Code Completion from Abbreviated Input
- Design Rule Hierarchies and Parallelism in Software Development Tasks
- EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements
- Efficient Formalism-Independent Monitoring of Parametric Properties
- Enhanced Automation for Managing Model and Metamodel Inconsistency
- Evaluating the Accuracy of Fault Localization Techniques
- Explicit Concern-Driven Development with ArchEvol
- Generating Fixes from Object Behavior Anomalies
- Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses
- Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework
- Goal-Based Testing of Semantic Web Services
- Improving API Usage through Automatic Detection of Redundant Code
- Improving Component Dependency Resolution with Soft Constraints, Validation and Verification
- Improving the Efficiency of Dependency Analysis in Logical Decision Models
- Inferring Method Effect Summaries for Nested Heap Regions
- Inferring Resource Specifications from Natural Language API Documentation
- Jtop: Managing JUnit Test Cases in Absence of Coverage Information
- KaitoroBase: Visual Exploration of Software Architecture Documents
- Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy
- Looper: Lightweight Detection of Infinite Loops at Runtime
- Loopfrog: A Static Analyzer for ANSI-C Programs
- Lost in Translation: Forgetful Semantic Anchoring
- Migration from Procedural Programming to Aspect Oriented Paradigm
- Mining Health Models for Performance Monitoring of Services
- Mining Hierarchical Scenario-Based Specifications
- Mining Temporal Specifications from Object Usage
- Model Checking of Domain Artifacts in Product Line Engineering
- Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences
- Optimizing a Structural Constraint Solver for Efficient Software Checking
- Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software
- Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking
- ReAssert: Suggesting Repairs for Broken Unit Tests
- Reducing Features to Improve Bug Prediction
- Reggae: Automated Test Generation for Programs Using Complex Regular Expressions
- SMT-Based Bounded Model Checking for Embedded ANSI-C Software
- Secure and Usable Requirements Engineering
- Self-Repair through Reconfiguration: A Requirements Engineering Approach
- Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering
- Service Substitution Revisited
- Specification and Control of Interface Responses to User Input in Rich Internet Applications
- Spectrum-Based Multiple Fault Localization
- State-Space Coverage Estimation
- Static Typing for Ruby on Rails
- Static Validation of C Preprocessor Macros
- Supporting Requirements Validation: The EuRailCheck Tool
- Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
- Task-First or Context-First? Tool Integration Revisited
- Towards Augmenting Requirements Models with Preferences
- Towards Automating Class-Splitting Using Betweenness Clustering
- Towards a Comprehensive Test Suite for Detectors of Design Patterns
- Type Inference for Soft-Error Fault-Tolerance Prediction
- Understanding the Value of Software Engineering Technologies
- Using Spectrum-Based Fault Localization for Test Case Grouping
- Using String Distances for Test Case Prioritisation
- Validating Automotive Control Software Using Instrumentation-Based Verification
- Weaving Context Sensitivity into Test Suite Construction
- Zoltar: A Toolset for Automatic Fault Localization
- phpModeler - A Web Model Extractor