31. ICSE 2009: Vancouver, BC, Canada

Research Papers

Collaborative Development

• Timo Wolf, Adrian Schröter, Daniela Damian, Thanh H. D. Nguyen:
  Predicting build failures using social network analysis on developer communication. 1-11
  
• Christoph Treude, Margaret-Anne D. Storey:
  How tagging helps bridge the gap between social and technical aspects in software development. 12-22
  
• Anita Sarma, Larry Maccherone, Patrick Wagstrom, James D. Herbsleb:
  Tesseract: Interactive visual exploration of socio-technical relationships in software development. 23-33
  

Debugging

• Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani:
  HOLMES: Effective statistical debugging via efficient path profiling. 34-44
  
• Xinming Wang, Shing-Chi Cheung, Wing Kwong Chan, Zhenyu Zhang:
  Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization. 45-55
  
• Raúl A. Santelices, James A. Jones, Yanbing Yu, Mary Jean Harrold:
  Lightweight fault-localization using multiple coverage types. 56-66
  

Software Quality and Metrics

• Audris Mockus:
  Succession: Measuring transfer of code and developer productivity. 67-77
  
• Ahmed E. Hassan:
  Predicting faults using the complexity of code changes. 78-88
  
• Irina Diana Coman, Alberto Sillitti, Giancarlo Succi:
  A case-study on using an Automated In-process Software Engineering Measurement and Analysis system in an industrial environment. 89-99
  

Dynamic Adaptation

• Radu Calinescu, Marta Z. Kwiatkowska:
  Using quantitative analysis to implement autonomic IT systems. 100-110
  
• Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli:
  Model evolution by run-time parameter adaptation. 111-121
  
• Brice Morin, Olivier Barais, Grégory Nain, Jean-Marc Jézéquel:
  Taming Dynamically Adaptive Systems using models and aspects. 122-132
  

Program Analysis I

• Mangala Gowri Nanda, Saurabh Sinha:
  Accurate Interprocedural Null-Dereference Analysis for Java. 133-143
  
• Raymond P. L. Buse, Westley Weimer:
  The road not taken: Estimating path execution frequency statically. 144-154
  
• Sudheendra Hangal, Monica S. Lam:
  Automatic dimension inference and checking for object-oriented programs. 155-165
  

Components

• Hervé Chang, Leonardo Mariani, Mauro Pezzè:
  In-field healing of integration problems with COTS components. 166-176
  
• Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby:
  Modular string-sensitive permission analysis with demand-driven precision. 177-187
  
• Daniel M. Germán, Ahmed E. Hassan:
  License integration patterns: Addressing license mismatches in component-based development. 188-198
  

Web Applications

• Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst:
  Automatic creation of SQL Injection and cross-site scripting attacks. 199-209
  
• Ali Mesbah, Arie van Deursen:
  Invariant-based automatic testing of AJAX user interfaces. 210-220
  

Development Tools

• Sven Apel, Christian Kästner, Christian Lengauer:
  FEATUREHOUSE: Language-independent, automated software composition. 221-231
  
• Emily Hill, Lori L. Pollock, K. Vijay-Shanker:
  Automatically capturing source code context of NL-queries for software maintenance and reuse. 232-242
  
• Steven P. Reiss:
  Semantics-based code search. 243-253
  

Modeling

• Thomas Thüm, Don S. Batory, Christian Kästner:
  Reasoning about edits to feature models. 254-264
  
• Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
  Learning operational requirements from goal models. 265-275
  
• Nam H. Pham, Hoan Anh Nguyen, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen:
  Complete and accurate clone detection in graph-based models. 276-286
  

Maintenance

• Emerson R. Murphy-Hill, Chris Parnin, Andrew P. Black:
  How we refactor, and how we know it. 287-297
  
• Jorge Aranda, Gina Venolia:
  The secret life of bugs: Going past the errors and omissions in software repositories. 298-308
  
• Miryung Kim, David Notkin:
  Discovering and representing systematic code changes. 309-319
  

Program Comprehension

• Uri Dekel, James D. Herbsleb:
  Improving API documentation usability with knowledge pushing. 320-330
  
• Yoann Padioleau, Lin Tan, Yuanyuan Zhou:
  Listening to programmers - Taxonomies and characteristics of comments in operating system code. 331-341
  

Code Generation and Transformation

• Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson:
  Equality and hashing for (almost) free: Generating implementations from abstraction functions. 342-352
  
• Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
  Locating need-to-translate constant strings for software internationalization. 353-363
  
• Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest:
  Automatically finding patches using genetic programming. 364-374
  

Concurrency

• Charles Zhang:
  FlexSync: An aspect-oriented approach to Java synchronization. 375-385
  
• Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay:
  Effective static deadlock detection. 386-396
  
• Danny Dig, John Marrero, Michael D. Ernst:
  Refactoring sequential Java code for concurrency via concurrent libraries. 397-407
  

