Sebastián Uchitel, Alessandro Orso, Martin P. Robillard
Proceedings of the 39th International Conference on Software Engineering
ICSE, 2017.

@proceedings{ICSE-2017,
	editor        = "Sebastián Uchitel and Alessandro Orso and Martin P. Robillard",
	isbn          = "978-1-5386-3868-2",
	publisher     = "{IEEE / ACM}",
	title         = "{Proceedings of the 39th International Conference on Software Engineering}",
	year          = 2017,
}

Contents (68 items)

ICSE-2017-GuoCC #learning #semantics #traceability #using

Semantically enhanced software traceability using deep learning techniques (JG, JC, JCH), pp. 3–14.

ICSE-2017-GopalakrishnanS #architecture #predict #question #source code #topic

Can latent topics in source code predict missing architectural tactics? (RG, PS, MM, MG), pp. 15–26.

ICSE-2017-ZhouGCHPG #api #detection #documentation #fault

Analyzing APIs documentation and code to detect directive defects (YZ0, RG, TC, ZH, SP, HCG), pp. 27–37.

ICSE-2017-JiangZRZ #api #approach #tutorial

An unsupervised approach for discovering relevant tutorial fragments for APIs (HJ, JZ, ZR, TZ0), pp. 38–48.

ICSE-2017-RodegheroJAM #detection #developer #summary

Detecting user story information in developer-client conversations to generate extractive summaries (PR, SJ, AA, CM), pp. 49–59.

ICSE-2017-TsantalisMR #refactoring

Clone refactoring with lambda expressions (NT, DM, SR), pp. 60–70.

ICSE-2017-ChenJ #anti #detection

