Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu
Proceedings of the 12th Joint Meeting of the 17th European Software Engineering Conference and the 26th Symposium on the Foundations of Software Engineering
ESEC/FSE, 2018.

@proceedings{ESEC-FSE-2018,
	editor        = "Gary T. Leavens and Alessandro Garcia and Corina S. Pasareanu",
	isbn          = "978-1-4503-5573-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 12th Joint Meeting of the 17th European Software Engineering Conference and the 26th Symposium on the Foundations of Software Engineering}",
	year          = 2018,
}

Contents (124 items)

ESEC-FSE-2018-Meijer #concept #framework #learning #programming language

Behind every great deep learning framework is an even greater programming languages concept (keynote) (EM0), p. 1.

ESEC-FSE-2018-GlonduJS

Ten years of hunting for similar code for fun and profit (keynote) (SG, LJ, ZS), p. 2.

ESEC-FSE-2018-LuLL0 #concurrent #debugging #in the cloud #named

CloudRaid: hunting concurrency bugs in the cloud via log-mining (JL, FL, LL0, XF0), pp. 3–14.

ESEC-FSE-2018-Chen00M0 #concurrent #parallel #source code #testing #thread

Testing multithreaded programs via thread speed control (DC, YJ0, CX0, XM, JL0), pp. 15–25.

ESEC-FSE-2018-KiniM0 #concurrent #detection

Data race detection on compressed traces (DK, UM, MV0), pp. 26–37.

ESEC-FSE-2018-AdamsenMAT #ajax #concurrent #detection #javascript #web

Practical AJAX race detection for JavaScript web applications (CQA, AM, SA, FT), pp. 38–48.

ESEC-FSE-2018-AmarBB0M #difference #finite #modelling #using

Using finite-state models for log differencing (HA, LB, NB, DL0, SM), pp. 49–59.

ESEC-FSE-2018-HeLLZLZ #analysis #identification #problem

Identifying impactful service system problems via log analysis (SH, QL, JGL, HZ0, MRL, DZ), pp. 60–70.

ESEC-FSE-2018-JamshidiVKS #configuration management #learning #modelling #performance

Learning to sample: exploiting similarities across environments to learn performance models for configurable systems (PJ, MV, CK, NS), pp. 71–82.

ESEC-FSE-2018-FedorovaMBRWMY #comprehension #performance

Performance comprehension at WiredTiger (AF, CM, IB, JR, AW, SM, LY), pp. 83–94.

ESEC-FSE-2018-LeeHO #c #fault #memory management #named #static analysis

MemFix: static analysis-based repair of memory deallocation errors for C (JL, SH, HO), pp. 95–106.

ESEC-FSE-2018-DashAB #named #using

RefiNym: using names to refine types (SKD, MA, ETB), pp. 107–117.

ESEC-FSE-2018-BasiosLWKB #data type

Darwinian data structure selection (MB, LL, FW, LK, ETB), pp. 118–128.

ESEC-FSE-2018-LiTMS #analysis #context-sensitive grammar #pointer #self

Scalability-first pointer analysis with self-tuning context-sensitivity (YL0, TT0, AM, YS), pp. 129–140.

ESEC-FSE-2018-ZhaoH #functional #learning #named #similarity

DeepSim: deep learning code functional similarity (GZ, JH0), pp. 141–151.

ESEC-FSE-2018-HellendoornBBA #learning #type inference

Deep learning type inference (VJH, CB, ETB, MA), pp. 152–162.

ESEC-FSE-2018-HenkelLLR #comprehension #embedded #source code

Code vectors: understanding programs through embedded abstracted symbolic traces (JH, SKL, BL, TWR), pp. 163–174.

ESEC-FSE-2018-MaLLZG #analysis #automation #debugging #difference #named #network

MODE: automated neural network model debugging via state differential analysis and input selection (SM, YL, WCL, XZ, AG), pp. 175–186.

ESEC-FSE-2018-Baltes0 #development #formal method #towards

Towards a theory of software development expertise (SB, SD0), pp. 187–200.

ESEC-FSE-2018-RamSCB #empirical #overview #what

What makes a code change easier to review: an empirical investigation on code change reviewability (AR, AAS, MC, AB), pp. 201–212.

ESEC-FSE-2018-WeiCFFD #complexity #fuzzing #named

Singularity: pattern fuzzing for worst case complexity (JW, JC, YF, KF, ID), pp. 213–223.

ESEC-FSE-2018-RoyPDH #debugging #fault #synthesis #tool support

Bug synthesis: challenging bug-finding tools with deep faults (SR, AP, BDG, YH), pp. 224–234.

