ASE A*

70 papers

YearTitle / Authors
200621st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan
20062nd Asian Workshop on Aspect-Oriented Software Development (AOAsia).
Elisa L. A. Baniassad, Kung Chen, Shigeru Chiba, Jan Hannemann, Hidehiko Masuhara, Shangping Ren, Jianjun Zhao
2006A Portable Compiler-Integrated Approach to Permanent Checking.
Eugen-Nicolae Volanschi
2006A Unified Model for Product Data Management and Software Configuration Management.
Tien Nhut Nguyen
2006A methodology for automated test generation guided by functional coverage constraints at specification level.
Odile Laurent, Christel Seguin, Virginie Wiels
2006A new web browser including a transferable function to Ajax codes.
Noriko Hanakawa, Nao Ikemiya
2006Accurate Centralization for Applying Model Checking on Networked Applications.
Cyrille Artho, Pierre-Loïc Garoche
2006An Automated Approach for Goal-driven, Specification-based Testing.
Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson
2006An Automated Formal Approach to Managing Dynamic Reconfiguration.
Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe
2006An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.
Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst
2006An Instant Message-Driven User Interface Framework for Thin Client Applications.
Matthias Book, Volker Gruhn, Gerald Mucke
2006Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).
Ewen Denney, Bernd Fischer
2006ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links.
Leonardo Gresta Paulino Murta, André van der Hoek, Cláudia Maria Lima Werner
2006Automated Information Aggregation for Scaling Scale-Resistant Services.
Philip Gross, Gail E. Kaiser
2006Automated Reasoning on Aspects Interactions.
Paolo Falcarin, Marco Torchiano
2006Automated Round-trip Software Engineering in Aspect Weaving Systems.
Mikhail Chalabine, Christoph W. Keßler, Peter Bunus
2006Automated Verification Tool for DHTML.
Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito
2006Automatic Generation of Detection Algorithms for Design Defects.
Naouel Moha, Yann-Gaël Guéhéneuc, Pierre Leduc
2006Automatic Identification of Bug-Introducing Changes.
Sunghun Kim, Thomas Zimmermann, Kai Pan, E. James Whitehead Jr.
2006Automatic Property Checking for Software: Past, Present and Future.
Sriram K. Rajamani
2006Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learne.
Christian Neumuller, Paul Grünbacher
2006Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.
Xianghua Deng, JooYong Lee, Robby
2006Command-Form Coverage for Testing Database Applications.
William G. J. Halfond, Alessandro Orso
2006Concurrent Engineering support in Software Engineering.
Jacky Estublier, Sergio García
2006Conference Committee.
2006Contradiction Finding and Minimal Recovery for UML Class Diagrams.
Ken Satoh, Ken Kaneiwa, Takeaki Uno
2006Coverage Metrics to Measure Adequacy of Black-Box Test Suites.
Ajitha Rajan
2006Detecting Precedence-Related Advice Interference.
Maximilian Störzer, Florian Forster
2006Differencing and Merging of Architectural Views.
Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan
2006Domain-specific Model Checking Using The Bogor Framework.
Robby, Matthew B. Dwyer, John Hatcliff
2006Effective Generation of Interface Robustness Properties for Static Analysis.
Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
2006Energy-Awareness in Distributed Java-Based Software Systems.
Chiyoung Seo
2006Expert Reviewer Panel.
2006From Capability Specifications to Code for Multi-Agent Software.
Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
2006Generating Domain-Specific Visual Language Editors from High-level Tool Specifications.
John C. Grundy, John G. Hosking, Nianping Zhu, Na Liu
2006Human-Friendly Line Routing for Hierarchical Diagrams.
Tobias Reinhard, Christian Seybold, Silvio Meier, Martin Glinz, Nancy Merlo-Schett
2006Identifying Refactorings from Source-Code Changes.
Peter Weißgerber, Stephan Diehl
2006Integrated Variability Modeling of Features and Architecture in Software Product Line Engineering.
Deepak Dhungana
2006Integrating and Scheduling an Open Set of Static Analyses.
Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank
2006Introduction to Tool Demonstrations.
2006Japanese Workshop on Leveraging Web2.0 Technologies in Software Development Environments (WebSDE).
Katsuhisa Maruyama, Makoto Matsushita, Shinichiro Yamamoto
2006Japanese Workshop on Requirements Engineering Tools (JWRET).
Takako Nakatani, Haruhiko Kaiya
2006LSS: A Tool for Large Scale Scenarios.
Robert J. Hall
2006Management of Incomplete and Inconsistent Views.
Mehrdad Sabetzadeh
2006Managing the Complexity of Large Free and Open Source Package-Based Software Distributions.
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
2006Mining Aspects from Version History.
Silvia Breu, Thomas Zimmermann
2006Mock-object generation with behavior.
Nikolai Tillmann, Wolfram Schulte
2006Model-driven Monitoring: Generating Assertions from Visual Contracts.
Marc Lohmann, Gregor Engels, Stefan Sauer
2006Modularity Analysis of Logical Design Models.
Yuanfang Cai, Kevin J. Sullivan
2006Preface.
2006Program Committee.
2006Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL.
Alexander Paar, Walter F. Tichy
2006Reverse Engineering of Design Patterns from Java Source Code.
Nija Shi, Ronald A. Olsson
2006Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages.
Michal Antkiewicz
2006Second International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006).
Yunwen Ye, Masao Ohira
2006Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.
Jan Jürjens
2006Sieve: A Tool for Automatically Detecting Variations Across Program Versions.
Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
2006Software Connectors for Highly Distributed and Voluminous Data Intensive Systems.
Chris Mattmann
2006Software Library Usage Pattern Extraction Using a Software Model Checker.
Chang Liu, En Ye, Debra J. Richardson
2006Steering Committee.
2006TOPCASED Combining Formal Methods with Model-Driven Engineering.
Nadège Pontisso, David Chemouil
2006Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE.
Janice Singer
2006The Rearranger - A New Assembler Utility.
Ward Douglas Maurer
2006Tobias-Z: An executable formal specification of a test generator.
Yves Ledru, Lydie du Bousquet
2006Towards Automatic Assertion Refinement for Separation Logic.
Andrew Ireland
2006UML-based Service Discovery Tool.
George Spanoudakis, Andrea Zisman
2006Using Decision Trees to Predict the Certification Result of a Build.
Ahmed E. Hassan, Ken Zhang
2006Using communicative acts in interaction design specifications for automated synthesis of user interfaces.
Jürgen Falb, Thomas Röck, Edin Arnautovic
2006Verifying Specifications with Proof Scores in CafeOBJ.
Kokichi Futatsugi
2006Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert.
Sebastian Thrun