31. ICSE 2009: Vancouver, BC, Canada

Keynote Papers

• Pamela Zave:
  Software Engineering for the Next Internet. 1-11
  
• Steve McConnell:
  10 most powerful ideas in software engineering. 12
  

Panel

• Steven Fraser, Barry W. Boehm, Hakan Erdogmus, Magne Jorgensen, Stan Rifkin, Mike Ross:
  The role of judgment in software estimation. 13-17
  

Software Engineering in Practice

Complex Systems

• Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels:
  Model checking flight control systems: The Airbus experience. 18-27
  
• Ji Eun Kim, Oliver Rogalla, Simon Kramer, Arne Hamann:
  Extracting, specifying and predicting software system properties in component based real-time embedded software development. 28-38
  
• Eric Cheung, Thomas M. Smith:
  Experience with modularity in an advanced teleconferencing service deployment. 39-49
  

Refactoring and Tools

• Paul Adamczyk, Arturo Zambrano, Federico Balaguer:
  Refactoring big balls of mud. 50-60
  
• R. E. Kurt Stirewalt, Spencer Rugaber, Hwa-You Hsu, David Zook:
  Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base. 61-70
  
• Paolo Salvaneschi:
  Functional abstractions for testing repository-style information systems. 71-80
  

Agile and Process

• Caryna Pinheiro, Frank Maurer, Jonathan Sillito:
  Improving quality, one process change at a time. 81-90
  
• Mikio Ikoma, Masayuki Ooshima, Takahiro Tanida, Michiko Oba, Sanshiro Sakai:
  Using a validation model to measure the agility of software development in a large software development organization. 91-100
  
• Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara:
  WEAVE: WEb Applications Validation Environment. 101-111
  

Testing (Telecom)

• Antti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, Heikki Virtanen:
  Automatic GUI test generation for smartphone applications - an evaluation. 112-122
  
• Evelyn Moritz:
  Case study: How analysis of customer found defects can be used by system test to improve quality. 123-129
  
• Ayse Morali, Emmanuele Zambon, Siv Hilde Houmb, Karin Sallhammar, Sandro Etalle:
  Extended eTVRA vs. security checklist: Experiences in a value-web. 130-140
  

Testing (Medical)

• Andrew King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger:
  An open test bed for medical device integration and coordination. 141-151
  
• Fergal McCaffery, John Burton, Ita Richardson:
  Improving software Risk Management in a Medical Device Company. 152-162
  
• Massimo Pascale, Marcello Roselli, Umberto Rugani, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti, Eda Marchetti, Andrea Polini:
  Automated testing of healthcare document transformations in the PICASSO interoperability platform. 163-171
  

Predicting Defects and SEIP-Keynote on Video Game Industry

• Tilman Holschuh, Markus Pauser, Kim Herzig, Thomas Zimmermann, Rahul Premraj, Andreas Zeller:
  Predicting defects in SAP Java code: An experience report. 172-181
  
• Andrew Brownsword:
  Reflecting on development processes in the video game industry. 182
  

New Ideas and Emerging Results

• David Kawrykow, Martin P. Robillard:
  Detecting inefficient API usage. 183-186
  
• Slinger Jansen, Anthony Finkelstein, Sjaak Brinkkemper:
  A sense of community: A research agenda for software ecosystems. 187-190
  
• Vladimir Blagojevic, Wim Codenie, Jessie Dedecker, Nicolás González-Deleito, Jeroen Deleu, Nick Boucart:
  Murphy: A Web 2.0 approach for proactive risk management in hardware/software co-design. 191-194
  
• Oliver Arafat, Dirk Riehle:
  The comment density of open source software code. 195-198
  
• Christos Kloukinas:
  Better abstractions for reusable components & architectures. 199-202
  
• Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick:
  Automated substring hole analysis. 203-206
  
• Jordi Cabot, Steve M. Easterbrook, Jennifer Horkoff, Lysanne Lessard, Sotirios Liaskos, Jose-Norberto Mazón:
  Integrating sustainability in decision-making processes: A modelling strategy. 207-210
  
• Stephen Kell:
  Configuration and adaptation of binary software components. 211-214
  
