ICSE 2011 Research/Technical Track Papers

  1. A Framework for Automated Testing of JavaScript Web Applications
    Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, and Frank Tip
  2. A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case
    Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, and Daniel Jackson
  3. A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering
    Andrea Arcuri and Lionel Briand
  4. aComment: Mining Annotations from Comments and Code to Detect Interrupt Related Concurrency Bugs
    Lin Tan, Yuanyuan Zhou, and Yoann Padioleau
  5. Always-available Static and Dynamic Feedback
    Michael Bayne, Richard Cook, and Michael D. Ernst
  6. An Empirical Investigation into the Role of API-Level Refactorings during Software Evolution
    Miryung Kim, Dongxiang Cai, and Sunghun Kim
  7. An Empirical Study of Build Maintenance Effort
    Shane McIntosh, Bram Adams, Thanh H. D. Nguyen, Yasutaka Kamei, and Ahmed E. Hassan
  8. Angelic Debugging
    Satish Chandra, Emina Torlak, Shaon Barman, and Rastislav Bodik
  9. Aspect Recommendation for Evolving Software
    Tung T. Nguyen, Hung V. Nguyen, Hoan A. Nguyen, and Tien N. Nguyen
  10. Assessing Programming Language Impact on Development and Maintenance: A Study on C and C++
    Pamela Bhattacharya and Iulian Neamtiu
  11. Automated Cross-Browser Compatibility Testing
    Ali Mesbah and Mukul R. Prasad
  12. Automatically Detecting and Describing High Level Actions within Methods
    Giriprasad Sridhara, Lori Pollock, and K Vijay-Shanker
  13. Camouflage: Automated Anonymization of Field Data
    James Clause and Alessandro Orso
  14. Coalescing Executions for Fast Uncertainty Analysis
    William Sumner, Tao Bao, Xiangyu Zhang, and Sunil Prabhakar
  15. Configuring Global Software Teams: A Multi-Company Analysis of Project Productivity, Quality, and Profits
    Narayan Ramasubbu, Marcelo Cataldo, Rajesh Krishna Balan, and James D. Herbsleb
  16. Coverage Guided Systematic Concurrency Testing
    Chao Wang, Mahmoud Said, and Aarti Gupta
  17. Dealing with Noise in Defect Prediction
    Sunghun Kim, Hongyu Zhang, Rongxin Wu, and Liang Gong
  18. Detecting Software Modularity Violations
    Sunny Wong, Yuanfang Cai, Miryung Kim, and Michael Dalton
  19. Does the Initial Environment Impact the Future of Developers?
    Minghui Zhou and Audris Mockus
  20. Empirical Assessment of MDE in Industry
    John Hutchinson, Jon Whittle, Mark Rouncefield, and Steinar Kristoffersen
  21. Estimating Footprints of Model Operations
    Cédric Jeanneret, Martin Glinz, and Benoit Baudry
  22. Factors Leading to Integration Failures in Global Feature-Oriented Development: An Empirical Analysis
    Marcelo Cataldo and James D. Herbsleb
  23. Feature Cohesion in Software Product Lines: An Exploratory Study
    Sven Apel and Dirk Beyer
  24. Frequency and Risks of Changes to Clones
    Nils Göde and Rainer Koschke
  25. Identifying Program, Test, and Environmental Changes That Affect Behaviour
    Reid Holmes and David Notkin
  26. Improving Requirements Quality using Essential Use Case Interaction Patterns
    Massila Kamalrudin, John Hosking, and John Grundy
  27. Inference of Field Initialization
    Fausto Spoto and Michael D. Ernst
  28. Inferring Better Contracts
    Yi Wei, Carlo A. Furia, Nikolay Kazmin, and Bertrand Meyer
  29. Interface Decomposition for Service Compositions
    Domenico Bianculli, Dimitra Giannakopoulou, and Corina S. Păsăreanu
  30. Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
    Damien Cassou, Emilie Balland, Charles Consel, and Julia Lawall
  31. LIME: A Framework for Debugging Load Imbalance in Multi-threaded Execution
    Jungju Oh, Christopher J. Hughes, Guru Venkataramani, and Milos Prvulovic
  32. MeCC: Memory Comparison-based Clone Detector
    Heejung Kim, Yungbum Jung, Sunghun Kim, and Kwankeun Yi
  33. Mining Message Sequence Graphs
    Sandeep Kumar, Siau Cheng Khoo, Abhik Roychoudhury, and David Lo
  34. Mining Parametric Specifications
    Choonghwan Lee, Feng Chen, and Grigore Roşu
  35. Model Projection: Simplifying Models in Response to Restricting the Environment
    Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, and Zheng Li
  36. Non-Essential Changes in Version Histories
    David Kawrykow and Martin P. Robillard
  37. On-demand Feature Recommendations Derived from Mining Public Product Descriptions
    Horatiu Dumitru, Marek Gibiec, Negar Hariri, Jane Cleland-Huang, Bamshad Mobasher, Carlos Castro-Herrera, and Mehdi Mirakhorli
  38. Ownership, Experience and Defects: A Fine-Grained Study of Authorship
    Foyzur Rahman and Premkumar Devanbu
  39. Patching Vulnerabilities with Sanitization Synthesis
    Fang Yu, Muath Alkhalaf, and Tevfik Bultan
  40. Portfolio: Finding Relevant Functions and Their Usages
    Collin McMillan, Mark Grechanik, Denys Poshyvanyk, Qing Xie, and Chen Fu
  41. Precise Identification of Problems for Structural Test Generation
    Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux
  42. Program Abstractions for Behaviour Validation
    Guido De Caso, Víctor Braberman, Diego Garbervetsky, and Sebastián Uchitel
  43. Programs, Tests, and Oracles: The Foundations of Testing Revisited
    Matt Staats, Michael W. Whalen, and Mats P.E. Heimdahl
  44. RACEZ: A Lightweight and Non-invasive Race Detection Tool for Production Applications
    Tianwei Sheng, Neil Vachharajani, Stephane Eranian, Robert Hundt, Wenguang Chen, and Weimin Zheng
  45. Refactoring Java Programs for Flexible Locking
    Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip
  46. Refactoring Pipe-like Mashups for End-User Programmers
    Kathryn T. Stolee and Sebastian Elbaum
  47. Refactoring to Role Objects
    Friedrich Steimann
  48. Reverse Engineering Feature Models
    Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wąsowski, and Krzysztof Czarnecki
  49. Run-Time Efficient Probabilistic Model Checking
    Antonio Filieri, Carlo Ghezzi, and Giordano Tamburrelli
  50. Socio-Technical Developer Networks: Should We Trust Our Measurements?
    Andrew Meneely and Laurie Williams
  51. Software Systems as Cities: A Controlled Experiment
    Richard Wettel, Michele Lanza, and Romain Robbes
  52. Static Extraction of Program Configuration Options
    Ariel S. Rabkin and Randy Katz
  53. Supporting Professional Spreadsheet Users by Generating Leveled Dataflow Diagrams
    Felienne Hermans, Martin Pinzger, and Arie van Deursen
  54. Symbolic Model Checking of Software Product Lines
    Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, and Axel Legay
  55. Synthesis of Live Behaviour Models for Fallible Domains
    Nicolás D'Ippolito, Victor Braberman, Nir Piterman, and Sebastián Uchitel
  56. Taming Reflection: Aiding Static Analysis in the Presence of Reflection and Custom Class Loaders
    Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, and Mira Mezini
  57. The Impact of Fault Models on Software Robustness Evaluations
    Stefan Winter, Constantin Sârbu, Neeraj Suri, and Brendan Murphy
  58. Towards Quantitative Software Reliability Assessment in Incremental Development Processes
    Toshiya Fujii, Tadashi Dohi, and Takaji Fujiwara
  59. Transformation for Class Immutability
    Fredrik Kjolstad, Danny Dig, Gabriel Acevedo, and Marc Snir
  60. Understanding Broadcast Based Peer Review in Open Source Software Projects
    Peter C Rigby and Margaret-Anne Storey
  61. Unifying Execution of Imperative and Declarative Code
    Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, and Daniel Jackson
  62. Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking
    Lucas Cordeiro and Bernd Fischer