ICSE 2016 101 papers accepted. Updated on 2023-10-06. You can find the lastest information here. PRADA: prioritizing android devices for apps by mining large-scale usage data. Release planning of mobile apps based on user reviews. Toward a framework for detecting privacy policy violations in android application code. Mining sandboxes. Generating performance distributions via probabilistic symbolic execution. Performance issues and optimizations in JavaScript: an empirical study. Reliability of Run-Time Quality-of-Service evaluation using parametric model checking. Optimizing selection of competing services with probabilistic hierarchical refinement. The emerging role of data scientists on software development teams. Belief & evidence in empirical software engineering. Grounded theory in software engineering research: a critical review and guidelines. On the techniques we create, the tools we build, and their misalignments: a study of KLEE. Guiding dynamic symbolic execution toward unverified program executions. Synthesizing framework models for symbolic execution. Type-aware concolic testing of JavaScript programs. An empirical comparison of compiler testing techniques. Termination-checking for LLVM peephole optimizations. Finding and analyzing compiler warning defects. iDice: problem identification for emerging issues. Energy profiles of Java collections classes. An empirical study of practitioners' perspectives on green software engineering. Automated energy optimization of HTTP requests for mobile applications. Too long; didn't watch!: extracting relevant fragments from software development video tutorials. Overcoming open source project entry barriers with a portal for newcomers. Work practices and challenges in pull-based development: the contributor's perspective. Automatically learning semantic features for defect prediction. Cross-project defect prediction using a connectivity-based unsupervised classifier. Automated parameter optimization of classification techniques for defect prediction models. AntMiner: mining more bugs by reducing noise interference. Program synthesis using natural language. SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. Cross-supervised synthesis of web-crawlers. Automatic model generation from documentation for Java API functions. Augmenting API documentation with insights from stack overflow. From word embeddings to document similarities for improved information retrieval in software engineering. Learning API usages from bytecode: a statistical approach. On the "naturalness" of buggy code. Code anomalies flock together: exploring code anomaly agglomerations for locating design problems. Using (bio)metrics to predict code quality online. CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features. Disseminating architectural knowledge on open-source projects: a case study of the book "architecture of open-source applications". Identifying and quantifying architectural debt. Decoupling level: a new metric for architectural maintenance complexity. On the limits of mutation reduction strategies. Comparing white-box and black-box test prioritization. How does regression test prioritization perform in real-world software evolution? The impact of test case summaries on bug fixing performance: an empirical investigation. Reducing combinatorics in GUI testing of android applications. MobiPlay: a remote execution based record-and-replay tool for mobile applications. VDTest: an automated framework to support testing for virtual devices. Automated test suite generation for time-continuous simulink models. Missing data imputation based on low-rank recovery and semi-supervised regression for software effort estimation. Multi-objective software effort estimation. A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering. A comparison of 10 sampling algorithms for configurable systems. Featured model-based mutation analysis. Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. How does the degree of variability affect bug finding? Angelix: scalable multiline program patch synthesis via symbolic analysis. An analysis of the search spaces for generate and validate patch generation systems. PAC learning-based verification and model synthesis. StubDroid: automatic inference of precise data-flow summaries for the android framework. Exploring language support for immutability. The evolution of C programming practices: a study of the Unix operating system 1973-2015. An empirical study on the impact of C++ lambdas and programmer experience. Understanding and fixing multiple language interoperability issues: the C/Fortran case. BigDebug: debugging primitives for interactive big data processing in spark. Debugging for reactive programming. Revisit of automatic debugging via human focus-tracking analysis. RETracer: triaging crashes by reverse execution from partial memory dumps. Are "non-functional" requirements really non-functional?: an investigation of non-functional requirements in practice. Probing for requirements knowledge to stimulate architectural thinking. Risk-driven revision of requirements models. Discovering "unknown known" security requirements. Behavioral log analysis with statistical guarantees. Efficient large-scale trace checking using mapreduce. Feedback-directed instrumentation for deployed JavaScript applications. DoubleTake: fast and precise error detection via evidence-based dynamic analysis. Automated partitioning of android applications for trusted execution environments. Jumping through hoops: why do Java developers struggle with cryptography APIs? Finding security bugs in web applications using a catalog of access control patterns. Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices. Building a theory of job rotation in software engineering from an instrumental case study. The challenges of staying together while moving fast: an exploratory study. The sky is not the limit: multitasking across GitHub projects. Quantifying and mitigating turnover-induced knowledge loss: case studies of chrome and a project at avaya. Quality experience: a grounded theory of successful agile projects without dedicated testers. Code review quality: how developers see it. Revisiting code ownership and its relationship with software quality in the scope of modern code review. IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions. Nomen est omen: exploring and exploiting similarities between argument and parameter names. Floating-point precision tuning using blame analysis. Crowdsourcing program preconditions via a classification game. Scalable thread sharing analysis. Fixing deadlocks via lock pre-acquisitions. Coverage-driven test code generation for concurrent classes. Locking discipline inference and checking. Improving refactoring speed by 10X. SourcererCC: scaling code clone detection to big-code. Understanding asynchronous interactions in full-stack JavaScript. Shadow of a doubt: testing for divergences between software versions.