Laura K. Dillon, Willem Visser, Laurie Williams
Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016
ICSE, 2016.

@proceedings{ICSE-2016,
	doi           = "10.1145/2884781",
	editor        = "Laura K. Dillon and Willem Visser and Laurie Williams",
	ee            = "https://ieeexplore.ieee.org/xpl/conhome/7878354/proceeding",
	isbn          = "978-1-4503-3900-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016}",
	year          = 2016,
}

Contents (101 items)

ICSE-2016-LuLLXMH0F #android #mining #named #scalability

PRADA: prioritizing android devices for apps by mining large-scale usage data (XL, XL, HL, TX0, QM, DH, GH0, FF0), pp. 3–13.

ICSE-2016-VillarroelBROP #mobile #release planning

Release planning of mobile apps based on user reviews (LV, GB, BR, RO, MDP), pp. 14–24.

ICSE-2016-SlavinWHHKBBN #android #detection #framework #policy #privacy #towards

Toward a framework for detecting privacy policy violations in android application code (RS, XW, MBH, JH, RK, JB, TDB, JN0), pp. 25–36.

ICSE-2016-JamrozikSZ #mining

Mining sandboxes (KJ, PvSR, AZ), pp. 37–48.

ICSE-2016-ChenLL #execution #generative #performance #probability #symbolic computation

Generating performance distributions via probabilistic symbolic execution (BC0, YL0, WL), pp. 49–60.

ICSE-2016-SelakovicP #empirical #javascript #optimisation #performance

Performance issues and optimizations in JavaScript: an empirical study (MS, MP), pp. 61–72.

ICSE-2016-SuRT #evaluation #model checking #parametricity #reliability #runtime #using

Reliability of Run-Time Quality-of-Service evaluation using parametric model checking (GS, DSR, GT), pp. 73–84.

ICSE-2016-TanCSLAXD #optimisation #probability #refinement

Optimizing selection of competing services with probabilistic hierarchical refinement (THT, MC, JS0, YL0, ÉA, YX, JSD), pp. 85–95.

ICSE-2016-Kim0DB #development

The emerging role of data scientists on software development teams (MK, TZ0, RD, AB), pp. 96–107.

ICSE-2016-Devanbu0B #empirical #re-engineering

Belief & evidence in empirical software engineering (PTD, TZ0, CB), pp. 108–119.

ICSE-2016-StolRF #guidelines #overview #re-engineering #research

Grounded theory in software engineering research: a critical review and guidelines (KJS, PR, BF0), pp. 120–131.

ICSE-2016-RizziED #case study #on the #tool support

On the techniques we create, the tools we build, and their misalignments: a study of KLEE (EFR, SGE, MBD), pp. 132–143.

ICSE-2016-Christakis0W #execution #symbolic computation #towards

Guiding dynamic symbolic execution toward unverified program executions (MC, PM0, VW), pp. 144–155.

ICSE-2016-JeonQFFS #execution #framework #modelling #symbolic computation

Synthesizing framework models for symbolic execution (JJ, XQ, JFD, JSF, ASL), pp. 156–167.

ICSE-2016-DhokRS #javascript #source code #testing

Type-aware concolic testing of JavaScript programs (MD, MKR, NS0), pp. 168–179.

ICSE-2016-ChenHHXZ0X #comparison #compilation #empirical #testing

An empirical comparison of compiler testing techniques (JC0, WH, DH, YX, HZ0, LZ0, BX), pp. 180–190.

ICSE-2016-MenendezN #optimisation

Termination-checking for LLVM peephole optimizations (DM, SN), pp. 191–202.

ICSE-2016-SunLS #compilation #fault

Finding and analyzing compiler warning defects (CS, VL, ZS), pp. 203–213.

ICSE-2016-LinLZZ #identification #named #problem

iDice: problem identification for emerging issues (QL, JGL, HZ0, DZ), pp. 214–224.

ICSE-2016-HasanKHSAH #energy #java

Energy profiles of Java collections classes (SH, ZK, MH, MS, BA, AH), pp. 225–236.

ICSE-2016-ManotasBZSJSPC #empirical #re-engineering

An empirical study of practitioners' perspectives on green software engineering (IM, CB, RZ, DCS, CJ, CS, LLP, JC), pp. 237–248.

ICSE-2016-LiLGH #automation #energy #mobile #optimisation

Automated energy optimization of HTTP requests for mobile applications (DL, YL, JG, WGJH), pp. 249–260.

ICSE-2016-PonzanelliBMPOH #development #exclamation #video

Too long; didn't watch!: extracting relevant fragments from software development video tutorials (LP, GB, AM, MDP, RO, MAH, BR, SH, ML), pp. 261–272.

