Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
ASE, 2006.

@proceedings{ASE-2006,
	address       = "Tokyo, Japan",
	isbn          = "0-7695-2579-2",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering}",
	year          = 2006,
}

Event page: http://www.ase-conferences.org/ase/past/ase2006/

Contents (59 items)

18 ×#automation
8 ×#generative
6 ×#specification
6 ×#testing
6 ×#using
5 ×#modelling
5 ×#named
3 ×#analysis
3 ×#approach
3 ×#architecture

ASE-2006-Futatsugi #proving #specification #verification

Verifying Specifications with Proof Scores in CafeOBJ (KF), pp. 3–10.

ASE-2006-Thrun #challenge

Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert (ST), p. 11.

ASE-2006-Rajamani #automation #past present future

Automatic Property Checking for Software: Past, Present and Future (SKR), p. 12.

ASE-2006-GrossK #automation #scalability

Automated Information Aggregation for Scaling Scale-Resistant Services (PG, GEK), pp. 15–24.

ASE-2006-GrundyHZL #editing #generative #specification #visual notation

Generating Domain-Specific Visual Language Editors from High-level Tool Specifications (JCG, JGH, NZ, NL), pp. 25–36.

ASE-2006-WarrenSKW #approach #automation #configuration management #formal method

An Automated Formal Approach to Managing Dynamic Reconfiguration (IW, JS, SK, TW), pp. 37–46.

ASE-2006-Abi-AntounANSG #architecture #difference

Differencing and Merging of Architectural Views (MAA, JA, NHN, BRS, DG), pp. 47–58.

ASE-2006-dAmorimPXME #automation #classification #comparison #empirical #generative #object-oriented #testing

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing (Md, CP, TX, DM, MDE), pp. 59–68.

ASE-2006-HalfondO #database #testing

Command-Form Coverage for Testing Database Applications (WGJH, AO), pp. 69–80.

ASE-2006-KimZPW #automation #identification

Automatic Identification of Bug-Introducing Changes (SK, TZ, KP, EJWJ), pp. 81–90.

ASE-2006-CaiS #analysis #composition #design #logic #modelling

Modularity Analysis of Logical Design Models (YC, KJS), pp. 91–102.

ASE-2006-Volanschi #approach

A Portable Compiler-Integrated Approach to Permanent Checking (ENV), pp. 103–112.

ASE-2006-EichbergMKOR #analysis #scheduling #set

Integrating and Scheduling an Open Set of Static Analyses (ME, MM, SK, KO, BR), pp. 113–122.

ASE-2006-ShiO #design pattern #java #reverse engineering #source code

Reverse Engineering of Design Patterns from Java Source Code (NS, RAO), pp. 123–134.

ASE-2006-MurtaHW #architecture #evolution #implementation #named #traceability

ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links (LGPM, AvdH, CMLW), pp. 135–144.

ASE-2006-NeumullerG #automation #case study #lessons learnt #traceability

Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learned (CN, PG), pp. 145–156.

ASE-2006-DengLR #bound #execution #named #symbolic computation

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems (XD, JL, R), pp. 157–166.

ASE-2006-Jurjens #analysis #automation #java #proving #security #source code #theorem proving #using

Security Analysis of Crypto-based Java Programs using Automated Theorem Provers (JJ), pp. 167–176.

ASE-2006-ArthoG #model checking

Accurate Centralization for Applying Model Checking on Networked Applications (CA, PLG), pp. 177–188.

ASE-2006-HassanZ #certification #predict #using

Using Decision Trees to Predict the Certification Result of a Build (AEH, KZ), pp. 189–198.

ASE-2006-MancinelliBCVDLT #complexity #open source #scalability

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions (FM, JB, RDC, JV, BD, XL, RT), pp. 199–208.

ASE-2006-EstublierG #concurrent #re-engineering

Concurrent Engineering support in Software Engineering (JE, SG), pp. 209–220.

ASE-2006-BreuZ #aspect-oriented #mining #version control

Mining Aspects from Version History (SB, TZ), pp. 221–230.

ASE-2006-WeissgerberD #identification #refactoring #source code

Identifying Refactorings from Source-Code Changes (PW, SD), pp. 231–240.

ASE-2006-RamanathanGJ #automation #detection #named

Sieve: A Tool for Automatically Detecting Variations Across Program Versions (MKR, AG, SJ), pp. 241–252.

ASE-2006-PenseriniPSM #multi #specification

From Capability Specifications to Code for Multi-Agent Software (LP, AP, AS, JM), pp. 253–256.

ASE-2006-BookGM #framework #user interface

An Instant Message-Driven User Interface Framework for Thin Client Applications (MB, VG, GM), pp. 257–260.

ASE-2006-FalbRA #automation #design #interactive #specification #synthesis #user interface #using