• Stan Jarzabek, Hongyu Zhang, Youpeng Lee, Yinxing Xue, Naveed Shaikh:
  Increasing usability of preprocessing for feature management in product lines with queries. 215-218
  
• Wujie Zheng, Michael R. Lyu, Tao Xie:
  Test selection for result inspection via mining predicate rules. 219-222
  
• Lile Hattori, Michele Lanza:
  An environment for synchronous software development. 223-226
  
• Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh:
  Towards safer composition. 227-230
  
• Iris Groher, Alexander Egyed:
  Selective backtracking of model changes. 231-234
  
• Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano:
  A compositional approach to bidirectional model transformation. 235-238
  
• Deepak Dhungana, Iris Groher:
  Genetics as a role model for software variability management. 239-242
  
• David Lievens, Tim Walsh, Dominik Dahlem, William Harrison:
  Promoting evolution by abstracting over implementation structure. 243-246
  
• Thomas Zimmermann, Rahul Premraj, Jonathan Sillito, Silvia Breu:
  Improving bug tracking systems. 247-250
  
• Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos:
  Towards a framework for law-compliant software requirements. 251-254
  
• João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo:
  Design tests: An approach to programmatically check your code against design rules. 255-258
  
• Andrew Sutherland, Gina Venolia:
  Can peer code reviews be exploited for later information needs? 259-262
  
• Andrew Begel, Robert DeLine:
  Codebook: Social networking over code. 263-266
  
• Nigamanth Sridhar, Jason O. Hallstrom:
  A specification idiom for reactive systems. 267-270
  
• Brian Dougherty, Jules White, Jaiganesh Balasubramanian, Chris Thompson, Douglas C. Schmidt:
  Deployment automation with BLITZ. 271-274
  
• Sam Malek, Roshanak Roshandel, David Kilgore, Ibrahim Elhag:
  Improving the reliability of mobile software systems through continuous analysis and proactive reconfiguration. 275-278
  
• Ana Milanova, Yin Liu:
  Static ownership inference for reasoning against concurrency errors. 279-282
  
• Denys Poshyvanyk, Mark Grechanik:
  Creating and evolving software by searching, selecting and synthesizing relevant source code. 283-286
  
• James A. Miller, Remo Ferrari, Nazim H. Madhavji:
  How do system architectures affect software requirements? 287-290
  
• En Ye, Lev A. Neiman, Hiep Q. Dinh, Chang Liu:
  SecondWATCH: A workspace awareness tool based on a 3-D virtual world. 291-294
  
• Abram Hindle, Michael W. Godfrey, Richard C. Holt:
  Mining recurrent activities: Fourier analysis of change events. 295-298
  
• Cleidson R. B. de Souza, David Leonardo M. Bentolila:
  Automatic evaluation of API usability using complexity metrics and visualizations. 299-302
  
• R. E. Kurt Stirewalt, Laura K. Dillon, Eileen Kraemer:
  The inference validity problem in legal discovery. 303-306
  
• Marius Nita, David Notkin:
  White-box approaches for improved testing and analysis of configurable software systems. 307-310
  
• Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
  Guided path exploration for regression test generation. 311-314
  
• Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic:
  From system specifications to component behavioral models. 315-318
  
• Frank Otto, Victor Pankratius, Walter F. Tichy:
  High-level multicore programming with XJava. 319-322
  
• Luciano Baresi, Elisabetta Di Nitto, Sam Guinea, Schahram Dustdar:
  Multi-dimensional service compositions. 323-326
  
• Michel Wermelinger, Yijun Yu, Markus Strohmaier:
  Using formal concept analysis to construct and visualise hierarchies of socio-technical relations. 327-330
  
• Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf:
  Toward deeply adaptive societies of digital systems. 331-334
  
• Luigi Troiano, Gerardo Canfora:
  The marketplace of user interface real estate. 335-338
  

Doctoral Symposium

• Ritu Arora, Purushotham Bangalore:
  A framework for raising the level of abstraction of explicit parallelization. 339-342
  
• Thomas Aschauer:
  Towards a multi-level modeling language for testbed automation systems. 343-346
  
• Basil Becker:
  Towards safety guarantees for service-oriented systems. 347-350
  
• Leslie Bradley, Kevin McDaid:
  Using Bayesian statistical methods to determine the level of error in large spreadsheets. 351-354
  