ICSE-2016-SteinmacherCTG #open source

Overcoming open source project entry barriers with a portal for newcomers (IS, TUC, CT, MAG), pp. 273–284.

ICSE-2016-GousiosSB #challenge #development #perspective

Work practices and challenges in pull-based development: the contributor's perspective (GG, MADS, AB), pp. 285–296.

ICSE-2016-WangLT #automation #fault #learning #predict #semantics

Automatically learning semantic features for defect prediction (SW0, TL, LT0), pp. 297–308.

ICSE-2016-ZhangZZH #classification #fault #predict #using

Cross-project defect prediction using a connectivity-based unsupervised classifier (FZ0, QZ, YZ0, AEH), pp. 309–320.

ICSE-2016-Tantithamthavorn #automation #classification #fault #modelling #optimisation #parametricity #predict

Automated parameter optimization of classification techniques for defect prediction models (CT, SM, AEH, KM), pp. 321–332.

ICSE-2016-LiangBZSYC #debugging #mining #named

AntMiner: mining more bugs by reducing noise interference (BL0, PB, YZ, WS, WY, YC0), pp. 333–344.

ICSE-2016-DesaiGHJKMRR #natural language #synthesis #using

Program synthesis using natural language (AD, SG, VH, NJ, AK, MM, SR, SR), pp. 345–356.

ICSE-2016-RaghothamanWH #code search #named #synthesis #what

SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis (MR, YW, YH), pp. 357–367.

ICSE-2016-OmariSY #synthesis

Cross-supervised synthesis of web-crawlers (AO, SS, EY), pp. 368–379.

ICSE-2016-ZhaiHMZTZQ #api #automation #documentation #generative #java

Automatic model generation from documentation for Java API functions (JZ, JH0, SM, XZ0, LT0, JZ, FQ), pp. 380–391.

ICSE-2016-TreudeR #api #documentation #stack overflow

Augmenting API documentation with insights from stack overflow (CT, MPR), pp. 392–403.

ICSE-2016-YeSMBL #documentation #information retrieval #re-engineering #word

From word embeddings to document similarities for improved information retrieval in software engineering (XY0, HS, XM, RCB, CL0), pp. 404–415.

ICSE-2016-NguyenPVN #api #approach #bytecode #learning #statistics

Learning API usages from bytecode: a statistical approach (TTN, HVP, PMV, TTN), pp. 416–427.

ICSE-2016-RayHGTBD

On the “naturalness” of buggy code (BR, VH, SG, ZT, AB, PTD), pp. 428–439.

ICSE-2016-OizumiGSCZ #design #problem

Code anomalies flock together: exploring code anomaly agglomerations for locating design problems (WNO, AFG, LdSS, BBPC, YZ), pp. 440–451.

ICSE-2016-MullerF #metric #online #predict #quality #using

Using (bio)metrics to predict code quality online (SCM, TF0), pp. 452–463.

ICSE-2016-CheungCLX #automation #clustering #detection #named #smell #spreadsheet #using

CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features (SCC, WC, YL, CX0), pp. 464–475.

ICSE-2016-RobillardM

Disseminating architectural knowledge on open-source projects: a case study of the book “architecture of open-source applications” (MPR, NM), pp. 476–487.

ICSE-2016-XiaoCKMF #architecture #identification

Identifying and quantifying architectural debt (LX0, YC, RK, RM, QF), pp. 488–498.

ICSE-2016-MoCKXF #architecture #complexity #maintenance #metric

Decoupling level: a new metric for architectural maintenance complexity (RM, YC, RK, LX0, QF), pp. 499–510.

ICSE-2016-GopinathAAJG #on the #reduction

On the limits of mutation reduction strategies (RG, MAA, IA0, CJ, AG), pp. 511–522.

ICSE-2016-HenardPHJT #black box

Comparing white-box and black-box test prioritization (CH, MP, MH, YJ0, YLT), pp. 523–534.

ICSE-2016-LuLCZHZ0 #evolution #how #question #testing

How does regression test prioritization perform in real-world software evolution? (YL, YL, SC0, LZ, DH, YZ, LZ0), pp. 535–546.

ICSE-2016-PanichellaPBZG #debugging #empirical #performance #summary #testing

The impact of test case summaries on bug fixing performance: an empirical investigation (SP, AP, MB, AZ, HCG), pp. 547–558.

ICSE-2016-MirzaeiGBSM #android #combinator #testing #user interface

Reducing combinatorics in GUI testing of android applications (NM, JG, HB, AS, SM), pp. 559–570.

ICSE-2016-QinTNL #execution #mobile #named

