23. ASE 2008: L'Aquila, Italy

• Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
  Swarm Verification. 1-6
  
• Cliff B. Jones:
  Reflections on, and Predictions for, Support Systems for the Development of Programs. 7-8
  
• Matthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer:
  Increasing Test Granularity by Aggregating Unit Tests. 9-18
  
• James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu:
  Random Test Run Length and Effectiveness. 19-28
  
• Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
  Program Analysis with Dynamic Precision Adjustment. 29-38
  
• Andrea De Lucia, Rocco Oliveto, Genoveffa Tortora:
  IR-Based Traceability Recovery Processes: An Empirical Comparison of "One-Shot" and Incremental Processes. 39-48
  
• Patrick Mäder, Orlena Gotel, Ilka Philippow:
  Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models. 49-58
  
• Hsinyi Jiang, Tien N. Nguyen, Ing-Xiang Chen, Hojun Jaygarl, Carl K. Chang:
  Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management. 59-68
  
• Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher:
  Automated Verification of Multi-Agent Programs. 69-78
  
• Robert J. Hall:
  Validating Real Time Specifications using Real Time Event Queue Modeling. 79-88
  
• Zvonimir Rakamaric, Alan J. Hu:
  Automatic Inference of Frame Axioms Using Static Analysis. 89-98
  
• Alexander Egyed, Emmanuel Letier, Anthony Finkelstein:
  Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. 99-108
  
• David Lo, Shahar Maoz:
  Mining Scenario-Based Triggers and Effects. 109-118
  
• Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
  Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. 119-127
  
• Wolfgang Mayer, Markus Stumptner:
  Evaluating Models for Model-Based Debugging. 128-137
  
• Ciera Jaspan, Trisha Quan, Jonathan Aldrich:
  Error Reporting Logic. 138-147
  
• Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu:
  Efficient Monitoring of Parametric Context-Free Patterns. 148-157
  
• Andrea Zisman, George Spanoudakis, James Dooley:
  A Framework for Dynamic Service Discovery. 158-167
  
• George Edwards, Nenad Medvidovic:
  A Methodology and Framework for Creating Domain-Specific Development Infrastructures. 168-177
  
• Rajesh Hegde, Prasun Dewan:
  Connecting Programming Environments to Support Ad-Hoc Collaboration. 178-187
  
• Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges:
  Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. 188-197
  
• Moonzoo Kim, Yunho Kim, Hotae Kim:
  Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. 198-207
  
• Rafael Capilla, Francisco Nava, Carlos Carrillo:
  Effort Estimation in Capturing Architectural Knowledge. 208-217
  
• Raúl A. Santelices, Pavan Kumar Chittimalli, Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold:
  Test-Suite Augmentation for Evolving Software. 218-227
  
• Matthew B. Dwyer, Madeline Diep, Sebastian G. Elbaum:
  Reducing the Cost of Path Property Monitoring Through Sampling. 228-237
  
• Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid:
  Query-Aware Test Generation Using a Relational Constraint Solver. 238-247
  
• Neil Walkinshaw, Kirill Bogdanov:
  Inferring Finite-State Models with Temporal Constraints. 248-257
  
• Christian Kästner, Sven Apel:
  Type-Checking Software Product Lines - A Formal Approach. 258-267
  
• Daniel Port, Alexy Olkov, Tim Menzies:
  Using Simulation to Investigate Requirements Prioritization Strategies. 268-277
  
• Danfeng Zhang, Yao Guo, Xiangqun Chen:
  Automated Aspect Recommendation through Clustering-Based Fan-in Analysis. 278-287
  
• Pallavi Joshi, Koushik Sen:
  Predictive Typestate Checking of Multithreaded Java Programs. 288-296
  
• Kobi Inkumsah, Tao Xie:
  Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. 297-306
  
• Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory:
  Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. 307-316
  
• Romain Robbes, Michele Lanza:
  How Program History Can Improve Code Completion. 317-326
  
• Suresh Thummalapenta, Tao Xie:
  SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web. 327-336
  
• Jesper Andersen, Julia L. Lawall:
  Generic Patch Inference. 337-346
  
• Hendrik Post, Carsten Sinz:
  Configuration Lifting: Verification meets Software Configuration. 347-350
  
• Paul Grünbacher, Rick Rabiser, Deepak Dhungana:
  Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite. 351-354
  
• Carsten Köllmann, Michael Goedicke:
  A Specification Language for Static Analysis of Student Exercises. 355-358
  
• Maxim Shevertalov, Spiros Mancoridis:
  A Case Study on the Automatic Composition of Network Application Mashups. 359-362
  
• Brett Daniel, Marat Boshernitsan:
  Predicting Effectiveness of Automatic Testing Tools. 363-366
  
• Haifeng Shen, Siyuan Liu, Steven Xia, Chengzheng Sun:
  Distributed Constraints Maintenance in Collaborative UML Modeling Environments. 367-370
  
• Andreas S. Andreou, Efi Papatheocharous:
  Software Cost Estimation using Fuzzy Decision Trees. 371-374
  
• Guozheng Ge, E. James Whitehead Jr.:
  Rhizome: A Feature Modeling and Generation Platform. 375-378
  
• J. Michael Moore, Frank M. Shipman III:
  Combining the Analysis of Spatial Layout and Text to Support Design Exploration. 379-382
  
• Rahmat Adnan, Bas Graaf, Arie van Deursen, Joost Zonneveld:
  Using Cluster Analysis to Improve the Design of Component Interfaces. 383-386
  
• Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie:
  Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. 387-390
  
• Mustafa Ispir, Aysu Betin Can:
  An Assume Guarantee Verification Methodology for Aspect-Oriented Programming. 391-394
  
• Celina Gibbs, Jennifer Baldwin, Nieraj Singh, Maja D'Hondt, Yvonne Coady:
  Living with the Law: Can Automation give us Moore with Less? 395-398
  
• Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta:
  VCR: Virtual Capture and Replay for Performance Testing. 399-402
  
• Bruno Cabral, Paulo Marques:
  A Case for Automatic Exception Handling. 403-406
  
• Kunal Taneja, Tao Xie:
  DiffGen: Automated Regression Unit-Test Generation. 407-410
  
• David A. Turner, Moonju Park, Jaehwan Kim, Jinseok Chae:
  An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach. 411-414
  
• Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino:
  The Consistency of Web Conversations. 415-418
  
• Eduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez:
  Testing Peers' Volatility. 419-422
  
• Seojin Kim, Sungjin Park, Jeonghyun Yun, Younghoo Lee:
  Automated Continuous Integration of Component-Based Software: An Industrial Experience. 423-426
  
• Ricardo Martinho, João Varajão, Dulce Domingos:
  A Two-Step Approach for Modelling Flexibility in Software Processes. 427-430
  
• Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut:
  A Generic Approach for Class Model Normalization. 431-434
  
• Wiwat Ruengmee, Roberto Silveira Silva Filho, Sushil Krishna Bajracharya, David F. Redmiles, Cristina Videira Lopes:
  XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability Gap. 435-438
  
• Hwa-You Hsu, James A. Jones, Alessandro Orso:
  Rapid: Identifying Bug Signatures to Support Debugging Activities. 439-442
  
• Jacob Burnim, Koushik Sen:
  Heuristics for Scalable Dynamic Test Generation. 443-446
  
• Rick Salay, John Mylopoulos, Steve M. Easterbrook:
  Managing Models through Macromodeling. 447-450
  
• Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen:
  Cleman: Comprehensive Clone Group Evolution Management. 451-454
  
• Franck Chauvel, Olivier Barais, Isabelle Borne, Jean-Marc Jézéquel:
  Composition of Qualitative Adaptation Policies. 455-458
  
• Hiroaki Fukuda, Yoshikazu Yamamoto:
  A System for Supporting Development of Large Scaled Rich Internet Applications. 459-462
  
• Beat Fluri, Emanuel Giger, Harald Gall:
  Discovering Patterns of Change Types. 463-466
  
• Abizer Khambati, John C. Grundy, James Warren, John G. Hosking:
  Model-Driven Development of Mobile Personal Health Care Applications. 467-470
  
• Johan Brichau, Andy Kellens, Kim Mens:
  Enforcing Structural Regularities in Source Code using IntensiVE. 471-472
  
• Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi:
  QuARS Express - A Tool Demonstration. 473-474
  
• Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel:
  MTSA: The Modal Transition System Analyser. 475-476
  
• Lei Li, John G. Hosking, John C. Grundy:
  MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation. 477-478
  
• Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie:
  PtYasm: Software Model Checking with Proof Templates. 479-480
  
• Reid Holmes, Robert J. Walker:
  Semi-Automating Pragmatic Reuse Tasks. 481-482
  
• Ivano Malavolta, Henry Muccini, Patrizio Pelliccione:
  DUALLY: A framework for Architectural Languages and Tools Interoperability. 483-484
  
• Mirko Morandini, Loris Penserini, Anna Perini:
  Automated Mapping from Goal Models to Self-Adaptive Systems. 485-486
  
• Rafael Capilla, Francisco Nava, Jesus Montes, Carlos Carrillo:
  ADDSS: Architecture Design Decision Support System Tool. 487-488
  
• Diego Ordonez Camacho, Kim Mens:
  APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars. 489-490
  
• Matteo Bordin, Marco Panunzio, Stefano Puri:
  Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems. 491-492
  
• Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson:
  Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. 493-494
  
• Daniel Gaffé, Annie Ressouche:
  The Clem Toolkit. 495-496
  
• Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett:
  Tool Support for Parametric Analysis of Large Software Simulation Systems. 497-498
  
• Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham:
  ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. 499-500
  
• Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida, Tetsuo Tamai:
  AspectM: UML-Based Extensible AOM Language. 501-502
  
• Yijun Yu, Jan Jürjens, Jörg Schreck:
  Tools for Traceability in Secure Software Development. 503-504
  
• Nicolas Frisby:
  Unifying Analysis Tools with Rosetta. 505-508
  
• Florence T. Balagtas-Fernandez, Heinrich Hussmann:
  Model-Driven Development of Mobile Applications. 509-512
  
• Martin Pinzger:
  Automated Web Performance Analysis. 513-516
  
• Virginia Papailiopoulou:
  Automatic Test Generation for LUSTRE/SCADE Programs. 517-520
  
• Alma L. Juarez Dominguez:
  Feature Interaction Detection in the Automotive Domain. 521-524
  
• Asem Eltaher:
  Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems. 525-528
  
• Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory:
  ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. 529-530
  
• Imed Hammouda, Jan Bosch, Mehdi Jazayeri, Tommi Mikkonen:
  First International Workshop on Social Software Engineering and Applications (SoSEA 2008). 531-532
  
• Michel Wermelinger, Paul Wernick, Ciarán Bryce:
  4th International ERCIM Workshop on Software Evolution and Evolvability (Evol'08). 533-534