Testing I

• Mark Grechanik, Qing Xie, Chen Fu:
  Maintaining and evolving GUI-directed test scripts. 408-418
  
• Hwa-You Hsu, Alessandro Orso:
  MINTS: A general framework and tool for supporting test-suite minimization. 419-429
  

Model Synthesis

• Carlo Ghezzi, Andrea Mocci, Mattia Monga:
  Synthesizing intensional behavior models by graph transformation. 430-440
  
• Christophe Damas, Bernard Lambeau, Francois Roucoux, Axel van Lamsweerde:
  Analyzing critical process models through behavior model synthesis. 441-451
  
• Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
  Validation of contracts using enabledness preserving finite state abstractions. 452-462
  

Testing II

• Jacob Burnim, Sudeep Juvekar, Koushik Sen:
  WISE: Automated test generation for worst-case complexity. 463-473
  
• Vijay Ganesh, Tim Leek, Martin C. Rinard:
  Taint-based directed whitebox fuzzing. 474-484
  

Program Analysis II

• Elmar Jürgens, Florian Deissenboeck, Benjamin Hummel, Stefan Wagner:
  Do code clones matter? 485-495
  
• Suresh Thummalapenta, Tao Xie:
  Mining exception-handling rules as sequence association rules. 496-506
  
• Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren:
  Safe-commit analysis to facilitate team software development. 507-517
  

Development Paradigms and Software Process

• Christian Bird, Nachiappan Nagappan, Premkumar T. Devanbu, Harald Gall, Brendan Murphy:
  Does distributed development affect software quality? An empirical case study of Windows Vista. 518-528
  
• Narayan Ramasubbu, Rajesh Krishna Balan:
  The impact of process choice in high maturity environments: An empirical analysis. 529-539
  
• Tim Menzies, Steve Williams, Barry W. Boehm, Jairus Hihn:
  How to avoid drastic software process change (using stochastic stability). 540-550
  

Formal Research Demonstrations

Software Development Assistance

• Shah Rukh Humayoun, Yael Dubinsky, Tiziana Catarci:
  UEMan: A tool to manage user evaluation in development environments. 551-554
  
• Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
  TranStrL: An automatic need-to-translate string locator for software internationalization. 555-558
  
• Ying Zhang, Gang Huang, Nuyun Zhang, Hong Mei:
  SmartTutor: Creating IDE-based interactive tutorials via editable replay. 559-562
  

Testing and Fault Localization

• Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
  A toolset for automated failure analysis. 563-566
  
• Jan Wloka, Barbara G. Ryder, Frank Tip:
  JUnitMX - A change-aware unit testing tool. 567-570
  

Program Comprehension

• Sandro Boccuzzo, Harald Gall:
  CocoViz with ambient audio software exploration. 571-574
  
• Christoph Treude, Margaret-Anne D. Storey:
  ConcernLines: A timeline view of co-occurring concerns. 575-578
  
• Georgios Gousios, Diomidis Spinellis:
  Alitheia Core: An extensible software quality monitoring platform. 579-582
  

Concurrency and Debugging

• Dan Hao, Lingming Zhang, Lu Zhang, Jiasu Sun, Hong Mei:
  VIDA: Visual interactive debugging. 583-586
  

From Requirements to Architecture

• Eric Knauss, Daniel Lübke, Sebastian Meyer:
  Feedback-driven requirements engineering: The Heuristic Requirements Assistant. 587-590
  
• David Garlan, Bradley R. Schmerl:
  Ævol: A tool for defining and planning architecture evolution. 591-594
  

Differences and Similarities

• Gerardo Canfora, Luigi Cerulo, Massimiliano Di Penta:
  Ldiff: An enhanced line differencing tool. 595-598
  
• Barthélémy Dagenais, Martin P. Robillard:
  SemDiff: Analysis and recommendation support for API evolution. 599-602
  
• Elmar Jürgens, Florian Deissenboeck, Benjamin Hummel:
  CloneDetective - A workbench for clone detection research. 603-606
  

Components and Features

• Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic:
  Save-IDE - A tool for design, analysis and implementation of component-based embedded systems. 607-610
  
• Christian Kästner, Thomas Thüm, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz, Sven Apel:
  FeatureIDE: A tool framework for feature-oriented software development. 611-614
  
• Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Loffler, Andreas Seibel, Holger Giese:
  Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. 615-618
  

Web Services

• Quan Z. Sheng, Sam Pohlenz, Jian Yu, Hoi S. Wong, Anne Hee Hiong Ngu, Zakaria Maamar:
  ContextServ: A platform for rapid and flexible development of context-aware Web services. 619-622
  
• Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi:
  ReMan: A pro-active reputation management infrastructure for composite Web services. 623-626
  
• Javier Cámara, Jose Antonio Martin, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel:
  ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. 627-630