MobiPlay: a remote execution based record-and-replay tool for mobile applications (ZQ, YT, EN, QL), pp. 571–582.

ICSE-2016-YuQC #automation #framework #named #testing

VDTest: an automated framework to support testing for virtual devices (TY, XQ, MBC), pp. 583–594.

ICSE-2016-MatinnejadNBB #automation #generative #modelling #testing

Automated test suite generation for time-continuous simulink models (RM, SN, LCB, TB), pp. 595–606.

ICSE-2016-JingQWX #estimation #rank

Missing data imputation based on low-rank recovery and semi-supervised regression for software effort estimation (XYJ, FQ, FW0, BX), pp. 607–618.

ICSE-2016-SarroPH #estimation #multi

Multi-objective software effort estimation (FS, AP, MH), pp. 619–630.

ICSE-2016-WangAYLL #algorithm #quality #re-engineering #search-based

A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering (SW0, SA0, TY0, YL, ML), pp. 631–642.

ICSE-2016-MedeirosKRGA #algorithm #comparison #configuration management

A comparison of 10 sampling algorithms for configurable systems (FM, CK, MR, RG, SA), pp. 643–654.

ICSE-2016-DevroeyPPLSH #analysis #modelling #mutation testing

Featured model-based mutation analysis (XD, GP, MP, AL, PYS, PH), pp. 655–666.

ICSE-2016-SchroterKTBS #analysis #composition #configuration management #interface

Feature-model interfaces: the highway to compositional analyses of highly-configurable systems (RS, SK, TT, FB, GS), pp. 667–678.

ICSE-2016-MeloBW #debugging #how #question #variability

How does the degree of variability affect bug finding? (JM, CB, AW), pp. 679–690.

ICSE-2016-MechtaevYR #analysis #multi #named #scalability #synthesis

Angelix: scalable multiline program patch synthesis via symbolic analysis (SM, JY, AR), pp. 691–701.

ICSE-2016-LongR #analysis #generative #validation

An analysis of the search spaces for generate and validate patch generation systems (FL, MCR), pp. 702–713.

ICSE-2016-ChenHLLTWW #synthesis #verification

PAC learning-based verification and model synthesis (YFC, CH, OL, TJL, MHT, BYW, FW), pp. 714–724.

ICSE-2016-ArztB #android #automation #data flow #framework #named #precise #summary

StubDroid: automatic inference of precise data-flow summaries for the android framework (SA, EB), pp. 725–735.

ICSE-2016-CoblenzSAMWS

Exploring language support for immutability (MJC, JS, JA, BAM, SW, FS), pp. 736–747.

ICSE-2016-SpinellisLK #c #case study #evolution #operating system #programming

The evolution of C programming practices: a study of the Unix operating system 1973-2015 (DS, PL, MK), pp. 748–759.

ICSE-2016-UesbeckSHPD #c++ #empirical #experience

An empirical study on the impact of C++ lambdas and programmer experience (PMU, AS, SH, JP, PD), pp. 760–771.

ICSE-2016-SultanaMOH #comprehension #fortran #multi

Understanding and fixing multiple language interoperability issues: the C/Fortran case (NS, JM, JO, MH), pp. 772–783.

ICSE-2016-GulzarIYTCMK #big data #debugging #interactive #named

BigDebug: debugging primitives for interactive big data processing in spark (MAG, MI, SY, SDT, TC, TDM, MK), pp. 784–795.

ICSE-2016-SalvaneschiM #debugging #programming

Debugging for reactive programming (GS, MM), pp. 796–807.

ICSE-2016-XieLSCXX #analysis #automation #debugging

Revisit of automatic debugging via human focus-tracking analysis (XX, ZL, SS, ZC0, JX, BX), pp. 808–819.

ICSE-2016-CuiPCFK #execution #memory dump #memory management #named

RETracer: triaging crashes by reverse execution from partial memory dumps (WC, MP, SKC, YF, VPK), pp. 820–831.

ICSE-2016-EckhardtVF

Are “non-functional” requirements really non-functional?: an investigation of non-functional requirements in practice (JE, AV, DMF), pp. 832–842.

ICSE-2016-AnishBSCDWG #architecture #requirements

Probing for requirements knowledge to stimulate architectural thinking (PRA, BB, AS, JCH, MD, RJW, SG), pp. 843–854.

ICSE-2016-AlrajehLKRU #modelling #requirements

Risk-driven revision of requirements models (DA, AvL, JK, AR, SU), pp. 855–865.

ICSE-2016-RashidNRECB

Discovering “unknown known” security requirements (AR, SAAN, RR, MJE, RC, MAB), pp. 866–876.

ICSE-2016-BusanyM #analysis #behaviour #statistics

