[Front matter] (PDF)
Program generation for performance (Abstract)
Changing microsoft's build: Revolution or evolution (Abstract)
The power of probabilistic thinking (Abstract)
An empirical investigation into the nature of test smells (Abstract)
Evaluating non-adequate test-case reduction (Abstract)
Optimizing customized program coverage (Abstract)
What makes killing a mutant hard (Abstract)
Test case permutation to improve execution time (Abstract)
Testing advanced driver assistance systems using multi-objective search and neural networks (Abstract)
Deep learning code fragments for code clone detection (Abstract)
Automatically recommending code reviewers based on their expertise: An empirical comparison (Abstract)
Evaluating the evaluations of code recommender systems: A reality check (Abstract)
Too much automation? The bellwether effect and its implications for transfer learning (Abstract)
Automatic microbenchmark generation to prevent dead code elimination and constant folding (Abstract)
Visualization of combinatorial models and test plans (Abstract)
Finding access control bugs in web applications with CanCheck (Abstract)
SOFIA: An automated security oracle for black-box testing of SQL-injection vulnerabilities (Abstract)
Supporting oracle construction via static analysis (Abstract)
Local-based active classification of test report to assist crowdsourced testing (Abstract)
Multi-objective test report prioritization using image understanding (Abstract)
CrowdService: Serving the individuals through mobile crowdsourcing and service composition (Abstract)
QUICKAR: Automatic query reformulation for concept location using crowdsourced knowledge (Abstract)
Taming Android fragmentation: Characterizing and detecting compatibility issues for Android apps (Abstract)
Automated model-based Android GUI testing using multi-level GUI comparison criteria (Abstract)
HybriDroid: Static analysis framework for Android hybrid applications (Abstract)
Locus: Locating bugs from software changes (Abstract)
Fine-tuning spectrum based fault localisation with frequent method item sets (Abstract)
Recommending relevant classes for bug reports using multi-objective search (Abstract)
An empirical study on dependence clusters for effort-aware fault-proneness prediction (Abstract)
StraightTaint: Decoupled offline symbolic taint analysis (Abstract)
IncA: A DSL for the definition of incremental program analyses (Abstract)
What developers want and need from program analysis: An empirical study (Abstract)
DistIA: A cost-effective dynamic impact analysis for distributed programs (Abstract)
Radius aware probabilistic testing of deadlocks with guarantees (Abstract)
LockPeeker: Detecting latent locks in Java APIs (Abstract)
Sound static deadlock analysis for C/Pthreads (Abstract)
Static race detection for device drivers: The Goblint approach (Abstract)
An empirical evaluation of two user interfaces of an interactive program verifier (Abstract)
Traceability maintenance: Factors and guidelines (Abstract)
Usage, costs, and benefits of continuous integration in open-source projects (Abstract)
DSL-maps: From requirements to design of domain-specific languages (Abstract)
The IDE as a scriptable information system (Abstract)
Inferring annotations for device drivers from verification histories (Abstract)
Array length inference for C library bindings (Abstract)
APEx: Automated inference of error specifications for C APIs (Abstract)
On essential configuration complexity: Measuring interactions in highly-configurable systems (Abstract)
Precise semantic history slicing through dynamic delta refinement (Abstract)
Goal-conflict detection based on temporal satisfiability checking (Abstract)
Symbolic execution of stored procedures in database management systems (Abstract)
Conc-iSE: Incremental symbolic execution of concurrent software (Abstract)
Model-based whitebox fuzzing for program binaries (Abstract)
Symbolic execution of complex program driven by machine learning based constraint solving (Abstract)
Towards bounded model checking using nonlinear programming solver (Abstract)
Identifying domain elements from textual specifications (Abstract)
Efficient detection of inconsistencies in a multi-developer engineering environment (Abstract)
How good are the specs? A study of the bug-finding effectiveness of existing Java API specifications (Abstract)
Greedy combinatorial test case generation using unsatisfiable cores (Abstract)
Towards automatically generating descriptive names for unit tests (Abstract)
Applying combinatorial test data generation to big data applications (Abstract)
Generating test cases to expose concurrency bugs in android applications (Abstract)
Automatic test image generation using procedural noise (Abstract)
Move-optimized source code tree differencing (Abstract)
Migrating cascading style sheets to preprocessors by introducing mixins (Abstract)
Automatic runtime recovery via error handler synthesis (Abstract)
Mining revision histories to detect cross-language clones without intermediates (Abstract)
Battery-aware transformations in mobile applications (Abstract)
Bugram: Bug detection with n-gram language models (Abstract)
Mining input grammars from dynamic taints (Abstract)
Phrase-based extraction of user opinions in mobile app reviews (Abstract)
Practical guidelines for change recommendation using association rule mining (Abstract)
Learning a dual-language vector space for domain-specific cross-lingual question retrieval (Abstract)
Reflection-aware static analysis of Android apps (Abstract)
Relda2: An effective static analysis tool for resource leak detection in Android apps (Abstract)
An end-user oriented tool suite for development of mobile applications (Abstract)
Model driven design of heterogeneous synchronous embedded systems (Abstract)
MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution (Abstract)
BovInspector: Automatic inspection and repair of buffer overflow vulnerabilities (Abstract)
CORRECT: Code reviewer recommendation at GitHub for Vendasta technologies (Abstract)
CVExplorer: Identifying candidate developers by mining and exploring their open source contributions (Abstract)
Lightweight collection and storage of software repository data with DataRover (Abstract)
Visual contract extractor: A tool for reverse engineering visual contracts using dynamic analysis (Abstract)
SuperMod: Tool support for collaborative filtered model-driven software product line engineering (Abstract)
AnModeler: A tool for generating domain models from textual specifications (Abstract)
SimilarTech: Automatically recommend analogical libraries across different programming languages (Abstract)
TeeVML: Tool support for semi-automatic integration testing environment emulation (Abstract)
The interactive verification debugger: Effective understanding of interactive proof attempts (Abstract)
Verifying Simulink Stateflow model: Timed automata approach (Abstract)
GUICat: GUI testing as a service (Abstract)
An automated collaborative requirements engineering tool for better validation of requirements (Abstract)
An extensible framework for variable-precision data-flow analyses in MPS (Abstract)
Towards efficient and effective automatic program repair (Abstract)
Automated testing and notification of mobile app privacy leak-cause behaviours (Abstract)
Statistical analysis of large sets of models (Abstract)
Developer targeted analytics: Supporting software development decisions with runtime information (Abstract)
API recommendation system for software development (Abstract)
Author index (PDF)