Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.