Abstract is missing.
- Expert Reviewer Panel [doi]
- Preface [doi]
- Introduction to Tool Demonstrations [doi]
- Conference Committee [doi]
- Steering Committee [doi]
- Program Committee [doi]
- Verifying Specifications with Proof Scores in CafeOBJKokichi Futatsugi. 3-10 [doi]
- Winning the DARPA Grand Challenge: A Robot Race through the Mojave DesertSebastian Thrun. 11 [doi]
- Automatic Property Checking for Software: Past, Present and FutureSriram K. Rajamani. 12 [doi]
- Automated Information Aggregation for Scaling Scale-Resistant ServicesPhilip Gross, Gail E. Kaiser. 15-24 [doi]
- Generating Domain-Specific Visual Language Editors from High-level Tool SpecificationsJohn C. Grundy, John G. Hosking, Nianping Zhu, Na Liu. 25-36 [doi]
- An Automated Formal Approach to Managing Dynamic ReconfigurationIan Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe. 37-46 [doi]
- Differencing and Merging of Architectural ViewsMarwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan. 47-58 [doi]
- An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit TestingMarcelo d Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst. 59-68 [doi]
- Command-Form Coverage for Testing Database ApplicationsWilliam G. J. Halfond, Alessandro Orso. 69-80 [doi]
- Automatic Identification of Bug-Introducing ChangesSunghun Kim, Thomas Zimmermann, Kai Pan, Jim Whitehead. 81-90 [doi]
- Modularity Analysis of Logical Design ModelsYuanfang Cai, Kevin J. Sullivan. 91-102 [doi]
- A Portable Compiler-Integrated Approach to Permanent CheckingEugen-Nicolae Volanschi. 103-112 [doi]
- Integrating and Scheduling an Open Set of Static AnalysesMichael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank. 113-122 [doi]
- Reverse Engineering of Design Patterns from Java Source CodeNija Shi, Ronald A. Olsson. 123-134 [doi]
- ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability LinksLeonardo Gresta Paulino Murta, André van der Hoek, Cláudia Maria Lima Werner. 135-144 [doi]
- Automating Software Traceability in Very Small Companies: A Case Study and Lessons LearneChristian Neumuller, Paul Grünbacher. 145-156 [doi]
- Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open SystemsXianghua Deng, Jooyong Lee, Robby. 157-166 [doi]
- Security Analysis of Crypto-based Java Programs using Automated Theorem ProversJan Jürjens. 167-176 [doi]
- Accurate Centralization for Applying Model Checking on Networked ApplicationsCyrille Artho, Pierre-Loïc Garoche. 177-188 [doi]
- Using Decision Trees to Predict the Certification Result of a BuildAhmed E. Hassan, Ken Zhang. 189-198 [doi]
- Managing the Complexity of Large Free and Open Source Package-Based Software DistributionsFabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen. 199-208 [doi]
- Concurrent Engineering support in Software EngineeringJacky Estublier, Sergio Garcia. 209-220 [doi]
- Mining Aspects from Version HistorySilvia Breu, Thomas Zimmermann. 221-230 [doi]
- Identifying Refactorings from Source-Code ChangesPeter Weißgerber, Stephan Diehl. 231-240 [doi]
- Sieve: A Tool for Automatically Detecting Variations Across Program VersionsMurali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan. 241-252 [doi]
- From Capability Specifications to Code for Multi-Agent SoftwareLoris Penserini, Anna Perini, Angelo Susi, John Mylopoulos. 253-256 [doi]
- An Instant Message-Driven User Interface Framework for Thin Client ApplicationsMatthias Book, Volker Gruhn, Gerald Mucke. 257-260 [doi]
- Using communicative acts in interaction design specifications for automated synthesis of user interfacesJürgen Falb, Thomas Röck, Edin Arnautovic. 261-264 [doi]
- Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)Ewen Denney, Bernd Fischer. 265-268 [doi]
- A Unified Model for Product Data Management and Software Configuration ManagementTien Nhut Nguyen. 269-272 [doi]
- Human-Friendly Line Routing for Hierarchical DiagramsTobias Reinhard, Christian Seybold, Silvio Meier, Martin Glinz, Nancy Merlo-Schett. 273-276 [doi]
- Contradiction Finding and Minimal Recovery for UML Class DiagramsKen Satoh, Ken Kaneiwa, Takeaki Uno. 277-280 [doi]
- Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DLAlexander Paar, Walter F. Tichy. 281-284 [doi]
- A methodology for automated test generation guided by functional coverage constraints at specification levelOdile Laurent, Christel Seguin, Virginie Wiels. 285-288 [doi]
- An Automated Approach for Goal-driven, Specification-based TestingKristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson. 289-292 [doi]
- Effective Generation of Interface Robustness Properties for Static AnalysisMithun Acharya, Tanu Sharma, Jun Xu, Tao Xie. 293-296 [doi]
- Automatic Generation of Detection Algorithms for Design DefectsNaouel Moha, Yann-Gaël Guéhéneuc, Pierre Leduc. 297-300 [doi]
- Software Library Usage Pattern Extraction Using a Software Model CheckerChang Liu, En Ye, Debra J. Richardson. 301-304 [doi]
- Automated Round-trip Software Engineering in Aspect Weaving SystemsMikhail Chalabine, Christoph W. Keßler, Peter Bunus. 305-308 [doi]
- Towards Automatic Assertion Refinement for Separation LogicAndrew Ireland. 309-312 [doi]
- Automated Reasoning on Aspects InteractionsPaolo Falcarin, Marco Torchiano. 313-316 [doi]
- Detecting Precedence-Related Advice InterferenceMaximilian Storzer, Florian Forster. 317-322 [doi]
- Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling LanguagesMichał Antkiewicz. 323-326 [doi]
- Integrated Variability Modeling of Features and Architecture in Software Product Line EngineeringDeepak Dhungana. 327-330 [doi]
- Software Connectors for Highly Distributed and Voluminous Data Intensive SystemsChris Mattmann. 331-334 [doi]
- Coverage Metrics to Measure Adequacy of Black-Box Test SuitesAjitha Rajan. 335-338 [doi]
- Management of Incomplete and Inconsistent ViewsMehrdad Sabetzadeh. 339-342 [doi]
- Energy-Awareness in Distributed Java-Based Software SystemsChiyoung Seo. 343-348 [doi]
- LSS: A Tool for Large Scale ScenariosRobert J. Hall. 349-350 [doi]
- A new web browser including a transferable function to Ajax codesNoriko Hanakawa, Nao Ikemiya. 351-352 [doi]
- Tobias-Z: An executable formal specification of a test generatorYves Ledru, Lydie du Bousquet. 353-354 [doi]
- Model-driven Monitoring: Generating Assertions from Visual ContractsMarc Lohmann, Gregor Engels, Stefan Sauer. 355-356 [doi]
- The Rearranger - A New Assembler UtilityWard Douglas Maurer. 357-358 [doi]
- TOPCASED Combining Formal Methods with Model-Driven EngineeringNadège Pontisso, David Chemouil. 359-360 [doi]
- UML-based Service Discovery ToolGeorge Spanoudakis, Andrea Zisman. 361-362 [doi]
- Automated Verification Tool for DHTMLTakaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito. 363-364 [doi]
- Mock-object generation with behaviorNikolai Tillmann, Wolfram Schulte. 365-368 [doi]
- Domain-specific Model Checking Using The Bogor FrameworkRobby, Matthew B. Dwyer, John Hatcliff. 369-370 [doi]
- Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASEJanice Singer. 371-374 [doi]
- 2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia)Elisa L. A. Baniassad, Kung Chen, Shigeru Chiba, Jan Hannemann, Hidehiko Masuhara, Shangping Ren, Jianjun Zhao. 375 [doi]
- Second International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006)Yunwen Ye, Masao Ohira. 376 [doi]
- Japanese Workshop on Leveraging Web2.0 Technologies in Software Development Environments (WebSDE)Katsuhisa Maruyama, Makoto Matsushita, Shinichiro Yamamoto. 377 [doi]
- Japanese Workshop on Requirements Engineering Tools (JWRET)Takako Nakatani, Haruhiko Kaiya. 378 [doi]