ESEC-FSE-2018-Tzoref-BrillM #co-evolution #combinator #modelling #testing

Modify, enhance, select: co-evolution of combinatorial models and test plans (RTB, SM), pp. 235–245.

ESEC-FSE-2018-DavisCSL #ecosystem #empirical #regular expression

The impact of regular expression denial of service (ReDoS) in practice: an empirical study at the ecosystem scale (JCD, CAC, FS, DL), pp. 246–256.

ESEC-FSE-2018-DongWLGBLXK #android #automation #detection #named

FraudDroid: automated ad fraud detection for Android apps (FD, HW, LL0, YG0, TFB, TL, GX, JK), pp. 257–268.

ESEC-FSE-2018-HuZY #machine learning #named #reuse #robust #testing #user interface #using

AppFlow: using machine learning to synthesize robust, reusable UI tests (GH, LZ, JY), pp. 269–282.

ESEC-FSE-2018-NoeiCZ

Winning the app production rally (EN, DAdC, YZ0), pp. 283–294.

ESEC-FSE-2018-ZhangVWF #deployment #empirical #workflow

One size does not fit all: an empirical study of containerized continuous deployment workflows (YZ, BV, HW, VF), pp. 295–306.

ESEC-FSE-2018-TuZZZ #empirical #issue tracking #using

Be careful of when: an empirical study on time-related misuse of issue tracking data (FT, JZ, QZ, MZ), pp. 307–318.

ESEC-FSE-2018-WangWLWWYYZC #dependence #matter #question

Do the dependency conflicts in my project matter? (YW, MW, ZL, RW, RW, BY, HY, ZZ0, SCC), pp. 319–330.

ESEC-FSE-2018-PauckBW #analysis #android #question #tool support

Do Android taint analysis tools keep their promises? (FP, EB, HW), pp. 331–341.

ESEC-FSE-2018-ZhaoARJO #android #communication #static analysis

Neural-augmented static analysis of Android communication (JZ, AA, VR, SJ, DO), pp. 342–353.

ESEC-FSE-2018-SainiFLBL #detection #named

Oreo: detection of clones in the twilight zone (VS, FF, YL, PB, CVL), pp. 354–365.

ESEC-FSE-2018-YiH #concurrent #verification

Concurrency verification with maximal path causality (QY, JH0), pp. 366–376.

ESEC-FSE-2018-GuoWW #detection #execution #symbolic computation

Adversarial symbolic execution for detecting concurrency-related cache timing leaks (SG, MW, CW0), pp. 377–388.

ESEC-FSE-2018-MechtaevGCR #constraints #execution #higher-order #symbolic computation

Symbolic execution with existential second-order constraints (SM, AG, AC, AR), pp. 389–399.

ESEC-FSE-2018-AydinEBBGBY #constraints #string

Parameterized model counting for string and numeric constraints (AA, WE, LB, TB, MG, TB, FY), pp. 400–410.

ESEC-FSE-2018-BianLSH0 #debugging #detection #named

NAR-miner: discovering negative association rules from code for bug detection (PB, BL0, WS, JH0, YC0), pp. 411–422.

ESEC-FSE-2018-DeFreezTR #mining #specification

Path-based function embedding and its application to error-handling specification mining (DD, AVT, CRG), pp. 423–433.

ESEC-FSE-2018-HeH #bidirectional #model transformation

Putback-based bidirectional model transformations (XH, ZH), pp. 434–444.

ESEC-FSE-2018-HebigSBPW #atl #empirical #model transformation #qvt #transformation language

Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT (RH, CS, TB, JKP, AW), pp. 445–455.

ESEC-FSE-2018-ChenFKM

Applications of psychological science for actionable analytics (DC, WF0, RK, TM), pp. 456–467.

ESEC-FSE-2018-SongM0 #approach #automation #estimation #novel

A novel automated approach for software effort estimation based on data augmentation (LS, LLM, XY0), pp. 468–479.

ESEC-FSE-2018-LinHDZSXLLWYCZ #predict

Predicting Node failure in cloud service systems (QL, KH, YD, HZ0, KS, YX, JGL, CL, YW, RY, MC, DZ), pp. 480–490.

ESEC-FSE-2018-WoodRAM #debugging #detection #developer #speech

Detecting speech act types in developer question/answer conversations during bug repair (AW, PR, AA, CM), pp. 491–502.

ESEC-FSE-2018-StoccoYM #visual notation #web

Visual web test repair (AS0, RY, AM0), pp. 503–514.

ESEC-FSE-2018-SiLZAKN #datalog #source code #synthesis

Syntax-guided synthesis of Datalog programs (XS, WL, RZ, AA, PK, MN), pp. 515–527.

ESEC-FSE-2018-MaddoxLR #scalability

Large-scale study of substitutability in the presence of effects (JM, YL, HR), pp. 528–538.

ESEC-FSE-2018-GaoDQGW0HZW #debugging #distributed #empirical #scalability

An empirical study on crash recovery bugs in large-scale distributed systems (YG, WD, FQ, CG, DW, JW0, RH, LZ, YW), pp. 539–550.

ESEC-FSE-2018-NguyenTPNT0NN #api #representation #retrieval

Complementing global and local contexts in representing API descriptions to improve API retrieval tasks (TVN, NMT, HP, TDN, LHT, ATN0, HAN, TNN), pp. 551–562.

ESEC-FSE-2018-KateOZEX #consistency #detection #named #nondeterminism #physics #probability

Phys: probabilistic physical unit assignment and inconsistency detection (SK, JPO, XZ, SGE, ZX), pp. 563–573.

ESEC-FSE-2018-DuttaLHM #probability #programming #testing

Testing probabilistic programming systems (SD0, OL, ZH, SM), pp. 574–586.

ESEC-FSE-2018-LlerenaBBSR #behaviour #modelling #nondeterminism #probability #verification

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty (YRSL, MB, MB, GS, DSR), pp. 587–597.

ESEC-FSE-2018-HashimotoMI #automation #debugging #semantics #source code

Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes (MH, AM, TI), pp. 598–609.

ESEC-FSE-2018-LehmannP #difference #interactive #testing

Feedback-directed differential testing of interactive debuggers (DL0, MP), pp. 610–620.

ESEC-FSE-2018-0001R #debugging #locality #query

Improving IR-based bug localization with context-aware query reformulation (MMR0, CKR), pp. 621–632.

ESEC-FSE-2018-BarikFMP #compilation #developer #how #problem #question

How should compilers explain problems to developers? (TB, DF, ERMH, CP), pp. 633–643.

ESEC-FSE-2018-ValievVH #case study #ecosystem #open source #process

Ecosystem-level determinants of sustained activity in open-source projects: a case study of the PyPI ecosystem (MV, BV, JDH), pp. 644–655.

ESEC-FSE-2018-ChenLZZWH0 #analysis #optimisation

Optimizing test prioritization via test distribution analysis (JC0, YL, LZ, JZ, XW, DH, LZ0), pp. 656–667.

ESEC-FSE-2018-WangS #how #question #regular expression

How well are regular expressions tested in the wild? (PW, KTS), pp. 668–678.

ESEC-FSE-2018-KimC0 #fault #using

Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF (MK, SCC, SK0), pp. 679–690.

ESEC-FSE-2018-0006WR #android #detection #energy

Detection of energy inefficiencies in Android wear watch faces (HZ0, HW, AR), pp. 691–702.

ESEC-FSE-2018-CaninoLM #energy #mobile #optimisation #probability

Stochastic energy optimization for mobile GPS applications (AC, YDL, HM), pp. 703–713.

ESEC-FSE-2018-DoB #static analysis

Gamifying static analysis (LNQD, EB), pp. 714–718.

ESEC-FSE-2018-Salem

The case for experiment-oriented computing (PS), pp. 719–723.

ESEC-FSE-2018-HellendoornDA #on the #proving

On the naturalness of proofs (VJH, PTD, MAA), pp. 724–728.

ESEC-FSE-2018-McNamaraSM #development #question

Does ACM's code of ethics change ethical decision making in software development? (AM, JS0, ERMH), pp. 729–733.

ESEC-FSE-2018-XuDZG00 #case study #how #spreadsheet

How are spreadsheet templates used in practice: a case study on Enron (LX, WD, JZ, CG, JW0, TH0), pp. 734–738.

ESEC-FSE-2018-GuoJZCS #difference #fuzzing #learning #named #testing

DLFuzz: differential fuzzing testing of deep learning systems (JG, YJ0, YZ, QC, JS), pp. 739–743.

ESEC-FSE-2018-ImtiazB #data-driven #predict #requirements #towards

Towards data-driven vulnerability prediction for requirements (SMI, TB), pp. 744–748.

ESEC-FSE-2018-WongMK #automation #configuration management #execution #higher-order #mutation testing #program repair #testing

Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing (CPW, JM, CK), pp. 749–753.

ESEC-FSE-2018-BrunM

Software fairness (YB, AM), pp. 754–759.

