default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st 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 - Yuanfang Cai, Kevin J. Sullivan:
Modularity Analysis of Logical Design Models. 91-102
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 - Nija Shi, Ronald A. Olsson:
Reverse Engineering of Design Patterns from Java Source Code. 123-134
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 - Jacky Estublier, Sergio García:
Concurrent Engineering support in Software Engineering. 209-220
Mining Software Repositories
- Silvia Breu, Thomas Zimmermann:
Mining Aspects from Version History. 221-230 - Peter Weißgerber, Stephan Diehl:
Identifying Refactorings from Source-Code Changes. 231-240 - 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 - Paolo Falcarin, Marco Torchiano:
Automated Reasoning on Aspects Interactions. 313-316 - Maximilian Störzer, 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
- 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 - Takako Nakatani, Haruhiko Kaiya:
Japanese Workshop on Requirements Engineering Tools (JWRET). 378
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