Using communicative acts in interaction design specifications for automated synthesis of user interfaces (JF, TR, EA), pp. 261–264.

ASE-2006-DenneyF #automation #certification #safety

Annotation Inference for Safety Certification of Automatically Generated Code (ED, BF), pp. 265–268.

ASE-2006-Nguyen #configuration management #data transformation

A Unified Model for Product Data Management and Software Configuration Management (TNN), pp. 269–272.

ASE-2006-ReinhardSMGM #diagrams

Human-Friendly Line Routing for Hierarchical Diagrams (TR, CS, SM, MG, NMS), pp. 273–276.

ASE-2006-SatohKU #diagrams #uml

Contradiction Finding and Minimal Recovery for UML Class Diagrams (KS, KK, TU), pp. 277–280.

ASE-2006-PaarT #data type #owl #programming language #xml

Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL (AP, WFT), pp. 281–284.

ASE-2006-LaurentSW #automation #constraints #functional #generative #specification #testing

A methodology for automated test generation guided by functional coverage constraints at specification level (OL, CS, VW), pp. 285–288.

ASE-2006-WinbladhAZR #approach #automation #testing

An Automated Approach for Goal-driven, Specification-based Testing (KW, TAA, HZ, DJR), pp. 289–292.

ASE-2006-AcharyaSXX #effectiveness #generative #interface #robust #static analysis

Effective Generation of Interface Robustness Properties for Static Analysis (MA, TS, JX, TX), pp. 293–296.

ASE-2006-MohaGL #algorithm #automation #design #detection #fault #generative

Automatic Generation of Detection Algorithms for Design Defects (NM, YGG, PL), pp. 297–300.

ASE-2006-LiuYR #library #model checking #using

Software Library Usage Pattern Extraction Using a Software Model Checker (CL, EY, DJR), pp. 301–304.

ASE-2006-ChalabineKB #aspect-oriented #automation #re-engineering #weaving

Automated Round-trip Software Engineering in Aspect Weaving Systems (MC, CWK, PB), pp. 305–308.

ASE-2006-Ireland #automation #logic #refinement #towards

Towards Automatic Assertion Refinement for Separation Logic (AI), pp. 309–312.

ASE-2006-FalcarinT #aspect-oriented #automation #interactive #reasoning

Automated Reasoning on Aspects Interactions (PF, MT), pp. 313–316.

ASE-2006-StorzerF #detection

Detecting Precedence-Related Advice Interference (MS, FF), pp. 317–322.

ASE-2006-Antkiewicz #modelling #using

Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages (MA), pp. 323–326.

ASE-2006-Dhungana #architecture #modelling #product line #variability

Integrated Variability Modeling of Features and Architecture in Software Product Line Engineering (DD), pp. 327–330.

ASE-2006-Mattmann #data-driven #distributed

Software Connectors for Highly Distributed and Voluminous Data Intensive Systems (CM), pp. 331–334.

ASE-2006-Rajan #black box #metric #testing

Coverage Metrics to Measure Adequacy of Black-Box Test Suites (AR), pp. 335–338.

ASE-2006-Sabetzadeh #consistency

Management of Incomplete and Inconsistent Views (MS), pp. 339–342.

ASE-2006-Seo #distributed #energy

Energy-Awareness in Distributed Java-Based Software Systems (CS), pp. 343–348.

ASE-2006-Hall #named #scalability

LSS: A Tool for Large Scale Scenarios (RJH), pp. 349–350.

ASE-2006-HanakawaI #ajax #web

A new web browser including a transferable function to Ajax codes (NH, NI), pp. 351–352.

ASE-2006-LedruB #execution #generative #named #specification

Tobias-Z: An executable formal specification of a test generator (YL, LdB), pp. 353–354.

ASE-2006-LohmannES #contract #generative #modelling #monitoring #visual notation

Model-driven Monitoring: Generating Assertions from Visual Contracts (ML, GE, SS), pp. 355–356.

ASE-2006-Maurer #assembly

The Rearranger — A New Assembler Utility (WDM), pp. 357–358.

ASE-2006-PontissoC #automation #formal method #modelling

TOPCASED Combining Formal Methods with Model-Driven Engineering (NP, DC), pp. 359–360.

ASE-2006-SpanoudakisZ #uml

UML-based Service Discovery Tool (GS, AZ), pp. 361–362.

ASE-2006-TateishiMOS #automation #verification

Automated Verification Tool for DHTML (TT, HM, KO, SS), pp. 363–364.

ASE-2006-TillmannS #behaviour #generative

Mock-object generation with behavior (NT, WS), pp. 365–368.

ASE-2006-RobbyDH #framework #model checking #using

Domain-specific Model Checking Using The Bogor Framework (R, MBD, JH), pp. 369–370.

ASE-2006-Singer #evaluation #testing #tool support

Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE (JS), pp. 371–374.