• Petra Broschy:
  Improving conflict resolution in model versioning systems. 355-358
  
• Mathias Frisch, Raimund Dachselt:
  Towards a framework for supporting software modeling activities through novel interaction and visualization techniques. 359-362
  
• Elspeth Golden:
  Early-stage software design for usability. 363-366
  
• Arnaud Hubaux, Patrick Heymans:
  On the evaluation and improvement of feature-based configuration techniques in software product lines. 367-370
  
• Lijun Mei:
  A context-aware orchestrating and choreographic test framework for service-oriented applications. 371-374
  
• Xiao Qu:
  Configuration aware prioritization techniques in regression testing. 375-378
  
• Raúl A. Santelices, Mary Jean Harrold:
  Automated scalable test-suite augmentation for evolving software. 379-382
  
• Carlos Eduardo da Silva, Rogério de Lemos:
  Towards the use of dynamic workflows for coordinating self-adaptation of software systems. 383-386
  
• Basem Suleiman, Vladimir Tosic, D. Ross Jeffery, Jenny Liu:
  Models and algorithms for business value-driven adaptation of business processes and software infrastructure. 387-390
  
• Richard Wettel:
  Visual exploration of large-scale evolving software. 391-394
  
• Andreas Windisch:
  Search-based testing of complex simulink models containing stateflow diagrams. 395-398
  

Informal Research Demonstrations

• Danny Dig, John Marrero, Michael D. Ernst:
  Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. 399-400
  
• Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann:
  Exploiting the synergy between automated-test-generation and programming-by-contract. 401-402
  
• Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer:
  Deconstructing concurrency heisenbugs. 403-404
  
• Larry Maccherone, Anita Sarma, Patrick Wagstrom, James D. Herbsleb:
  Tesseract: Interactive environment for exploration of project relationships. 405-406
  
• Steven P. Reiss:
  DYVISE: Performance analysis of production systems research demonstration. 407-408
  
• Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
  Verifying networked programs using a model checker extension. 409-410
  
• Mauro Pezzè, Jochen Wuttke:
  LuMiNous - model-driven assertion generation for runtime failure detection. 411-412
  
• Avi Yaeli, Alex Kofman, Yael Dubinsky:
  Software development governor: Automating governance in software development environments. 413-414
  
• Holger Schackmann, Martin Jansen, Christoph Lischkowitz, Horst Lichter:
  QMetric - a metric tool suite for the evaluation of software process data. 415-416
  
• Gautam Shroff, Puneet Agarwal, Premkumar T. Devanbu:
  InstantApps: A WYSIWYG model driven interpreter for web applications. 417-418
  
• Ankit Goel, Bikram Sengupta, Abhik Roychoudhury:
  Footprinter: Round-trip engineering via scenario and state based models. 419-420
  
• Giovanni Denaro, Alessandra Gorla, Mauro Pezzè:
  DaTeC: Contextual data flow testing of java classes. 421-422
  
• Harold Ossher, Rachel K. E. Bellamy, David Amid, Ateret Anaby-Tavor, Matthew Callery, Michael Desmond, Jacqueline de Vries, Amit Fisher, Thomas Frauenhofer, Sophia Krasikov, Ian Simmonds, Calvin Swart:
  Business insight toolkit: Flexible pre-requirements modeling. 423-424
  
• Patrick Mäder, Orlena Gotel, Ilka Philippow:
  Semi-automated traceability maintenance: An architectural overview of traceMaintainer. 425-426
  
• Youssef Hanna, Hridesh Rajan:
  Slede: Framework for automatic verification of sensor network security protocol implementations. 427-428
  
• Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte:
  VCC: Contract-based modular verification of concurrent C. 429-430
  
• Gunter Mussbacher, Daniel Amyot:
  Goal and scenario modeling, analysis, and transformation with jUCMNav. 431-432
  
• Andrew King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger:
  Demonstration of a medical device integration and coordination framework. 433-434
  
• Shang-Wen Cheng, David Garlan, Bradley R. Schmerl:
  RAIDE for engineering architecture-based self-adaptive systems. 435-436
  
• Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen:
  ClemanX: Incremental clone detection tool for evolving software. 437-438
  