Behavioral log analysis with statistical guarantees (NB, SM), pp. 877–887.

ICSE-2016-BersaniBGKP #performance #pipes and filters #scalability #using

Efficient large-scale trace checking using mapreduce (MMB, DB, CG, SK, PSP), pp. 888–898.

ICSE-2016-MadsenTASM #javascript

Feedback-directed instrumentation for deployed JavaScript applications (MM, FT, EA, KS, AM), pp. 899–910.

ICSE-2016-LiuCB #detection #dynamic analysis #fault #named #performance #precise

DoubleTake: fast and precise error detection via evidence-based dynamic analysis (TL, CC, EDB), pp. 911–922.

ICSE-2016-RubinovRMR #android #automation #clustering #execution

Automated partitioning of android applications for trusted execution environments (KR, LR, TM, AR), pp. 923–934.

ICSE-2016-NadiKMB #api #developer #encryption #java #question #why

Jumping through hoops: why do Java developers struggle with cryptography APIs? (SN, SK, MM, EB), pp. 935–946.

ICSE-2016-NearJ #data access #debugging #security #using #web

Finding security bugs in web applications using a catalog of access control patterns (JPN, DJ0), pp. 947–958.

ICSE-2016-YouLSZWXZ #android

Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices (WY, BL0, WS, SZ, PW, SX, XZ0), pp. 959–970.

ICSE-2016-SantosSMM #case study #formal method #re-engineering

Building a theory of job rotation in software engineering from an instrumental case study (RESS, FQBdS, CVCdM, CVFM), pp. 971–981.

ICSE-2016-RubinR #case study #challenge #performance

The challenges of staying together while moving fast: an exploratory study (JR, MR), pp. 982–993.

ICSE-2016-VasilescuBXCDDF #git #multi

The sky is not the limit: multitasking across GitHub projects (BV, KB, QX, CC, DED, PTD, VF), pp. 994–1005.

ICSE-2016-RigbyZDM #case study

Quantifying and mitigating turnover-induced knowledge loss: case studies of chrome and a project at avaya (PCR, YCZ, SMD, AM), pp. 1006–1016.

ICSE-2016-PrecheltSZ #agile #experience #quality

Quality experience: a grounded theory of successful agile projects without dedicated testers (LP, HS, FZ), pp. 1017–1027.

ICSE-2016-KononenkoBG #code review #developer #how #overview #quality

Code review quality: how developers see it (OK, OB, MWG), pp. 1028–1038.

ICSE-2016-ThongtanunamMHI #code review #overview #perspective #quality

Revisiting code ownership and its relationship with software quality in the scope of modern code review (PT, SM, AEH, HI), pp. 1039–1050.

ICSE-2016-SunZZZ #equivalence #integer #multi #named

IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions (HS, XZ0, YZ, QZ), pp. 1051–1062.

ICSE-2016-LiuLSPL #parametricity

Nomen est omen: exploring and exploiting similarities between argument and parameter names (HL0, QL, CAS, MP, YL), pp. 1063–1073.

ICSE-2016-Rubio-Gonzalez0 #analysis #float #precise #using

Floating-point precision tuning using blame analysis (CRG, CN0, BM, KS, JD, WK, CI, WL, DHB, DH), pp. 1074–1085.

ICSE-2016-FavaSOSW #classification #crowdsourcing #game studies

Crowdsourcing program preconditions via a classification game (DF, DS, JCO, MS, EJWJ), pp. 1086–1096.

ICSE-2016-Huang #analysis #concurrent #scalability #thread

Scalable thread sharing analysis (JH0), pp. 1097–1108.

ICSE-2016-CaiC

Fixing deadlocks via lock pre-acquisitions (YC0, LC), pp. 1109–1120.

ICSE-2016-TerragniC #code generation #concurrent

Coverage-driven test code generation for concurrent classes (VT, SCC), pp. 1121–1132.

ICSE-2016-ErnstLMST

Locking discipline inference and checking (MDE, AL, DM, FS, JT), pp. 1133–1144.

ICSE-2016-KimBDA #refactoring

Improving refactoring speed by 10X (JK, DSB, DD, MA), pp. 1145–1156.

ICSE-2016-SajnaniSSRL #clone detection #detection #named #scalability

SourcererCC: scaling code clone detection to big-code (HS, VS, JS, CKR, CVL), pp. 1157–1168.

ICSE-2016-Alimadadi0P #comprehension #interactive #javascript

Understanding asynchronous interactions in full-stack JavaScript (SA, AM0, KP), pp. 1169–1180.

ICSE-2016-PalikarevaKC #testing

Shadow of a doubt: testing for divergences between software versions (HP, TK, CC), pp. 1181–1192.