ASE 2006
69 papers
- 2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia)
- A Portable Compiler-Integrated Approach to Permanent Checking
- A Unified Model for Product Data Management and Software Configuration Management
- A methodology for automated test generation guided by functional coverage constraints at specification level
- A new web browser including a transferable function to Ajax codes
- Accurate Centralization for Applying Model Checking on Networked Applications
- An Automated Approach for Goal-driven, Specification-based Testing
- An Automated Formal Approach to Managing Dynamic Reconfiguration
- An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing
- An Instant Message-Driven User Interface Framework for Thin Client Applications
- Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)
- ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links
- Automated Information Aggregation for Scaling Scale-Resistant Services
- Automated Reasoning on Aspects Interactions
- Automated Round-trip Software Engineering in Aspect Weaving Systems
- Automated Verification Tool for DHTML
- Automatic Generation of Detection Algorithms for Design Defects
- Automatic Identification of Bug-Introducing Changes
- Automatic Property Checking for Software: Past, Present and Future
- Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learne
- Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems
- Command-Form Coverage for Testing Database Applications
- Concurrent Engineering support in Software Engineering
- Conference Committee
- Contradiction Finding and Minimal Recovery for UML Class Diagrams
- Coverage Metrics to Measure Adequacy of Black-Box Test Suites
- Detecting Precedence-Related Advice Interference
- Differencing and Merging of Architectural Views
- Domain-specific Model Checking Using The Bogor Framework
- Effective Generation of Interface Robustness Properties for Static Analysis
- Energy-Awareness in Distributed Java-Based Software Systems
- Expert Reviewer Panel
- From Capability Specifications to Code for Multi-Agent Software
- Generating Domain-Specific Visual Language Editors from High-level Tool Specifications
- Human-Friendly Line Routing for Hierarchical Diagrams
- Identifying Refactorings from Source-Code Changes
- Integrated Variability Modeling of Features and Architecture in Software Product Line Engineering
- Integrating and Scheduling an Open Set of Static Analyses
- Introduction to Tool Demonstrations
- Japanese Workshop on Leveraging Web2.0 Technologies in Software Development Environments (WebSDE)
- Japanese Workshop on Requirements Engineering Tools (JWRET)
- LSS: A Tool for Large Scale Scenarios
- Management of Incomplete and Inconsistent Views
- Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
- Mining Aspects from Version History
- Mock-object generation with behavior
- Model-driven Monitoring: Generating Assertions from Visual Contracts
- Modularity Analysis of Logical Design Models
- Preface
- Program Committee
- Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL
- Reverse Engineering of Design Patterns from Java Source Code
- Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages
- Second International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006)
- Security Analysis of Crypto-based Java Programs using Automated Theorem Provers
- Sieve: A Tool for Automatically Detecting Variations Across Program Versions
- Software Connectors for Highly Distributed and Voluminous Data Intensive Systems
- Software Library Usage Pattern Extraction Using a Software Model Checker
- Steering Committee
- TOPCASED Combining Formal Methods with Model-Driven Engineering
- Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE
- The Rearranger - A New Assembler Utility
- Tobias-Z: An executable formal specification of a test generator
- Towards Automatic Assertion Refinement for Separation Logic
- UML-based Service Discovery Tool
- Using Decision Trees to Predict the Certification Result of a Build
- Using communicative acts in interaction design specifications for automated synthesis of user interfaces
- Verifying Specifications with Proof Scores in CafeOBJ
- Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert