ICSE 2015-1 84 papers accepted. Updated on 2023-10-06. You can find the lastest information here. Views on Internal and External Validity in Empirical Software Engineering. Developing and Evaluating Software Engineering Process Theories. Automated Data Structure Generation: Refuting Common Wisdom. Automated Modularization of GUI Test Cases. Making System User Interactive Tests Repeatable: When and What Should We Control? ZoomIn: Discovering Failures by Detecting Wrong Assertions. Composite Constant Propagation: Application to Android Inter-Component Communication Analysis. Static Control-Flow Analysis of User-Driven Callbacks in Android Applications. Truth in Advertising: The Hidden Cost of Mobile Ads for Software Developers. Interactive Code Review for Systematic Changes. Automated Decomposition of Build Targets. Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets. Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. Measuring Software Redundancy. Gray Computing: An Analysis of Computing with Background JavaScript Tasks. Presence-Condition Simplification in Highly Configurable Systems. Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. Tempura: Temporal Dimension for IDEs. Supporting Selective Undo in a Code Editor. Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool. RECONTEST: Effective Regression Testing of Concurrent Programs. A Synergistic Analysis Method for Explaining Failed Regression Tests. An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes. IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. Do Security Patterns Really Help Designers? AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context. TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. Detecting Inconsistencies in JavaScript MVC Applications. AutoCSP: Automatically Retrofitting CSP to Web Applications. How Much Up-Front? A Grounded theory of Agile Architecture. Work Practices and Challenges in Pull-Based Development: The Integrator's Perspective. Build It Yourself! Homegrown Tools in a Large Software Company. Morpheus: Variability-Aware Refactoring in the Wild. Does Automated Refactoring Obviate Systematic Editing? When and Why Your Code Starts to Smell Bad. Learning to Log: Helping Developers Make Informed Logging Decisions. Mining Apps for Abnormal Usage of Sensitive Data. Tracking Static Analysis Violations over Time to Capture Developer Characteristics. DirectFix: Looking for Simple Program Repairs. Safe Memory-Leak Fixing for C Programs. relifix: Automated Repair of Software Regressions. The Art of Testing Less without Sacrificing Quality. No PAIN, No Gain? The Utility of PArallel Fault INjections. A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines. A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search. Borrowing from the Crowd: A Study of Recombination in Software Design Competitions. From Developer Networks to Verified Communities: A Fine-Grained Approach. Open Source-Style Collaborative Development Practices in Commercial Projects Using GitHub. Database-Backed Program Analysis for Scalable Error Propagation. Tricorder: Building a Program Analysis Ecosystem. Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing. Compositional Symbolic Execution with Memoized Replay. Regular Property Guided Dynamic Symbolic Execution. Combining Symbolic Execution and Model Checking for Data Flow Testing. Are Students Representatives of Professionals in Software Engineering Experiments? Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational Factors on Software Quality. Stuck and Frustrated or in Flow and Happy: Sensing Developers' Emotions and Progress. What Makes a Great Software Engineer? Efficient Scalable Verification of LTL Specifications. Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification. Specifying Event-Based Systems with a Counting Fluent Temporal Logic. Coexecutability for Efficient Verification of Data Model Updates. Assert Use in GitHub Projects. A Programming Model for Sustainable Software. A Comparative Study of Programming Languages in Rosetta Code. Revisiting the Impact of Classification Techniques on the Performance of Defect Prediction Models. LACE2: Better Privacy-Preserving Data Sharing for Cross Project Defect Prediction. The Impact of Mislabelling on the Performance and Interpretation of Defect Prediction Models. ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks. Dynamic Generation of Likely Invariants for Multithreaded Programs. GPredict: Generic Predictive Concurrency Analysis. Graph-Based Statistical Language Model for Code. Discovering Information Explaining API Types Using Text Classification. How Can I Use This Method? Hercules: Reproducing Crashes in Real-World Application Binaries. CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes. An Empirical Study on Real Bug Fixes. Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests. Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique. Dynamic Data Flow Testing of Object Oriented Systems.