24. ASE 2009: Auckland, New Zealand

Keynote Speakers

• Manuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger:
  A Petri Net Based Debugging Environment for QVT Relations. 3-14
  
• Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin:
  Validating Automotive Control Software Using Instrumentation-Based Verification. 15-25
  

Requirements

• Baris Güldali, Holger Funke, Michael Jahnich, Stefan Sauer, Gregor Engels:
  Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering. 29-39
  
• Robert J. Hall:
  A Quantum Algorithm for Software Engineering Search. 40-51
  
• Phillip Green II, Tim Menzies, Steve Williams, Oussama El-Rawas:
  Understanding the Value of Software Engineering Technologies. 52-61
  

Defect Detection - 1

• Gustav Munkby, Sibylle Schupp:
  Type Inference for Soft-Error Fault-Tolerance Prediction. 65-75
  
• Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, Wantao Wang:
  Evaluating the Accuracy of Fault Localization Techniques. 76-87
  
• Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund:
  Spectrum-Based Multiple Fault Localization. 88-99
  

Maintenance and Evolution - 1

• Patrycja Wegrzynowicz, Krzysztof Stencel:
  Towards a Comprehensive Test Suite for Detectors of Design Patterns. 103-110
  
• David Kawrykow, Martin P. Robillard:
  Improving API Usage through Automatic Detection of Redundant Code. 111-122
  
• Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen:
  Clone-Aware Configuration Management. 123-134
  

Verification - 1

• Lucas Cordeiro, Bernd Fischer, João Marques-Silva:
  SMT-Based Bounded Model Checking for Embedded ANSI-C Software. 137-148
  
• Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su:
  Static Validation of C Preprocessor Macros. 149-160
  
• Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen:
  Looper: Lightweight Detection of Infinite Loops at Runtime. 161-169
  

Software Architecture and Design

• Sunny Wong, Yuanfang Cai:
  Improving the Efficiency of Dependency Analysis in Logical Decision Models. 173-184
  
• Eugen C. Nistor, André van der Hoek:
  Explicit Concern-Driven Development with ArchEvol. 185-196
  
• Sunny Wong, Yuanfang Cai, Giuseppe Valetto, Georgi Simeonov, Kanwarpreet Sethi:
  Design Rule Hierarchies and Parallelism in Software Development Tasks. 197-208
  

Testing

• Rattikorn Hewett, Phongphun Kijsanayothin:
  Automated Test Order Generation for Software Component Integration Testing. 211-220
  
• Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao:
  A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs. 221-232
  
• Bo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse:
  Adaptive Random Test Case Prioritization. 233-244
  

Variability

• Paul Grünbacher, Rick Rabiser, Deepak Dhungana, Martin Lehofer:
  Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences. 247-256
  
• Yiqiao Wang, John Mylopoulos:
  Self-Repair through Reconfiguration: A Requirements Engineering Approach. 257-268
  
• Kim Lauenroth, Klaus Pohl, Simon Toehning:
  Model Checking of Domain Artifacts in Product Line Engineering. 269-280
  

Defect Detection- 2

• Suresh Thummalapenta, Tao Xie:
  Alattin: Mining Alternative Patterns for Detecting Neglected Conditions. 283-294
  
• Andrzej Wasylkowski, Andreas Zeller:
  Mining Temporal Specifications from Object Usage. 295-306
  
• Hao Zhong, Lu Zhang, Tao Xie, Hong Mei:
  Inferring Resource Specifications from Natural Language API Documentation. 307-318
  

Human Computer Interaction and Computer Supported Cooperative Work

• Matthias Book, Tobias Brückmann, Volker Gruhn, Malte Hülder:
  Specification and Control of Interface Responses to User Input in Rich Internet Applications. 321-331
  
• Sangmok Han, David R. Wallace, Robert C. Miller:
  Code Completion from Abbreviated Input. 332-343
  
• Walid Maalej:
  Task-First or Context-First? Tool Integration Revisited. 344-355
  

Traceability and Monitoring

• David Lo, Shahar Maoz:
  Mining Hierarchical Scenario-Based Specifications. 359-370
  
• Michael Pradel, Thomas R. Gross:
  Automatic Generation of Object Usage Specifications from Large Method Traces. 371-382
  
• Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu:
  Efficient Formalism-Independent Monitoring of Parametric Properties. 383-394
  

Maintenance and Evolution - 2

• Reid Holmes, Tristan Ratchford, Martin P. Robillard, Robert J. Walker:
  Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks. 397-408
  
• Mithun Acharya, Vamshidhar Kommineni:
  Mining Health Models for Performance Monitoring of Services. 409-420
  
• Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr., Jeffrey Overbey, Vikram S. Adve, Ralph E. Johnson:
  Inferring Method Effect Summaries for Nested Heap Regions. 421-432
  
• Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov:
  ReAssert: Suggesting Repairs for Broken Unit Tests. 433-444
  

Verification - 2

• Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
  Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. 447-458
  
• Ali Taleghani, Joanne M. Atlee:
  State-Space Coverage Estimation. 459-467
  
• Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha:
  A Framework for State-Space Exploration of Java-Based Actor Programs. 468-479
  
• Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan:
  Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. 480-491
  

Short Papers

• KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders:
  Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. 495-499
  
• Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li:
  A Formal Syntax for Probabilistic Timed Property Sequence Charts. 500-504
  
• Aldeida Aleti, Lars Grunske, Indika Meedeniya, Irene Moser:
  Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy. 505-509
  
• Yves Ledru, Alexandre Petrenko, Sergiy Boroday:
  Using String Distances for Test Case Prioritisation. 510-514
  
• Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
  Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. 515-519
  
• Florence T. Balagtas-Fernandez, Heinrich Hussmann:
  A Methodology and Framework to Simplify Usability Analysis of Mobile Applications. 520-524
  
• Yuhoon Ki, Meongchul Song:
  An Open Source-Based Approach to Software Development Infrastructures. 525-529
  
• Alberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid:
  EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements. 530-534
  
• Felipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana R. Cavalli, Wissam Mallouli, Arnaud Gonguet:
  An Automated Passive Testing Approach for the IMS PoC Service. 535-539
  
• Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim:
  Adding Examples into Java Documents. 540-544
  
• Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
  Enhanced Automation for Managing Model and Metamodel Inconsistency. 545-549
  
• Valentin Dallmeier, Andreas Zeller, Bertrand Meyer:
  Generating Fixes from Object Behavior Anomalies. 550-554
  
• Dionysis Athanasopoulos, Apostolos Zarras, Valérie Issarny:
  Service Substitution Revisited. 555-559
  
• Ewen Denney, Bernd Fischer:
  A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. 560-564
  
• Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos:
  Towards Augmenting Requirements Models with Preferences. 565-569
  
• Sandro Boccuzzo, Harald Gall:
  Automated Comprehension Tasks in Software Exploration. 570-574
  
• Raffi Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing (Harry) Xu:
  Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software. 575-579
  
• Bryan Lemon, Aaron Riesbeck, Tim Menzies, Justin Price, Joseph D'Alessandro, Rikard Carlsson, Tomi Prifiti, Fayola Peters, Hiuhua Lu, Daniel Port:
  Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development. 580-584
  
• Oscar González, Rubby Casallas, Dirk Deridder:
  Automating the Implementation of Analysis Concerns in Workflow Applications. 585-589
  
• Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster:
  Static Typing for Ruby on Rails. 590-594
  
• Keith Cassell, Peter Andreae, Lindsay Groves, James Noble:
  Towards Automating Class-Splitting Using Betweenness Clustering. 595-599
  
• Shivkumar Shivaji, E. James Whitehead Jr., Ram Akella, Sunghun Kim:
  Reducing Features to Improve Bug Prediction. 600-604
  
• Fang Yu, Muath Alkhalaf, Tevfik Bultan:
  Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. 605-609
  
• Huai Wang, W. K. Chan:
  Weaving Context Sensitivity into Test Suite Construction. 610-614
  
• Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid:
  Optimizing a Structural Constraint Solver for Efficient Software Checking. 615-619
  
• Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid:
  A Case for Automated Debugging Using Data Structure Repair. 620-624
  
• Enrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann:
  Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework. 625-629
  
• Martin Weiglhofer, Gordon Fraser, Franz Wotawa:
  Using Spectrum-Based Fault Localization for Test Case Grouping. 630-634
  
• Jiri Barnat, Lubos Brim, Pavel Simecek:
  Cluster-Based I/O-Efficient LTL Model Checking. 635-639
  
• Brian C. Dean, William B. Pressly, Brian A. Malloy, Adam A. Whitley:
  A Linear Programming Approach for Automated Localization of Multiple Faults. 640-644
  
• Daniel Balasubramanian, Ethan K. Jackson:
  Lost in Translation: Forgetful Semantic Anchoring. 645-649
  
• Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider:
  An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. 650-654
  

Tool Demonstration Papers

• Moon Ting Su, Christian Hirsch, John G. Hosking:
  KaitoroBase: Visual Exploration of Software Architecture Documents. 657-659
  
• Josip Maras, Maja Stula, Ivica Crnkovic:
  phpModeler - A Web Model Extractor. 660-661
  
• Tom Janssen, Rui Abreu, Arjan J. C. van Gemund:
  Zoltar: A Toolset for Automatic Fault Localization. 662-664
  
• Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta:
  Supporting Requirements Validation: The EuRailCheck Tool. 665-667
  
• Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
  Loopfrog: A Static Analyzer for ANSI-C Programs. 668-670
  
• Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe:
  A Tool Suite for the Generation and Validation of Configurations for Software Availability. 671-673
  
• Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya:
  A Tool for Attributed Goal-Oriented Requirements Analysis. 674-676
  
• Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang, Hong Mei:
  Jtop: Managing JUnit Test Cases in Absence of Coverage Information. 677-679
  
• Deva Kumar Deeptimahanti, Muhammad Ali Babar:
  An Automated Tool for Generating UML Models from Natural Language Requirements. 680-682
  
• Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai:
  AOWP: Web-Specific AOP Framework for PHP. 683-685
  

Doctoral Symposium Papers

• Jevon M. Wright:
  A Modelling Language for Interactive Web Applications. 689-692
  
• Massila Kamalrudin:
  Automated Software Tool Support for Checking the Inconsistency of Requirements. 693-697
  
• Andrew John Dennis Meads:
  A Holistic Approach to Mobile Service Provisioning. 698-702
  
• Jose Romero-Mariona:
  Secure and Usable Requirements Engineering. 703-706
  
• M. Shaban Jokhio:
  Goal-Based Testing of Semantic Web Services. 707-711
  
• Dipankar Majumdar:
  Migration from Procedural Programming to Aspect Oriented Paradigm. 712-715
  
• Graham Jenson:
  Improving Component Dependency Resolution with Soft Constraints, Validation and Verification. 716-720
  

Last update Wed Feb 15 05:12:34 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page