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
- Philip Gross, Gail E. Kaiser: Automated Information Aggregation for Scaling Scale-Resistant Services. 15-24
- John C. Grundy, John G. Hosking, Nianping Zhu, Na Liu: Generating Domain-Specific Visual Language Editors from High-level Tool Specifications. 25-36
Architecture
- Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe: An Automated Formal Approach to Managing Dynamic Reconfiguration. 37-46
- Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan: Differencing and Merging of Architectural Views. 47-58
Testing
- Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst: An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. 59-68
- William G. J. Halfond, Alessandro Orso: Command-Form Coverage for Testing Database Applications. 69-80
Impact Analysis
- Sunghun Kim, Thomas Zimmermann, Kai Pan, E. James Whitehead Jr.: Automatic Identification of Bug-Introducing Changes. 81-90
Analysis I
- Eugen-Nicolae Volanschi: A Portable Compiler-Integrated Approach to Permanent Checking. 103-112
- Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank: Integrating and Scheduling an Open Set of Static Analyses. 113-122
Traceability
- Leonardo Gresta Paulino Murta, André van der Hoek, Cláudia Maria Lima Werner: ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links. 135-144
- Christian Neumuller, Paul Grünbacher: Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learne. 145-156
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
- Ahmed E. Hassan, Ken Zhang: Using Decision Trees to Predict the Certification Result of a Build. 189-198
- Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen: Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. 199-208
Mining Software Repositories
- Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan: Sieve: A Tool for Automatically Detecting Variations Across Program Versions. 241-252
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
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
- Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito: Automated Verification Tool for DHTML. 363-364
Mini Tutorials
- Robby, Matthew B. Dwyer, John Hatcliff: Domain-specific Model Checking Using The Bogor Framework. 369-370
- Janice Singer: Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE. 371-374
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team