• Ryuji Shimada, Yasuhiro Hayase, Makoto Ichii, Makoto Matsushita, Katsuro Inoue:
  A-SCORE: Automatic software component recommendation using coding context. 439-440
  
• Glauco de Figueiredo Carneiro, Manoel G. Mendonça, Rodrigo Chaves Magnavita:
  An experimental platform to characterize software comprehension activities supported by visualization. 441-442
  

Workshops

• João M. Fernandes, Ricardo Jorge Machado, Luís C. Lamb, Flávio Rech Wagner:
  Model-based Methodologies for Pervasive and Embedded Software. 443-444
  
• Sushil Krishna Bajracharya, Adrian Kuhn, Yunwen Ye:
  SUITE 2009: First international workshop on search-driven development - users, infrastructure, tools and evaluation. 445-446
  
• Patricia Lago, Paris Avgeriou, Philippe Kruchten:
  Fourth international workshop on sharing and reusing architectural knowledge (SHARK 2009). 447-448
  
• Barry W. Boehm, Sunita Chulani, June M. Verner, Bernard Wong:
  Seventh workshop on Software Quality. 449-450
  
• Cleidson R. B. de Souza, Helen Sharp, Yvonne Dittrich, Janice Singer:
  Cooperative and human aspects of software engineering (CHASE 2009). 451-452
  
• Robert Baillargeon, Bernhard Rumpe, Steven Völkel, Robert B. France, Geri Georg, Steffen Zschaler:
  Modeling in Software Engineering (MiSE 09). 453-454
  
• Yael Dubinsky, Philippe Kruchten:
  2^nd workshop on software development governance (SDG). 455-456
  
• Jürgen Ebert, Udo Kelter, Tarja Systä:
  Workshop on comparison and versioning of software models (CVSM 2009). 457-458
  
• Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper:
  Expanding, theory, and practice: Report on the 4^th International Workshop on the Automation of Software Test. 459-460
  
• Elisabetta Di Nitto, Schahram Dustdar:
  Principles of engineering service oriented systems. 461-462
  
• Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
  SEAMS 2009: Software engineering for adaptive and self-managing systems. 463-464
  
• Leon J. Osterweil, Barbara Paech:
  Workshop on software Engineering in Health Care (SEHC). 465
  
• Ruzanna Chitchyan, Mónica Pinto, Safoora Shakil Khan:
  Early Aspects at ICSE 2009: Workshop on aspect-oriented requirements engineering and architecture design. 466-467
  
• Andrea Capiluppi, Gregorio Robles:
  Second international workshop on emerging trends in Free/Libre/Open Source Software research and development - FLOSS09. 468-469
  
• Adam A. Porter, Victor Pankratius, Lawrence G. Votta:
  International workshop on multicore software engineering (IWMSE 2009). 470-471
  
• Giuliano Antoniol, Rocco Oliveto, Denys Poshyvanyk:
  5^th international workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2009). 472-473
  
• Brian Berenbach, Len Bass:
  Leadership and management in software architecture. 474-475
  
• Marcelo Cataldo, Steve M. Easterbrook, Daniela E. Damian, James D. Herbsleb, Premkumar T. Devanbu, Audris Mockus:
  2^nd international workshop on socio-technical congruence (STC 2009). 476-477
  
• Bart De Win, Seok-Won Lee, Mattia Monga:
  The 5^th international workshop on software engineering for secure systems (SESS'09). 478-479
  
• Ademar Aguiar, Uri Dekel, Paulo Merson:
  Wikis4SE'2009: Wikis for Software Engineering. 480-481
  
• Kamal Bhattacharya, Martin Bichler, Stefan Tai:
  ICSE Cloud 09: First international workshop on software engineering challenges for Cloud Computing. 482-483
  
• Jeffrey C. Carver:
  SE-CSE 2009: The second international workshop on software engineering for Computational Science and Engineering. 484-485
  
• Len Bass, Grace A. Lewis, Dennis B. Smith, Brad A. Myers:
  SEEUP 2009: Workshop on software engineering foundations for end-user programming. 486
  

Score

• Mehdi Jazayeri, Dino Mandrioli:
  SCORE: The first student Contest in Software Engineering. 487-488