21. ASE 2006:
Tokyo,
Japan
21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan.
IEEE Computer Society 2006, ISBN 0-7695-2579-2 
Introduction
- Preface.
- Conference Committee.
- Steering Committee.
- Program Committee.
- Expert Reviewer Panel.
- Introduction to Tool Demonstrations.
Keynote Talk
- Kokichi Futatsugi:
Verifying Specifications with Proof Scores in CafeOBJ.
3-10
- Sebastian Thrun:
Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert.
11
- Sriram K. Rajamani:
Automatic Property Checking for Software: Past, Present and Future.
12
Modeling and Synthesis
Architecture
Testing
Impact Analysis
Analysis I
Traceability
Analysis II
- Xianghua Deng, Jooyong Lee, Robby:
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.
157-166
- Jan Jürjens:
Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.
167-176
- Cyrille Artho, Pierre-Loïc Garoche:
Accurate Centralization for Applying Model Checking on Networked Applications.
177-188
Management
Mining Software Repositories
Short Papers
- Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos:
From Capability Specifications to Code for Multi-Agent Software.
253-256
- Matthias Book, Volker Gruhn, Gerald Mucke:
An Instant Message-Driven User Interface Framework for Thin Client Applications.
257-260
- Jürgen Falb, Thomas Röck, Edin Arnautovic:
Using communicative acts in interaction design specifications for automated synthesis of user interfaces.
261-264
- Ewen Denney, Bernd Fischer:
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).
265-268
- Tien Nhut Nguyen:
A Unified Model for Product Data Management and Software Configuration Management.
269-272
- Tobias Reinhard, Christian Seybold, Silvio Meier, Martin Glinz, Nancy Merlo-Schett:
Human-Friendly Line Routing for Hierarchical Diagrams.
273-276
- Ken Satoh, Ken Kaneiwa, Takeaki Uno:
Contradiction Finding and Minimal Recovery for UML Class Diagrams.
277-280
- Alexander Paar, Walter F. Tichy:
Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL.
281-284
- Odile Laurent, Christel Seguin, Virginie Wiels:
A methodology for automated test generation guided by functional coverage constraints at specification level.
285-288
- Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson:
An Automated Approach for Goal-driven, Specification-based Testing.
289-292
- Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie:
Effective Generation of Interface Robustness Properties for Static Analysis.
293-296
- Naouel Moha, Yann-Gaël Guéhéneuc, Pierre Leduc:
Automatic Generation of Detection Algorithms for Design Defects.
297-300
- Chang Liu, En Ye, Debra J. Richardson:
Software Library Usage Pattern Extraction Using a Software Model Checker.
301-304
- Mikhail Chalabine, Christoph W. Keßler, Peter Bunus:
Automated Round-trip Software Engineering in Aspect Weaving Systems.
305-308
- Andrew Ireland:
Towards Automatic Assertion Refinement for Separation Logic.
309-312
- Paolo Falcarin, Marco Torchiano:
Automated Reasoning on Aspects Interactions.
313-316
- Maximilian Storzer, Florian Forster:
Detecting Precedence-Related Advice Interference.
317-322
Doctoral Symposium
- Michal Antkiewicz:
Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages.
323-326
- Deepak Dhungana:
Integrated Variability Modeling of Features and Architecture in Software Product Line Engineering.
327-330
- Chris Mattmann:
Software Connectors for Highly Distributed and Voluminous Data Intensive Systems.
331-334
- Ajitha Rajan:
Coverage Metrics to Measure Adequacy of Black-Box Test Suites.
335-338
- Mehrdad Sabetzadeh:
Management of Incomplete and Inconsistent Views.
339-342
- Chiyoung Seo:
Energy-Awareness in Distributed Java-Based Software Systems.
343-348
Formal Tool Demo Presentations
- Robert J. Hall:
LSS: A Tool for Large Scale Scenarios.
349-350
- Noriko Hanakawa, Nao Ikemiya:
A new web browser including a transferable function to Ajax codes.
351-352
- Yves Ledru, Lydie du Bousquet:
Tobias-Z: An executable formal specification of a test generator.
353-354
- Marc Lohmann, Gregor Engels, Stefan Sauer:
Model-driven Monitoring: Generating Assertions from Visual Contracts.
355-356
- Ward Douglas Maurer:
The Rearranger - A New Assembler Utility.
357-358
- Nadège Pontisso, David Chemouil:
TOPCASED Combining Formal Methods with Model-Driven Engineering.
359-360
- George Spanoudakis, Andrea Zisman:
UML-based Service Discovery Tool.
361-362
- Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito:
Automated Verification Tool for DHTML.
363-364
- Nikolai Tillmann, Wolfram Schulte:
Mock-object generation with behavior.
365-368
Mini Tutorials
Workshops
- Elisa L. A. Baniassad, Kung Chen, Shigeru Chiba, Jan Hannemann, Hidehiko Masuhara, Shangping Ren, Jianjun Zhao:
2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia).
375
- Yunwen Ye, Masao Ohira:
Second International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006).
376
- Katsuhisa Maruyama, Makoto Matsushita, Shinichiro Yamamoto:
Japanese Workshop on Leveraging Web2.0 Technologies in Software Development Environments (WebSDE).
377
- Takako Nakatani, Haruhiko Kaiya:
Japanese Workshop on Requirements Engineering Tools (JWRET).
378
Copyright © Sat Nov 21 00:31:12 2009
by Michael Ley (ley@uni-trier.de)
