The SCEAS System
Navigation Menu

Conferences in DBLP

Automated Software Engineering (ASE) (kbse)
2006 (conf/kbse/2006)


  1. Conference Committee. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:- [Conf]

  2. Steering Committee. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:- [Conf]

  3. Preface. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:- [Conf]

  4. Program Committee. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:- [Conf]

  5. Introduction to Tool Demonstrations. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:- [Conf]

  6. Expert Reviewer Panel. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:- [Conf]
  7. Kokichi Futatsugi
    Verifying Specifications with Proof Scores in CafeOBJ. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:3-10 [Conf]
  8. Sebastian Thrun
    Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:11- [Conf]
  9. Sriram K. Rajamani
    Automatic Property Checking for Software: Past, Present and Future. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:12- [Conf]
  10. Philip Gross, Gail E. Kaiser
    Automated Information Aggregation for Scaling Scale-Resistant Services. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:15-24 [Conf]
  11. John C. Grundy, John G. Hosking, Nianping Zhu, Na Liu
    Generating Domain-Specific Visual Language Editors from High-level Tool Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:25-36 [Conf]
  12. Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe
    An Automated Formal Approach to Managing Dynamic Reconfiguration. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:37-46 [Conf]
  13. Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan
    Differencing and Merging of Architectural Views. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:47-58 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:59-68 [Conf]
  15. William G. J. Halfond, Alessandro Orso
    Command-Form Coverage for Testing Database Applications. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:69-80 [Conf]
  16. Sunghun Kim, Thomas Zimmermann, Kai Pan, E. James Whitehead Jr.
    Automatic Identification of Bug-Introducing Changes. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:81-90 [Conf]
  17. Yuanfang Cai, Kevin J. Sullivan
    Modularity Analysis of Logical Design Models. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:91-102 [Conf]
  18. Eugen-Nicolae Volanschi
    A Portable Compiler-Integrated Approach to Permanent Checking. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:103-112 [Conf]
  19. Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank
    Integrating and Scheduling an Open Set of Static Analyses. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:113-122 [Conf]
  20. Nija Shi, Ronald A. Olsson
    Reverse Engineering of Design Patterns from Java Source Code. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:123-134 [Conf]
  21. Leonardo G. P. Murta, André van der Hoek, Cláudia Maria Lima Werner
    ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:135-144 [Conf]
  22. Christian Neumuller, Paul Grünbacher
    Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learne. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:145-156 [Conf]
  23. Xianghua Deng, Jooyong Lee, Robby
    Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:157-166 [Conf]
  24. Jan Jürjens
    Security Analysis of Crypto-based Java Programs using Automated Theorem Provers. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:167-176 [Conf]
  25. Cyrille Artho, Pierre-Loïc Garoche
    Accurate Centralization for Applying Model Checking on Networked Applications. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:177-188 [Conf]
  26. Ahmed E. Hassan, Ken Zhang
    Using Decision Trees to Predict the Certification Result of a Build. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:189-198 [Conf]
  27. 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. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:199-208 [Conf]
  28. Jacky Estublier, Sergio Garcia
    Concurrent Engineering support in Software Engineering. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:209-220 [Conf]
  29. Silvia Breu, Thomas Zimmermann
    Mining Aspects from Version History. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:221-230 [Conf]
  30. Peter Weißgerber, Stephan Diehl
    Identifying Refactorings from Source-Code Changes. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:231-240 [Conf]
  31. Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
    Sieve: A Tool for Automatically Detecting Variations Across Program Versions. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:241-252 [Conf]
  32. Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
    From Capability Specifications to Code for Multi-Agent Software. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:253-256 [Conf]
  33. Matthias Book, Volker Gruhn, Gerald Mucke
    An Instant Message-Driven User Interface Framework for Thin Client Applications. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:257-260 [Conf]
  34. Jürgen Falb, Thomas Röck, Edin Arnautovic
    Using communicative acts in interaction design specifications for automated synthesis of user interfaces. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:261-264 [Conf]
  35. Ewen Denney, Bernd Fischer
    Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:265-268 [Conf]
  36. Tien Nhut Nguyen
    A Unified Model for Product Data Management and Software Configuration Management. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:269-272 [Conf]
  37. Tobias Reinhard, Christian Seybold, Silvio Meier, Martin Glinz, Nancy Merlo-Schett
    Human-Friendly Line Routing for Hierarchical Diagrams. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:273-276 [Conf]
  38. Ken Satoh, Ken Kaneiwa, Takeaki Uno
    Contradiction Finding and Minimal Recovery for UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:277-280 [Conf]
  39. Alexander Paar, Walter F. Tichy
    Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:281-284 [Conf]
  40. Odile Laurent, Christel Seguin, Virginie Wiels
    A methodology for automated test generation guided by functional coverage constraints at specification level. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:285-288 [Conf]
  41. Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson
    An Automated Approach for Goal-driven, Specification-based Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:289-292 [Conf]
  42. Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
    Effective Generation of Interface Robustness Properties for Static Analysis. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:293-296 [Conf]
  43. Naouel Moha, Yann-Gaël Guéhéneuc, Pierre Leduc
    Automatic Generation of Detection Algorithms for Design Defects. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:297-300 [Conf]
  44. Chang Liu, En Ye, Debra J. Richardson
    Software Library Usage Pattern Extraction Using a Software Model Checker. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:301-304 [Conf]
  45. Mikhail Chalabine, Christoph W. Keßler, Peter Bunus
    Automated Round-trip Software Engineering in Aspect Weaving Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:305-308 [Conf]
  46. Andrew Ireland
    Towards Automatic Assertion Refinement for Separation Logic. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:309-312 [Conf]
  47. Paolo Falcarin, Marco Torchiano
    Automated Reasoning on Aspects Interactions. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:313-316 [Conf]
  48. Maximilian Storzer, Florian Forster
    Detecting Precedence-Related Advice Interference. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:317-322 [Conf]
  49. Michal Antkiewicz
    Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:323-326 [Conf]
  50. Deepak Dhungana
    Integrated Variability Modeling of Features and Architecture in Software Product Line Engineering. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:327-330 [Conf]
  51. Chris Mattmann
    Software Connectors for Highly Distributed and Voluminous Data Intensive Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:331-334 [Conf]
  52. Ajitha Rajan
    Coverage Metrics to Measure Adequacy of Black-Box Test Suites. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:335-338 [Conf]
  53. Mehrdad Sabetzadeh
    Management of Incomplete and Inconsistent Views. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:339-342 [Conf]
  54. Chiyoung Seo
    Energy-Awareness in Distributed Java-Based Software Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:343-348 [Conf]
  55. Robert J. Hall
    LSS: A Tool for Large Scale Scenarios. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:349-350 [Conf]
  56. Noriko Hanakawa, Nao Ikemiya
    A new web browser including a transferable function to Ajax codes. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:351-352 [Conf]
  57. Yves Ledru, Lydie du Bousquet
    Tobias-Z: An executable formal specification of a test generator. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:353-354 [Conf]
  58. Marc Lohmann, Gregor Engels, Stefan Sauer
    Model-driven Monitoring: Generating Assertions from Visual Contracts. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:355-356 [Conf]
  59. Ward Douglas Maurer
    The Rearranger - A New Assembler Utility. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:357-358 [Conf]
  60. Nadège Pontisso, David Chemouil
    TOPCASED Combining Formal Methods with Model-Driven Engineering. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:359-360 [Conf]
  61. George Spanoudakis, Andrea Zisman
    UML-based Service Discovery Tool. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:361-362 [Conf]
  62. Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito
    Automated Verification Tool for DHTML. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:363-364 [Conf]
  63. Nikolai Tillmann, Wolfram Schulte
    Mock-object generation with behavior. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:365-368 [Conf]
  64. Robby, Matthew B. Dwyer, John Hatcliff
    Domain-specific Model Checking Using The Bogor Framework. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:369-370 [Conf]
  65. Janice Singer
    Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:371-374 [Conf]
  66. 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). [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:375- [Conf]
  67. Yunwen Ye, Masao Ohira
    Second International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006). [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:376- [Conf]
  68. Katsuhisa Maruyama, Makoto Matsushita, Shinichiro Yamamoto
    Japanese Workshop on Leveraging Web2.0 Technologies in Software Development Environments (WebSDE). [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:377- [Conf]
  69. Takako Nakatani, Haruhiko Kaiya
    Japanese Workshop on Requirements Engineering Tools (JWRET). [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:378- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002