Joanne M. Atlee, Tevfik Bultan, Jon Whittle
Proceedings of the 41st International Conference on Software Engineering
ICSE, 2019.
Contents (109 items)
- ICSE-2019-Liu0BKKKKT #consistency #learning
- Learning to spot and refactor inconsistent method names (KL0, DK0, TFB, TyK, KK, AK, SK, YLT), pp. 1–12.
- ICSE-2019-SahaSP #evolution #multi #program repair
- Harnessing evolution for multi-hunk program repair (SS, RKS, MRP), pp. 13–24.
- ICSE-2019-TufanoPWBP #learning #on the
- On learning meaningful code changes via neural machine translation (MT, JP, CW, GB, DP), pp. 25–36.
- ICSE-2019-RahmanPR #revisited
- Natural software revisited (MR, DP, PCR), pp. 37–48.
- ICSE-2019-SainiFLY0SBL #automation #clone detection #detection #precise #towards
- Towards automating precision studies of clone detectors (VS, FF, YL, DY, PM0, HS, PB, CVL), pp. 49–59.
- ICSE-2019-Du0LGZLJ #assessment #identification #metric #named
- Leopard: identifying vulnerable code for vulnerability assessment through program metrics (XD, BC0, YL, JG, YZ, YL0, YJ0), pp. 60–71.
- ICSE-2019-FanWS0ZZ #detection #memory management #named #scalability
- Smoke: scalable path-sensitive memory leak detection for millions of lines of code (GF, RW, QS, XX0, JZ, CZ), pp. 72–82.
- ICSE-2019-KristensenM #analysis #javascript #library
- Reasonably-most-general clients for JavaScript library analysis (EKK, AM), pp. 83–93.
- ICSE-2019-HeoOY #abstraction #online #program analysis #resource management
- Resource-aware program analysis via online abstraction coarsening (KH, HO, HY), pp. 94–104.
- ICSE-2019-VassalloPGP #anti #automation #integration
- Automated reporting of anti-patterns and decay in continuous integration (CV, SP, HCG, MDP), pp. 105–115.
- ICSE-2019-HeCHWPY #fault #identification #locality
- A system identification based Oracle for control-CPS software fault localization (ZH, YC, EH, QW, YP0, HY), pp. 116–127.
- ICSE-2019-ZhaoYSLZZH #android #automation #debugging #named
- ReCDroid: automatically reproducing Android application crashes from bug reports (YZ, TY, TS, YL0, WZ, JZ, WGJH), pp. 128–139.
- ICSE-2019-AmarR #debugging #fault #locality #mining #predict
- Mining historical test logs to predict bugs and localize faults in the test logs (AA, PCR), pp. 140–151.
- ICSE-2019-LiC0S #detection #named #smell
- Dlfinder: characterizing and detecting duplicate logging code smells (ZL, TH(C, JY0, WS), pp. 152–163.
- ICSE-2019-RahmanPW #framework #security #smell
- The seven sins: security smells in infrastructure as code scripts (AR, CP, LW), pp. 164–175.
- ICSE-2019-NilizadehNP #analysis #difference #fuzzing #named
- DifFuzz: differential fuzzing for side-channel analysis (SN, YN, CSP), pp. 176–187.
- ICSE-2019-MotwaniB #automation #generative #natural language #precise #specification
- Automatically generating precise Oracles from structured natural language specifications (MM, YB), pp. 188–199.
- ICSE-2019-SedanoRP
- The product backlog (TS, PR, CP), pp. 200–211.
- ICSE-2019-PanCP0L #modelling #predict #verification
- Easy modelling and verification of unpredictable and preemptive interrupt-driven systems (MP, SC, YP0, TZ0, XL), pp. 212–222.
- ICSE-2019-BaeLR #android #comprehension #reasoning #towards
- Towards understanding and reasoning about Android interoperations (SB, SL, SR), pp. 223–233.
- ICSE-2019-RutledgePKOPZ #execution #predict #symbolic computation
- Zero-overhead path prediction with progressive symbolic execution (RR, SP, HAK, AO, MP, AGZ), pp. 234–245.
- ICSE-2019-KiPDKZ #android #named #testing #user interface
- Mimic: UI compatibility testing system for Android apps (TK, CMP, KD, SYK, LZ), pp. 246–256.
- ICSE-2019-XiaoWCWG #android #automation #classification #identification #named #user interface
- IconIntent: automatic identification of sensitive UI widgets based on icon classification for Android apps (XX, XW, ZC, HW, PG), pp. 257–268.
- ICSE-2019-GuSMC0YZLS #abstraction #android #refinement #testing #user interface
- Practical GUI testing of Android applications via model abstraction and refinement (TG, CS, XM, CC, CX0, YY0, QZ, JL0, ZS), pp. 269–280.
- ICSE-2019-ZhangHMBLU #ltl #named #source code #using
- AutoTap: synthesizing and repairing trigger-action programs using LTL properties (LZ, WH, JM, NB, SL, BU), pp. 281–291.
- ICSE-2019-Sivaraman0BK #code search #induction #logic programming
- Active inductive logic programming for code search (AS, TZ0, GVdB, MK), pp. 292–303.
- ICSE-2019-MalikPP #javascript #named #natural language
- NL2Type: inferring JavaScript function types from natural language information (RSM, JP, MP), pp. 304–315.
- ICSE-2019-ZhangYLK #adaptation #online
- Analyzing and supporting adaptation of online code examples (TZ, DY, CL, MK), pp. 316–327.
- ICSE-2019-HortonP #automation #dependence #named #python
- DockerizeMe: automatic inference of environment dependencies for python code snippets (EH, CP), pp. 328–338.
- ICSE-2019-DmeiriTWBLDVR #dataset #mining #named
- BugSwarm: mining and continuously growing a dataset of reproducible failures and fixes (DAT, ND, YW, AB, YCL, PTD, BV, CRG), pp. 339–349.
- ICSE-2019-ZhaoXC00 #named #programming #recognition #workflow
- ActionNet: vision-based workflow action recognition from programming screencasts (DZ, ZX, CC, XX0, GL0), pp. 350–361.
- ICSE-2019-Eyolfson0 #c++ #developer #empirical #how
- How C++ developers use immutability declarations: an empirical study (JE, PL0), pp. 362–372.
- ICSE-2019-Chattopadhyay0G #case study #developer #how #process
- Latent patterns in activities: a field study of how developers manage context (SC, NN0, YRG, AAL, RP, AS), pp. 373–383.
- ICSE-2019-AbidSDAM #behaviour #developer #java #matter
- Developer reading behavior while summarizing Java methods: size and context matters (NJA, BS, ND, HA, JIM), pp. 384–395.
- ICSE-2019-HuangLKSHLW #data type #using
- Distilling neural representations of data structure manipulation using fMRI and fNIRS (YH0, XL, RK, TS, XH, KL, WW), pp. 396–407.
- ICSE-2019-PhilipBKMN #named #online #scalability
- FastLane: test minimization for rapidly deployed large-scale online services (AAP, RB, RK0, CSM, NN), pp. 408–418.
- ICSE-2019-CrucianiMVB #reduction #scalability #testing
- Scalable approaches for test suite reduction (EC, BM, RV, AB), pp. 419–429.
- ICSE-2019-ZhuLSG #framework #testing #tool support
- A framework for checking regression test selection tools (CZ, OL, AS, MG), pp. 430–441.
- ICSE-2019-AbadGZF #classification
- Supporting analysts by dynamic extraction and classification of requirements-related knowledge (ZSHA, VG, DZ, BHF), pp. 442–453.
- ICSE-2019-AryaWGC #analysis #detection #open source
- Analysis and detection of information types of open source software issue discussions (DA, WW, JLCG, JC), pp. 454–464.
- ICSE-2019-Murphy-HillSSJW #developer #question #tool support
- Do developers discover new tools on the toilet? (ERMH, EKS, CS, CJ, CW, MJ, AK, AT, SG), pp. 465–475.
- ICSE-2019-KavalerTVF #assurance #git #javascript #matter #quality #tool support
- Tool choice matters: JavaScript quality assurance tools and usage outcomes in GitHub projects (DK, AT, BV, VF), pp. 476–487.
- ICSE-2019-YangZSS00X #debugging #difference #random #test coverage #testing #tool support
- Hunting for bugs in code coverage tools via randomized differential testing (YY, YZ, HS, ZS, ZZ0, LX0, BX), pp. 488–498.
- ICSE-2019-DelplanqueDPBE #testing
- Rotten green tests (JD, SD, GP, APB, AE), pp. 500–511.
- ICSE-2019-XuSYX #named #null #pointer #precise #program repair
- VFix: value-flow-guided precise program repair for null pointer dereferences (XX, YS, HY, JX), pp. 512–523.
- ICSE-2019-LeB00LP #assessment #correctness #on the #reliability
- On reliability of patch correctness assessment (XBDL, LB, DL0, XX0, SL, CSP), pp. 524–535.
- ICSE-2019-ChenFMWG #crowdsourcing #how #implementation #question #reliability #security
- How reliable is the crowdsourced knowledge of security implementation? (MC, FF, NM, XW, JG), pp. 536–547.
- ICSE-2019-LinZBPL #mining
- Pattern-based mining of opinions in Q&A websites (BL, FZ, GB, MDP, ML), pp. 548–559.
- ICSE-2019-GhorbaniGM #architecture #consistency #detection #java #nondeterminism
- Detection and repair of architectural inconsistencies in Java (NG, JG, SM), pp. 560–571.
- ICSE-2019-WangWWLTZYC #dependence #question #stack
- Could I have a stack trace to examine the dependency conflict issue? (YW, MW, RW, ZL, SHT, ZZ0, HY, SCC), pp. 572–583.
- ICSE-2019-CuiLCZFJGQ #dependence #fault #multi
- Investigating the impact of multiple dependency structures on software defects (DC, TL0, YC, QZ, QF, WJ, JG, YQ), pp. 584–595.
- ICSE-2019-ChenFCSLLX #android #automation #generative #named
- StoryDroid: automated generation of storyboard for Android apps (SC, LF, CC, TS, WL, YL0, LX), pp. 596–607.
- ICSE-2019-JoshiFM #algorithm #approximate #profiling #random #source code #statistics
- Statistical algorithmic profiling for randomized approximate programs (KJ, VF, SM), pp. 608–618.
- ICSE-2019-KhatchadourianT #automation #java #parallel #refactoring
- Safe automated refactoring for intelligent parallelization of Java 8 streams (RK, YT, MB, SA), pp. 619–630.
- ICSE-2019-ChangDGW0H #detection
- Detecting atomicity violations for event-driven Node.js applications (XC, WD, YG, JW, JW0, TH0), pp. 631–642.
- ICSE-2019-Yin0L0 #concurrent #parallel #refinement #thread #verification
- Parallel refinement for multi-threaded program verification (LY, WD0, WL, JW0), pp. 643–653.
- ICSE-2019-YatishJTT #fault #mining #question
- Mining software defects: should we consider affected releases? (SY, JJ, PT, CT), pp. 654–665.
- ICSE-2019-CabralMSM #evolution #fault #latency #predict #verification
- Class imbalance evolution and verification latency in just-in-time software defect prediction (GGC, LLM, ES, SM), pp. 666–676.
- ICSE-2019-LeeC #gender #overview
- FLOSS participants' perceptions about gender and inclusiveness: a survey (AL, JCC), pp. 677–687.
- ICSE-2019-QiuNBSV #open source #social
- Going farther together: the impact of social capital on sustained participation in open source (HSQ, AN, AB, AS, BV), pp. 688–699.
- ICSE-2019-ImtiazMCRBM #bias #gender #git
- Investigating the effects of gender bias on GitHub (NI, JM, JC, NR, GB, ERMH), pp. 700–711.
- ICSE-2019-YouLMPZ0 #fuzzing #named
- SLF: fuzzing without valid seed inputs (WY, XL, SM, DMP, XZ0, BL0), pp. 712–723.
- ICSE-2019-Wang0WL #fuzzing #named
- Superion: grammar-aware greybox fuzzing (JW0, BC0, LW, YL0), pp. 724–735.
- ICSE-2019-ChoiJHC #testing
- Grey-box concolic testing on binary code (JC, JJ, CH, SKC), pp. 736–747.
- ICSE-2019-AtlidakisGP #api #fuzzing #named #rest
- RESTler: stateful REST API fuzzing (VA, PG, MP), pp. 748–758.
- ICSE-2019-MolinaDPRAF #classification #data type #invariant
- Training binary classifiers as data structure invariants (FM, RD, PP, GR, NA, MFF), pp. 759–770.
- ICSE-2019-FanLLWNZL #analysis #android #graph #learning #using
- Graph embedding based familial analysis of Android malware using unsupervised learning (MF, XL, JL0, MW, CN, QZ, TL0), pp. 771–782.
- ICSE-2019-ZhangWZ0WL #abstract syntax tree #novel #representation #source code #syntax
- A novel neural source code representation based on abstract syntax tree (JZ, XW, HZ0, HS0, KW, XL), pp. 783–794.
- ICSE-2019-LeClairJM #generative #natural language #summary
- A neural model for generating natural language summaries of program subroutines (AL, SJ, CM), pp. 795–806.
- ICSE-2019-RamsauerLM #commit #process #reliability
- The list is the process: reliable pre-integration tracking of commits on mailing lists (RR, DL, WM), pp. 807–818.
- ICSE-2019-NguyenNDNTH #fine-grained #graph #mining #semantics
- Graph-based mining of in-the-wild, fine-grained, semantic code change patterns (HAN, TNN, DD, SN, HT, MH), pp. 819–830.
- ICSE-2019-LillackSHBW #integration
- Intention-based integration of software variants (ML, SS, WH, TB, AW), pp. 831–842.
- ICSE-2019-HeradioFME #analysis #modelling #statistics #variability
- Supporting the statistical analysis of variability models (RH, DFA, CMD, AE), pp. 843–853.
- ICSE-2019-LazregCCH0 #analysis #automation #embedded #multi #variability
- Multifaceted automated analyses for variability-intensive embedded systems (SL, MC, PC, PH, SM0), pp. 854–865.
- ICSE-2019-WenLWXCS #analysis #api #library #mutation testing
- Exposing library API misuses via mutation analysis (MW, YL, RW, XX, SCC, ZS), pp. 866–877.
- ICSE-2019-WeiLC #android #correlation #detection #learning #named
- Pivot: learning API-device correlations to facilitate Android compatibility issue detection (LW, YL, SCC), pp. 878–888.
- ICSE-2019-HuangGLLQC0 #api #java #named #safety
- SafeCheck: safety enhancement of Java unsafe API (SH, JG, SL, XL, YQ, KC, JH0), pp. 889–899.
- ICSE-2019-HaoFJL0 #crowdsourcing #named #summary
- CTRAS: crowdsourced test report aggregation and summarization (RH, YF0, JAJ, YL, ZC0), pp. 900–910.
- ICSE-2019-WangYKMW #named
- iSENSE: completion-aware crowdtesting management (JW0, YY, RK, TM, QW0), pp. 912–923.
- ICSE-2019-XiaWKL #how
- How practitioners perceive coding proficiency (XX, ZW, PSK, DL), pp. 924–935.
- ICSE-2019-SarkerVBF #online
- Socio-technical work-rate increase associates with changes in work patterns in online projects (FS, BV, KB, VF), pp. 936–947.
- ICSE-2019-BarcombSR0 #community #question #volunteer #why
- Why do episodic volunteers stay in FLOSS communities? (AB, KJS, DR, BF0), pp. 948–954.
- ICSE-2019-HellendoornPGB #case study #code completion
- When code completion fails: a case study on real-world completions (VJH, SP, HCG, AB), pp. 960–970.
- ICSE-2019-CitoLRG #feedback #ide #interactive #performance
- Interactive production performance feedback in the IDE (JC, PL, MR, HCG), pp. 971–981.
- ICSE-2019-SuWYC0
- Redundant loads: a software inefficiency indicator (PS, SW, HY, MC, XL0), pp. 982–993.
- ICSE-2019-YangYWLC #optimisation #performance #web
- View-centric performance optimization for database-backed web applications (JY, CY, CW, SL, AC), pp. 994–1004.
- ICSE-2019-WangKZ #named #online #runtime
- Adjust: runtime mitigation of resource abusing third-party online ads (WW, ILK, YZ), pp. 1005–1015.
- ICSE-2019-MaozRS #specification
- Symbolic repairs for GR(1) specifications (SM, JOR, RS), pp. 1016–1026.
- ICSE-2019-PhamLQT #debugging #detection #learning #library #locality #named #validation
- CRADLE: cross-backend validation to detect and localize bugs in deep learning libraries (HVP, TL, WQ, LT0), pp. 1027–1038.
- ICSE-2019-KimFY #learning #testing #using
- Guiding deep learning system testing using surprise adequacy (JK, RF, SY), pp. 1039–1049.
- ICSE-2019-NguyenRRODP #api #mining #named #recommendation
- FOCUS: a recommender system for mining API function calls and usage patterns (PTN, JDR, DDR, LO, TD, MDP), pp. 1050–1060.
- ICSE-2019-SpadiniPBHBB #code review #empirical #overview #testing
- Test-driven code review: an empirical study (DS, FP, TB, SH, MB, AB), pp. 1061–1072.
- ICSE-2019-AlamiCW #code review #community #open source #overview #question #why
- Why does code review work for open source software communities? (AA, MLC, AW), pp. 1073–1083.
- ICSE-2019-KalteneckerGSGA
- Distance-based sampling of software configuration spaces (CK, AG, NS, JG, SA), pp. 1084–1094.
- ICSE-2019-HaZ #configuration management #named #network #performance #predict
- DeepPerf: performance prediction for configurable software with deep sparse neural network (HH, HZ0), pp. 1095–1106.
- ICSE-2019-ChowdhuryHKSMK #empirical #energy #named
- GreenBundle: an empirical study on the energy impact of bundled processing (SAC, AH, RK, TS, KM, YK), pp. 1107–1118.
- ICSE-2019-JabbarvandLM #android #energy #search-based #testing
- Search-based energy testing of Android (RJ, JWL, SM), pp. 1119–1130.
- ICSE-2019-WangWSTCS0WZL #algebra #optimisation #probability #source code
- Global optimization of numerical programs via prioritized stochastic algebraic transformations (XW, HW, ZS, ET, XC, WS, ZC0, LW, XZ, XL), pp. 1131–1141.
- ICSE-2019-Ketkar0MDA #migration #scalability
- Type migration in ultra-large-scale codebases (AK, AM0, DM, DD, EA), pp. 1142–1153.
- ICSE-2019-AzimAN0 #android #slicing
- Dynamic slicing for Android (TA, AA, IN, RG0), pp. 1154–1164.
- ICSE-2019-TranTNNN
- Recovering variable names for minified code with usage contexts (HT, NMT, SN, HN, TNN), pp. 1165–1175.
- ICSE-2019-GrechBSS #contract #declarative #decompiler #named
- Gigahorse: thorough, declarative decompilation of smart contracts (NG, LB, BS, YS), pp. 1176–1186.
- ICSE-2019-MillerKSZZL #probability
- Probabilistic disassembly (KAM, YK, YS, ZZ0, XZ0, ZL), pp. 1187–1198.
- ICSE-2019-AghajaniNVLMBL #documentation
- Software documentation issues unveiled (EA, CN0, OLVM, MLV, LM, GB, ML), pp. 1199–1210.
- ICSE-2019-HataTKI #evolution #source code
- 9.6 million links in source code comments: purpose, evolution, and decay (HH, CT, RGK, TI), pp. 1211–1221.
- ICSE-2019-AgrawalKVRCL #reuse #safety
- Leveraging artifact trees to evolve and reuse safety cases (AA, SK, MV, MR, JCH, RRL), pp. 1222–1233.
- ICSE-2019-LickerR #detection
- Detecting incorrect build rules (NL, AR), pp. 1234–1244.
- ICSE-2019-WangD00Z #detection #mutation testing #network #testing
- Adversarial sample detection for deep neural network through model mutation testing (JW, GD, JS0, XW0, PZ), pp. 1245–1256.
- ICSE-2019-ChenSS #difference #implementation #testing #virtual machine
- Deep differential testing of JVM implementations (YC, TS, ZS), pp. 1257–1268.