ESEC-FSE-2018-ShermanD #as a service #re-engineering

Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS) (ES, RD0), pp. 760–764.

ESEC-FSE-2018-GadelhaMCN #debugging #detection #performance #towards

Towards counterexample-guided k-induction for fast bug detection (MYRG, FRM, LCC, DAN), pp. 765–769.

ESEC-FSE-2018-0002JCHZ #code review #developer #overview #perspective

Salient-class location: help developers understand code change in code review (YH0, NJ, XC, KH, ZZ), pp. 770–774.

ESEC-FSE-2018-RenYHFK #development #towards

Towards quantifying the development value of code contributions (JR, HY, QH, AF, WK), pp. 775–779.

ESEC-FSE-2018-MougoueiPHSW #research #roadmap

Operationalizing human values in software: a research roadmap (DM, HP, WH, RAS, JW), pp. 780–784.

ESEC-FSE-2018-MansoorSSBCF #case study #experience #modelling #product line #testing

Modeling and testing a family of surgical robots: an experience report (NM, JAS, BS, HB, MBC, SF), pp. 785–790.

ESEC-FSE-2018-FooCYAS #library #performance #static analysis

Efficient static checking of library updates (DF, HC, JY, MYA, AS), pp. 791–796.

ESEC-FSE-2018-ChenSFMXLX #mobile #question #what

Are mobile banking apps secure? what can be improved? (SC, TS, LF, GM, MX, YL0, LX), pp. 797–802.

ESEC-FSE-2018-GaoYFJSS #learning #named #semantics

VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation (JG, XY, YF, YJ0, HS, JS), pp. 803–808.

ESEC-FSE-2018-LiangJCWZS #fuzzing #industrial #named #optimisation #parallel

PAFL: extend fuzzing optimizations of single mode to industrial parallel mode (JL, YJ0, YC, MW, CZ, JS), pp. 809–814.

ESEC-FSE-2018-WongW #challenge #development

Software development challenges with air-gap isolation (SW, AW), pp. 815–820.

ESEC-FSE-2018-IvanovPRSYZ #design #developer #validation

Design and validation of precooked developer dashboards (VI0, VP, AR, GS, JY, VZ), pp. 821–826.

ESEC-FSE-2018-BrabermanGGUCPP #testing #validation

Testing and validating end user programmed calculated fields (VAB, DG, JG, SU, GdC, IP, SP), pp. 827–832.

ESEC-FSE-2018-ZhangHHZZ #automation #refactoring #spreadsheet

Automated refactoring of nested-IF formulae in spreadsheets (JZ0, SH, DH, LZ0, DZ), pp. 833–838.

ESEC-FSE-2018-WangGXXNDHX #automation #black box #named #testing

FACTS: automated black-box testing of FinTech systems (QW, LG, MX, LX, WN, LD, LH0, TX), pp. 839–844.

ESEC-FSE-2018-CelikLG #testing

Regression test selection for TizenRT (AÇ, YCL, MG), pp. 845–850.

ESEC-FSE-2018-DebroyMB #agile #case study #delivery #integration #pipes and filters

Building lean continuous integration and delivery pipelines by applying DevOps principles: a case study at Varidesk (VD, SM, LB), pp. 851–856.

ESEC-FSE-2018-RahmanR #testing

The impact of failing, flaky, and high failure tests on the number of crash reports associated with Firefox builds (MTR, PCR), pp. 857–862.

ESEC-FSE-2018-GulzarWK #automation #big data #data analysis #data-driven #debugging #named #scalability

BigSift: automated debugging of big data analytics in data-intensive scalable computing (MAG, SW, MK), pp. 863–866.

ESEC-FSE-2018-ChenLCXL #configuration management #framework #fuzzing #named

FOT: a versatile, configurable, extensible fuzzing framework (HC, YL, BC0, YX, YL0), pp. 867–870.

ESEC-FSE-2018-AngellJBM #automation #named #testing

Themis: automatically testing software for discrimination (RA, BJ, YB, AM), pp. 871–875.

ESEC-FSE-2018-StoccoYM18a #named #using #web

Vista: web test repair using computer vision (AS0, RY, AM0), pp. 876–879.

ESEC-FSE-2018-Reinhardt0MK #api #git #stack overflow

Augmenting stack overflow with API usage patterns mined from GitHub (AR, TZ0, MM, MK), pp. 880–883.

ESEC-FSE-2018-YangYSLC #automation #detection #ide #named #web

PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE (JY, CY, PS, SL, AC), pp. 884–887.

ESEC-FSE-2018-HuaZWK #approach #automation #generative #lazy evaluation #named #program repair #sketching #using

SketchFix: a tool for automated program repair approach using lazy candidate generation (JH, MZ, KW, SK), pp. 888–891.

ESEC-FSE-2018-QuerelR #debugging #modelling #named #static analysis #statistics

WarningsGuru: integrating statistical bug models with static analysis to provide timely and specific bug warnings (LPQ, PCR), pp. 892–895.

ESEC-FSE-2018-LeB0 #mining #named #network #specification #using

DSM: a specification mining tool using recurrent neural network based language model (TDBL, LB, DL0), pp. 896–899.

ESEC-FSE-2018-LiuYLJZS #clone detection #detection #named #semantics #sketching #transaction

EClone: detect semantic clones in Ethereum via symbolic transaction sketch (HL, ZY, CL, YJ0, WZ, JS), pp. 900–903.

ESEC-FSE-2018-GaoZ0LLK #named

INFAR: insight extraction from app reviews (CG, JZ, DL0, CYL, MRL, IK), pp. 904–907.

ESEC-FSE-2018-SpadiniAB #framework #mining #named #python #repository

PyDriller: Python framework for mining software repositories (DS, MFA, AB), pp. 908–911.

ESEC-FSE-2018-0001ZSDR #bytecode #verification #virtual machine

A formal verification tool for Ethereum VM bytecode (DP0, YZ, MS, PD, GR), pp. 912–915.

ESEC-FSE-2018-WangSMK #alloy #framework #named #sketching

ASketch: a sketching framework for Alloy (KW, AS, DM, SK), pp. 916–919.

ESEC-FSE-2018-ErataGKT #automation #first-order #logic #named #reasoning #relational

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning (FE, AG, IK, BT), pp. 920–923.

ESEC-FSE-2018-BaoXX0L #interactive #named #programming

VT-revolution: interactive programming tutorials made possible (LB, ZX, XX0, DL0, SL), pp. 924–927.

ESEC-FSE-2018-Spadini #testing #tool support

Practices and tools for better software testing (DS), pp. 928–931.

ESEC-FSE-2018-Fazzini #automation #maintenance #mobile #testing

Automated support for mobile application testing and maintenance (MF), pp. 932–935.

ESEC-FSE-2018-Fakhoury #comprehension #metric #towards

Moving towards objective measures of program comprehension (SF), pp. 936–939.

ESEC-FSE-2018-Hosseini #android #natural language #policy #privacy #semantics

Semantic inference from natural language privacy policies and Android code (MBH), pp. 940–943.

ESEC-FSE-2018-Zhou #debugging #graph

Intelligent bug fixing with software bug knowledge graph (CZ), pp. 944–947.

ESEC-FSE-2018-Afzal #assurance #automation #quality

Quality assurance automation in autonomous systems (AA), pp. 948–951.

ESEC-FSE-2018-Brindescu #developer #how #process #tool support

How do developers resolve merge conflicts? an investigation into the processes, tools, and improvements (CB), pp. 952–955.

ESEC-FSE-2018-Lima #automation #distributed #integration #testing

Automated scenario-based integration testing of distributed systems (BL), pp. 956–958.

ESEC-FSE-2018-Sun #towards

Towards learning-augmented languages (XS), pp. 959–961.

ESEC-FSE-2018-Gusmanov #modelling #network #on the #reliability

On the adoption of neural networks in modeling software reliability (KG), pp. 962–964.

ESEC-FSE-2018-Ketkar #migration #scalability

Type migration in large-scale code bases (AK), pp. 965–967.

ESEC-FSE-2018-Nocera #adaptation #agile #development #distributed

Reshaping distributed agile and adaptive development environment (FN), pp. 968–970.

ESEC-FSE-2018-Erofeeva #how

How Dance(Sport) can help to produce better software (IE), pp. 971–973.

ESEC-FSE-2018-Nguyen

Feature-interaction aware configuration prioritization (SN), pp. 974–976.

ESEC-FSE-2018-Anand #distributed #hybrid #model checking #named

Dara: hybrid model checking of distributed systems (VA), pp. 977–979.

ESEC-FSE-2018-Tomassi #debugging #effectiveness

Bugs in the wild: examining the effectiveness of static analyzers at finding real-world bugs (DAT), pp. 980–982.

ESEC-FSE-2018-DeFreez #mining #specification

Mining error-handling specifications for systems software (DD), pp. 983–985.

ESEC-FSE-2018-Robson #community #open source

Diversity and decorum in open source communities (NR), pp. 986–987.