Characterizing and detecting anti-patterns in the logging code (BC, ZM(J), pp. 71–81.

ICSE-2017-KhatchadourianM #automation #java #legacy #refactoring

Automated refactoring of legacy Java software to default methods (RK, HM), pp. 82–93.

ICSE-2017-PonzanelliSBMOP #developer #recommendation

Supporting software developers with a holistic recommender system (LP, SS, GB, AM, RO, MDP, ML), pp. 94–105.

ICSE-2017-PalombaSCPGFL #mobile #recommendation

Recommending and localizing change requests for mobile apps based on user reviews (FP, PS, AC, SP, HCG, FF, ADL), pp. 106–117.

ICSE-2017-VendomeVBPGP #detection #exception #machine learning #open source

Machine learning-based detection of open source license exceptions (CV, MLV, GB, MDP, DMG, DP), pp. 118–129.

ICSE-2017-SedanoRP #development

Software development waste (TS, PR, CP), pp. 130–140.

ICSE-2017-HodaN #agile

Becoming agile: a grounded theory of agile transitions in practice (RH, JN0), pp. 141–151.

ICSE-2017-FilippovaTH #development #process

From diversity by numbers to diversity as process: supporting inclusiveness in software development teams with brainstorming (AF, EHT, JDH), pp. 152–163.

ICSE-2017-JoblinAHM #developer #empirical #metric #network

Classifying developers into core and peripheral: an empirical study on count and network metrics (MJ, SA, CH, WM), pp. 164–174.

ICSE-2017-FloydSW #code review #overview #representation

Decoding the representation of code in the brain: an fMRI study of code review and expertise (BF, TS, WW), pp. 175–186.

ICSE-2017-LeeCB #comprehension #overview

Understanding the impressions, motivations, and barriers of one time code contributors to FLOSS projects: a survey (AL, JCC, AB), pp. 187–197.

ICSE-2017-ThomeSBB #constraints #detection #string #theorem proving

Search-driven string constraint solving for vulnerability detection (JT, LKS, DB, LCB), pp. 198–208.

ICSE-2017-SoltaniPD #algorithm #automation #search-based

A guided genetic algorithm for automated crash reproduction (MS, AP, AvD), pp. 209–220.

ICSE-2017-LiuSSJGS #obfuscation #optimisation #probability

Stochastic optimization of program obfuscation (HL0, CS, ZS, YJ0, MG0, JS), pp. 221–231.

ICSE-2017-HawkinsD #detection #named #php

ZenIDS: introspective intrusion detection for PHP applications (BH, BD), pp. 232–243.

ICSE-2017-WitternYZDL #api #javascript #web

Statically checking web API requests in JavaScript (EW, ATTY, YZ, JD, JAL), pp. 244–254.

ICSE-2017-SayaghKA #fault #on the

On cross-stack configuration errors (MS, NK, BA), pp. 255–265.

ICSE-2017-ChoudharyLP #concurrent #detection #generative #performance #safety #testing #thread

Efficient detection of thread safety violations via coverage-guided generation of concurrent tests (AC, SL, MP), pp. 266–277.

ICSE-2017-ZhangW #named #web

RClassify: classifying race conditions in web applications via deterministic replay (LZ0, CW0), pp. 278–288.

ICSE-2017-AdamsenMKSTS #fault #nondeterminism

Repairing event race errors by controlling nondeterminism (CQA, AM, RK, MS, FT, KS), pp. 289–299.

ICSE-2017-RasthoferATP #android #execution #fuzzing

Making malory behave maliciously: targeted fuzzing of android execution environments (SR, SA, ST, MP), pp. 300–311.

ICSE-2017-LeeBSSZM #android #security

A SEALANT for inter-app security holes in android (YKL, JYB, GS, AS, YZ, NM), pp. 312–323.

ICSE-2017-TsutanoBSRD #android #approach #performance #robust #scalability

An efficient, robust, and scalable approach for analyzing interacting android apps (YT, SB, WSa, GR, JD), pp. 324–334.

ICSE-2017-LiWWWWLXH #android #detection #library #named #precise #scalability

LibD: scalable and precise third-party library detection in android markets (ML, WW, PW0, SW0, DW, JL, RX, WH), pp. 335–346.

ICSE-2017-ZhangR #analysis #android #testing

Analysis and testing of notifications in Android wear applications (HZ, AR), pp. 347–357.

ICSE-2017-XueLYWW #adaptation #android

Adaptive unpacking of Android apps (LX, XL, LY, SW0, DW), pp. 358–369.

ICSE-2017-SongL #performance

Performance diagnosis for inefficient loops (LS, SL), pp. 370–380.

ICSE-2017-MaCZZX #case study #correlation #debugging #developer #ecosystem #git #how #python

How do developers fix cross-project correlated bugs?: a case study on the GitHub scientific python ecosystem (WM, LC0, XZ0, YZ, BX), pp. 381–392.

ICSE-2017-LinSXLD #debugging

Feedback-based debugging (YL0, JS0, YX, YL0, JSD), pp. 393–403.

ICSE-2017-RolimSDPGGSH #learning #program transformation

Learning syntactic program transformations from examples (RR, GS, LD, OP, SG, RG, RS, BH), pp. 404–415.

ICSE-2017-XiongWYZH00 #precise #program repair #synthesis

Precise condition synthesis for program repair (YX, JW, RY, JZ, SH, GH0, LZ0), pp. 416–426.

ICSE-2017-AquinoDP #reuse

Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions (AA, GD, MP), pp. 427–437.

ICSE-2017-NguyenNPN #api

Exploring API embedding for API usages and applications (TDN, ATN0, HDP, TNN), pp. 438–449.

ICSE-2017-ChenXW

Unsupervised software-specific morphological forms inference from informal discussions (CC, ZX, XW), pp. 450–461.

ICSE-2017-XuCCLS #analysis #comprehension #named #security #towards

SPAIN: security patch analysis for binaries towards understanding the pain and pills (ZX, BC0, MC, YL0, FS), pp. 462–472.

ICSE-2017-PadhyeS #detection #dynamic analysis #named #traversal

Travioli: a dynamic analysis for detecting data-structure traversals (RP, KS), pp. 473–483.

ICSE-2017-SuCFR #evaluation #markov #named #performance #runtime

ProEva: runtime proactive performance evaluation based on continuous-time markov chains (GS, TC, YF0, DSR), pp. 484–495.

ICSE-2017-CoblenzNAMS #java #named #transitive

Glacier: transitive class immutability for Java (MJC, WN, JA, BAM, JS), pp. 496–506.

ICSE-2017-LandmanSV #challenge #empirical #java #overview #static analysis

Challenges for static analysis of Java reflection: literature review and empirical study (DL, AS, JJV), pp. 507–518.

ICSE-2017-HeoOY #static analysis

Machine-learning-guided selectively unsound static analysis (KH, HO, KY), pp. 519–529.

ICSE-2017-KafaliJPWS #case study #how #policy #security

How good is a security policy against real breaches?: a HIPAA case study (ÖK, JJ, MP, LW, MPS), pp. 530–540.

ICSE-2017-BertolinoMPR #adaptation #reliability #testing

Adaptive coverage and operational profile-based testing for reliability improvement (AB, BM, RP, SR), pp. 541–551.

ICSE-2017-BusariL #analysis #architecture #lightweight #named #requirements

RADAR: a lightweight tool for requirements and architecture decision analysis (SAB, EL), pp. 552–562.

ICSE-2017-BehringerPB #editing #named #product line #projectional

PEoPL: projectional editing of product lines (BB, JP, TB), pp. 563–574.

ICSE-2017-BarikSLHFMP #compilation #developer #error message #fault #question

Do developers read compiler error messages? (TB, JS0, KL, EH, JF, ERMH, CP), pp. 575–585.

ICSE-2017-ChristakisEG0 #framework #injection

A general framework for dynamic stub injection (MC, PE, PG, PM0), pp. 586–596.

ICSE-2017-ChekamPTH #branch #empirical #fault

An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption (TTC, MP, YLT, MH), pp. 597–608.

ICSE-2017-PearsonCJFAEPK #fault #locality

Evaluating and improving fault localization (SP, JC, RJ, GF, RA, MDE, DP, BK), pp. 609–620.

ICSE-2017-Tzoref-BrillM #combinator #design #difference #modelling #semantics

Syntactic and semantic differencing for combinatorial models of test designs (RTB, SM), pp. 621–631.

ICSE-2017-SoutodG #configuration management #performance #testing

Balancing soundness and efficiency for practical testing of configurable systems (SS, Md, RG), pp. 632–642.

ICSE-2017-LiuZPZMZ #automation #generative #mobile #testing

Automatic text input generation for mobile testing (PL, XZ, MP, YZ, MM, LZ), pp. 643–653.

ICSE-2017-PerezAD #fault #locality #metric #testing

A test-suite diagnosability metric for spectrum-based fault localization approaches (AP, RA, AvD), pp. 654–664.

ICSE-2017-ZhangK #automation #difference #testing

Automated transplantation and differential testing for clones (TZ0, MK), pp. 665–676.

ICSE-2017-RojasWCF #crowdsourcing #effectiveness #game studies #mutation testing #testing

Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game (JMR, TDW, BSC, GF), pp. 677–688.

ICSE-2017-ShiTLBC #optimisation #testing

Optimizing test placement for module-level regression testing (AS, ST, SKL, NB, JC), pp. 689–699.

ICSE-2017-ChenBHXZX #compilation #learning #source code #testing

Learning to prioritize test programs for compiler testing (JC0, YB, DH, YX, HZ0, BX), pp. 700–711.

ICSE-2017-JiangLYX #analysis #automation #integration #testing #what

What causes my test alarm?: automatic cause analysis for test alarms in system and integration testing (HJ, XL, ZY, JX), pp. 712–723.

ICSE-2017-BocicB #verification #web

Symbolic model extraction for web application verification (IB, TB), pp. 724–734.

ICSE-2017-FaitelsonT #case study #diagrams #refinement #uml

UML diagram refinement (focusing on class- and use case diagrams) (DF, SST), pp. 735–745.

ICSE-2017-ServantJ #analysis #fine-grained #fuzzy

Fuzzy fine-grained code-history analysis (FS, JAJ), pp. 746–757.

ICSE-2017-GaoBB #debugging #detection #javascript

To type or not to type: quantifying detectable bugs in JavaScript (ZG, CB, ETB), pp. 758–769.

ICSE-2017-FabijanDOB #data-driven #development #evolution #scalability

The evolution of continuous experimentation in software product development: from data to a data-driven organization at scale (AF, PAD, HHO, JB), pp. 770–780.