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