Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman
Proceedings of the 40th International Conference on Software Engineering
ICSE, 2018.

@proceedings{ICSE-2018,
	doi           = "10.1145/3180155",
	editor        = "Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman",
	ee            = "https://ieeexplore.ieee.org/xpl/conhome/8452039/proceeding",
	isbn          = "978-1-4503-5638-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 40th International Conference on Software Engineering}",
	year          = 2018,
}

Contents (153 items)

ICSE-2018-WenCWHC #automation #generative #program repair

Context-aware patch generation for better automated program repair (MW, JC0, RW, DH, SCC), pp. 1–11.

ICSE-2018-HuaZWK #generative #on-demand #program repair #towards

Towards practical program repair with on-demand candidate generation (JH, MZ, KW, SK), pp. 12–23.

ICSE-2018-YiTMBR #automation #correlation #metric #program repair #testing

A correlation study between automated program repair and test-suite metrics (JY, SHT, SM, MB, AR), p. 24.

ICSE-2018-MotwaniSJB #automation #debugging #program repair #question

Do automated program repair techniques repair hard and important bugs? (MM, SS, RJ, YB), p. 25.

ICSE-2018-WangBWWCWW #empirical #mobile #obfuscation #scalability

Software protection on the go: a large-scale empirical study on mobile app obfuscation (PW0, QB, LW, SW0, ZC, TW, DW), pp. 26–36.

ICSE-2018-WangQHSB0 #android #named #policy #privacy

GUILeak: tracing privacy policy claims on user input data for Android applications (XW, XQ, MBH, RS, TDB, JN0), pp. 37–47.

ICSE-2018-GaoZLK #analysis #identification #online #overview

Online app review analysis for identifying emerging issues (CG, JZ, MRL, IK), pp. 48–58.

ICSE-2018-MoralesSKCA #approach #energy #mobile #named #refactoring

EARMO: an energy-aware refactoring approach for mobile apps (RM, RS, FK, FC, GA), p. 59.

ICSE-2018-BhatiaKS #programming

Neuro-symbolic program corrector for introductory programming assignments (SB, PK, RS), pp. 60–70.

ICSE-2018-RenJXY #automation #locality

Automated localization for unreproducible builds (ZR, HJ, JX, ZY), pp. 71–81.

ICSE-2018-LiZdO #debugging

Enlightened debugging (XL, SZ, Md, AO), pp. 82–92.

ICSE-2018-ScavuzzoNA #case study #challenge #data-driven #experience #migration

Experiences and challenges in building a data intensive system for data migration (MS, EDN, DA), p. 93.

ICSE-2018-LinZBPLO #analysis #how #question #re-engineering #sentiment

Sentiment analysis for software engineering: how far can we go? (BL, FZ, GB, MDP, ML, RO), pp. 94–104.

ICSE-2018-ZhouSLXWK #identification

Identifying features in forks (SZ, SS, OL, YX, AW, CK), pp. 105–116.

ICSE-2018-RehmanMNUT #architecture #case study #industrial

Roles and impacts of hands-on software architects in five industrial case studies (IR, MM, MN, AAU, MT), pp. 117–127.

ICSE-2018-CalefatoLMN #detection #development #sentiment

Sentiment polarity detection for software development (FC, FL, FM, NN), p. 128.

ICSE-2018-MechtaevNNGR #implementation #program repair #semantics #using

Semantic program repair using a reference implementation (SM, MDN, YN, LG, AR), pp. 129–139.

ICSE-2018-MahajanAMH #automation #mobile #problem #web

Automated repair of mobile friendly problems in web pages (SM, NA, PM, WGJH), pp. 140–150.

ICSE-2018-TonderG #automation #program repair

Static automated program repair for heap properties (RvT, CLG), pp. 151–162.

ICSE-2018-LeTLG #automation #program repair #semantics

Overfitting in semantics-based automated program repair (XBDL, FT, DL0, CLG), p. 163.

ICSE-2018-HassanTBH #developer #game studies

Studying the dialogue between users and developers of free apps in the google play store (SH, CT, CPB, AEH), p. 164.

ICSE-2018-MoranLBJP #automation #design #mobile #user interface

Automated reporting of GUI design violations for mobile apps (KM, BL, CBC, DJ, DP), pp. 165–175.

ICSE-2018-ZhaoLLM #latency #mobile #program analysis

Leveraging program analysis to reduce user-perceived latency in mobile applications (YZ, MSL, YL, NM), pp. 176–186.

ICSE-2018-TanDGR #android

Repairing crashes in Android apps (SHT, ZD, XG, AR), pp. 187–198.

ICSE-2018-Zhang #hybrid #testing

Hybrid regression test selection (LZ), pp. 199–209.

ICSE-2018-VahabzadehS0 #fine-grained

Fine-grained test minimization (AV, AS0, AM0), pp. 210–221.

ICSE-2018-MirandaCVB #performance #scalability #similarity #testing

FAST approaches to scalable similarity-based test case prioritization (BM, EC, RV, AB), pp. 222–232.

ICSE-2018-WangZCKBG #refactoring #testing #towards

Towards refactoring-aware regression test selection (KW, CZ, AÇ, JK, DSB, MG), pp. 233–244.

ICSE-2018-StevensonW #inheritance #open source

Inheritance usage patterns in open-source systems (JS, MIW), pp. 245–255.

ICSE-2018-Steinmacher0WG #case study #open source

Almost there: a study on quasi-contributors in open source software projects (IS, GP0, ISW, MAG), pp. 256–266.

ICSE-2018-BagherzadehKBHD #linux

Analyzing a decade of Linux system calls (MB, NK, CPB, AEH, JD, JRC), p. 267.

ICSE-2018-VendomeGPBVP #debugging #matter #why

To distribute or not to distribute?: why licensing bugs matter (CV, DMG, MDP, GB, MLV, DP), pp. 268–279.

ICSE-2018-MarianiPZ #generative #named #semantics #testing #user interface

Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles (LM, MP, DZ), pp. 280–290.

ICSE-2018-Wang0CZWL #testing #towards

Towards optimal concolic testing (XW0, JS0, ZC, PZ, JW, YL0), pp. 291–302.

ICSE-2018-TianPJR #automation #named #testing

DeepTest: automated testing of deep-neural-network-driven autonomous cars (YT, KP, SJ, BR), pp. 303–314.

ICSE-2018-KimCK #c #precise #source code #testing #using

Precise concolic unit testing of C programs using extended units and symbolic alarm filtering (YK, YC, MK), pp. 315–326.

ICSE-2018-YanSCX #approach #detection #reduction

Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities (HY, YS, SC0, JX), pp. 327–337.

ICSE-2018-LuCJM

Program splicing (YL, SC, CJ, DM), pp. 338–349.

ICSE-2018-TrabishMRC #execution #symbolic computation

Chopped symbolic execution (DT, AM, NR, CC), pp. 350–360.

ICSE-2018-SunLZGS #named #reduction

Perses: syntax-guided program reduction (CS, YL, QZ, TG, ZS), pp. 361–371.

ICSE-2018-MengNYZA #challenge #java

Secure coding practices in Java: challenges and vulnerabilities (NM, SN, D(Y, WZ, GAA), pp. 372–383.

ICSE-2018-YangPX #analysis #mobile #named

EnMobile: entity-based characterization and analysis of mobile malware (WY, MRP, TX), pp. 384–394.

ICSE-2018-LabunetsMPMO #assessment #comparison #comprehension #empirical #risk management #security #visual notation

Model comprehension for security risk assessment: an empirical comparison of tabular vs. graphical representations (KL, FM, FP, SM, FMdO), p. 395.

ICSE-2018-HadarHATBSB #design #developer #privacy

Privacy by designers: software developers' privacy mindset (IH, TH, OA, ET, MB, SS, AB), p. 396.

ICSE-2018-Mayr-DornE #dependence #question

Does the propagation of artifact changes across tasks reflect work dependencies? (CMD, AE), pp. 397–407.

ICSE-2018-FanSCMLXPS #analysis #android #exception #scalability

Large-scale analysis of framework-specific exceptions in Android apps (LF, TS, SC, GM, YL0, LX, GP, ZS), pp. 408–419.

ICSE-2018-MadeyskiK #design

Effect sizes and their variance for AB/BA crossover design studies (LM, BAK), p. 420.

ICSE-2018-HammadGM #android #anti #empirical #obfuscation #scalability

A large-scale empirical study on the effects of code obfuscations on Android apps and anti-malware products (MH, JG, SM), pp. 421–431.

ICSE-2018-AjienkaCC #co-evolution #empirical #semantics

An empirical study on the interplay between semantic coupling and co-change of software classes (NA, AC, SC), p. 432.

ICSE-2018-BellLHEYM #automation #detection #named #testing

DeFlaker: automatically detecting flaky tests (JB0, OL, MH, LE, TY, DM), pp. 433–444.

ICSE-2018-ChoiSNW #android #named #testing #user interface

DetReduce: minimizing Android GUI test suites for regression testing (WC, KS, GCN, WW), pp. 445–455.

ICSE-2018-MarcozziBKPPC

Time to clean your test objectives (MM, SB, NK, MP, VP, LC), pp. 456–467.

ICSE-2018-KwonKR #execution #web

Prioritizing browser environments for web application test execution (JHK, IYK, GR), pp. 468–479.

ICSE-2018-LinBH #empirical #framework #game studies #platform

An empirical study of early access games on the steam platform (DL, CPB, AEH), p. 480.

ICSE-2018-DanglotPBM #behaviour #case study #correctness #runtime

Correctness attraction: a study of stability of software behavior under runtime perturbation (BD, PP, BB, MM), p. 481.

ICSE-2018-PalombaBPFOL #empirical #maintenance #on the #scalability #smell

On the diffuseness and the impact on maintainability of code smells: a large scale empirical investigation (FP, GB, MDP, FF, RO, ADL), p. 482.

ICSE-2018-TsantalisMEMD #commit #detection #performance #refactoring

Accurate and efficient refactoring detection in commit history (NT, MM, LME, DM, DD), pp. 483–494.

ICSE-2018-CalinescuWGIHK #adaptation #assurance #named #self

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases (RC, DW, SG, MUI, IH, TK), p. 495.

ICSE-2018-FreyRAPN #case study #cyber-physical #game studies #security

The good, the bad and the ugly: a study of security decisions in a cyber-physical systems game (SF, AR, PA, MPA, SAN), p. 496.

ICSE-2018-GarciaHM #android #detection #identification #lightweight #obfuscation #product line

Lightweight, obfuscation-resilient detection and family identification of Android malware (JG, MH, SM), p. 497.

ICSE-2018-MorrisonPXCW #fault #question

Are vulnerabilities discovered and resolved like other defects? (PJM, RP, XX, RC, LW), p. 498.

ICSE-2018-AnicheTSW0SG #community #development #how

How modern news aggregators help development communities shape and share knowledge (MFA, CT, IS, IW, GP0, MADS, MAG), pp. 499–510.

ICSE-2018-TrockmanZKV #ecosystem #empirical #repository #social

Adding sparkle to social coding: an empirical study of repository badges in the npm ecosystem (AT, SZ, CK, BV), pp. 511–522.

ICSE-2018-GermanRPYII

“Was my contribution fairly reviewed?”: a framework to study the perception of fairness in modern code reviews (DMG, GR, GPC, XY, HI, KI), pp. 523–534.

ICSE-2018-RuscioFMM #classification #collaboration #framework #modelling #re-engineering #research

Collaborative model-driven software engineering: a classification framework and a research map (DDR, MF, HM, IM), p. 535.

ICSE-2018-WuWCZ #named

ChangeLocator: locate crash-inducing changes based on crash reports (RW, MW, SCC, HZ0), p. 536.

ICSE-2018-PapadakisSYB #correlation #detection #empirical #fault #scalability

Are mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults (MP, DS0, SY, DHB), pp. 537–548.

ICSE-2018-DutraLBS #performance #satisfiability #testing

Efficient sampling of SAT solutions for testing (RD, KL, JB, KS), pp. 549–559.

ICSE-2018-McIntoshK #case study #fault #predict

Are fix-inducing changes a moving target?: a longitudinal case study of just-in-time defect prediction (SM, YK), p. 560.

ICSE-2018-SawantADB #comprehension #developer

Understanding developers' needs on deprecation as a language feature (AAS, MFA, AvD, AB), pp. 561–571.

ICSE-2018-BellerSSZ #behaviour #debugging #on the

On the dichotomy of debugging behavior among programmers (MB, NS, DS, AZ), pp. 572–583.

ICSE-2018-XiaBLXHL #case study #comprehension #scalability

Measuring program comprehension: a large-scale field study with professionals (XX0, LB, DL0, ZX, AEH, SL), p. 584.

ICSE-2018-Kim0DB #challenge #state of the art

Data scientists in software teams: state of the art and challenges (MK, TZ0, RD, AB), p. 585.

ICSE-2018-YuJ #data flow #dependence #mining

Dataflow tunneling: mining inter-request data dependencies for request-based applications (XY, GJ), pp. 586–597.

ICSE-2018-ZhangSX #analysis #process

Launch-mode-aware context-sensitive activity transition analysis (YZ0, YS, JX), pp. 598–608.

ICSE-2018-Huang

UFO: predictive concurrency use-after-free detection (JH), pp. 609–619.

ICSE-2018-UpadhyayaR #program analysis

Collective program analysis (GU, HR), pp. 620–631.

ICSE-2018-PhanNTTNN #api #learning #online #statistics

Statistical learning of API fully qualified names in code snippets of online forums (HP, HAN, NMT, LHT, ATN0, TNN), pp. 632–642.

ICSE-2018-HeadSMK #api #c++ #documentation #trade-off

When not to comment: questions and tradeoffs with API documentation for C++ projects (AH, CS, ERMH, AK), pp. 643–653.

ICSE-2018-HempelLLC #editing #lightweight #named #user interface

Deuce: a lightweight user interface for structured editing (BH, JL, GL, RC), pp. 654–664.

ICSE-2018-ChenSMXL #design #image #implementation #mobile #user interface

From UI design image to GUI skeleton: a neural machine translator to bootstrap mobile GUI implementation (CC, TS, GM, ZX, YL0), pp. 665–676.

ICSE-2018-SpadiniASBB #code review #developer #how #overview #testing #why

When testing meets code review: why and how developers review tests (DS, MFA, MADS, MB, AB), pp. 677–687.

ICSE-2018-LiangER #integration

Redefining prioritization: continuous prioritization for continuous integration (JL, SGE, GR), pp. 688–698.

ICSE-2018-BenninKPMM #approach #fault #named #predict

MAHAKIL: diversity based oversampling approach to alleviate the class imbalance issue in software defect prediction (KEB, JK, PP, AM, SM), p. 699.

ICSE-2018-HabayebMMB #debugging #markov #on the #predict #using

On the use of hidden Markov model to predict the time to fix bugs (MH, SSM, AVM, ABB), p. 700.

ICSE-2018-KalliamvakouB0B #question #what

What makes a great manager of software engineers? (EK, CB, TZ0, AB, RD, DMG), p. 701.

ICSE-2018-KopecBNKWC

Older adults and hackathons: a qualitative study (WK, BB, RN, GK, AW, FC), pp. 702–703.

ICSE-2018-HannebauerHG #programming #question #syntax

Does syntax highlighting help programming novices? (CH, MH, VG), p. 704.

ICSE-2018-ClaesMKA #question

Do programmers work at night or during the weekend? (MC, MVM, MK, BA), pp. 705–715.

ICSE-2018-Lambers0TBH #analysis #dependence #graph transformation #multi #re-engineering

Multi-granular conflict and dependency analysis in software engineering based on graph transformation (LL, DS0, GT, KB, JH), pp. 716–727.

ICSE-2018-ShanNS #android #behaviour #detection #self

Self-hiding behavior in Android apps: detection and characterization (ZS, IN, RS), pp. 728–739.

ICSE-2018-PalombaPZOL #comparison #smell

The scent of a smell: an extensive comparison between textual and structural smells (FP, AP, AZ, RO, ADL), p. 740.

ICSE-2018-PatraDP #comprehension #javascript #library #named

ConflictJS: finding and understanding conflicts between JavaScript libraries (JP, PND, MP), pp. 741–751.

ICSE-2018-BankenMG #data flow #debugging #source code

Debugging data flows in reactive programs (HB, EM0, GG), pp. 752–763.

ICSE-2018-KrugerWFSL #question #source code

Do you remember this source code? (JK, JW, WF, GS, TL), pp. 764–775.

ICSE-2018-Alimadadi0P #execution

Inferring hierarchical motifs from execution traces (SA, AM0, KP), pp. 776–787.

ICSE-2018-ArmalyRM #comparison #comprehension

A comparison of program comprehension strategies by blind and sighted programmers (AA, PR, CM), p. 788.

ICSE-2018-XiongLZ00 #correctness #identification #program repair

Identifying patch correctness in test-based program repair (YX, XL, MZ, LZ0, GH0), pp. 789–799.

ICSE-2018-YangSLYC #case study #debugging #how #performance #web

How not to structure your database-backed web applications: a study of performance bugs in the wild (JY, PS, SL, CY, AC), pp. 800–810.

ICSE-2018-ChenCXWCLX #named #optimisation #performance

Speedoo: prioritizing performance optimization opportunities (ZC, BC0, LX0, XW, LC0, YL0, BX), pp. 811–821.

ICSE-2018-ArifSS #empirical #performance #physics #testing

Empirical study on the discrepancy between performance testing results from virtual and physical environments (MMA, WS, ES), p. 822.

ICSE-2018-GralhaDWG0 #evolution #requirements

The evolution of requirements practices in software startups (CG, DED, AIW, MG, JA0), pp. 823–833.

ICSE-2018-RathRGCM #automation #traceability

Traceability in the wild: automatically augmenting incomplete trace links (MR, JR, JLCG, JCH, PM), pp. 834–845.

ICSE-2018-SadeghiJGBM #analysis #android #framework

A temporal permission analysis and enforcement framework for Android (AS, RJ, NG, HB, SM), pp. 846–857.

ICSE-2018-BarbosaG #exception #recommendation

Global-aware recommendations for repairing violations in exception handling (EAB, AG), p. 858.

ICSE-2018-ChenTDZ #difference #implementation #testing #validation

RFC-directed differential testing of certificate validation in SSL/TLS implementations (CC, CT, ZD, LZ), pp. 859–870.

ICSE-2018-YuCWS0 #verification

Symbolic verification of regular properties (HY, ZC, JW0, ZS, WD0), pp. 871–881.

ICSE-2018-SeguraPTC #api #rest #testing #web

Metamorphic testing of RESTful web APIs (SS, JAP, JT, ARC), p. 882.

ICSE-2018-RamasubbuK #framework #process #quality #technical debt #testing

Integrating technical debt management and software quality management processes: a framework and field tests (NR, CFK), p. 883.

ICSE-2018-WangCH #comprehension #empirical #performance #stack

Understanding the factors for fast answers in technical Q&A websites: an empirical study of four stack exchange websites (SW0, THC, AEH), p. 884.

ICSE-2018-ZhongM #case study #reuse #towards

Towards reusing hints from past fixes: an exploratory study on thousands of real samples (HZ, NM), p. 885.

ICSE-2018-ZhangURRK #api #case study #online #reliability #stack overflow

Are code examples on an online Q&A forum reliable?: a study of API misuse on stack overflow (TZ, GU, AR, HR, MK), pp. 886–896.

ICSE-2018-BaoXXLH #development #interactive #process

Inference of development activities from interaction with uninstrumented applications (LB, ZX, XX0, DL0, AEH), p. 897.

ICSE-2018-KrieterTSSS #graph

Propagating configuration decisions with modal implication graphs (SK, TT, SS, RS, GS), pp. 898–909.

ICSE-2018-MadalaDA #approach #behaviour #combinator

A combinatorial approach for exposing off-nominal behaviors (KM, HD, DA), pp. 910–920.

ICSE-2018-SousaOOBGLKMFOL #design #identification #problem #source code

Identifying design problems in the source code: a grounded theory (LdSS, AO, WNO, SDJB, AG, JL, MK, RMdM, BF, RFO, CL, RBdP), pp. 921–931.

ICSE-2018-DamevskiCSKP #behaviour #developer #ide #modelling #predict #topic #using

Predicting future developer behavior in the IDE using topic models (KD, HC, DCS, NAK, LLP), p. 932.

ICSE-2018-GuZ0 #code search

Deep code search (XG, HZ0, SK0), pp. 933–944.

ICSE-2018-SirresBKLKKT #code search #performance #query

Augmenting and structuring user queries to support efficient free-form code search (RS, TFB, DK0, DL0, JK, KK, YLT), p. 945.

ICSE-2018-KimKBC0KT #code search #named

FaCoY: a code-to-code search engine (KK, DK0, TFB, EC, LL0, JK, YLT), pp. 946–957.

ICSE-2018-LoncaricET #data type #synthesis

Generalized data structure synthesis (CL, MDE, ET), pp. 958–968.

ICSE-2018-SemerathNV #automation #consistency #generative #graph #modelling

A graph solver for the automated generation of consistent domain-specific models (OS, ASN, DV), pp. 969–980.

ICSE-2018-ChowdhuryMMGJC #automation #cyber-physical #debugging #development

Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge (SAC, SM, SM, SG, TTJ, CC), pp. 981–992.

ICSE-2018-BradleyFH #developer

Context-aware conversational developer assistants (NCB, TF0, RH), pp. 993–1003.

ICSE-2018-MendezPSHHHSPSB #open source #perspective

Open source barriers to entry, revisited: a sociotechnical perspective (CJM, HSP, ZSH, CH, AH, CH, LS, NP, AS, MMB), pp. 1004–1015.

ICSE-2018-AbdessalemNBS #algorithm #testing #using

Testing vision-based control systems using learnable evolutionary algorithms (RBA, SN, LCB, TS), pp. 1016–1026.

ICSE-2018-GuoS #case study #product line #re-engineering #search-based

To preserve or not to preserve invalid solutions in search-based software engineering: a case study in software product lines (JG, KS0), pp. 1027–1038.

ICSE-2018-LinJGM #integer #multi #named #programming #testing

Nemo: multi-criteria test-suite minimization with integer nonlinear programming (JWL, RJ, JG, SM), pp. 1039–1049.

ICSE-2018-AgrawalM

Is “better data” better than “better data miners”?: on the benefits of tuning SMOTE for defect prediction (AA, TM), pp. 1050–1061.

ICSE-2018-BorleFSGH #development #git

Analyzing the effects of test driven development in GitHub (NCB, MF, ES, RG, AH), p. 1062.

ICSE-2018-HerboldTG #benchmark #case study #comparative #fault #metric #predict

A comparative study to benchmark cross-project defect prediction approaches (SH, AT, JG), p. 1063.

ICSE-2018-GaoW #debugging #named #parallel

MSeer: an advanced technique for locating multiple bugs in parallel (RG, WEW), p. 1064.

ICSE-2018-Arcuri18a #automation #case study #experience #generative #industrial #testing

Journal first presentation of an experience report on applying software testing academic results in industry: we need usable automated test generation (AA), p. 1065.

ICSE-2018-WangSWXR #clone detection #detection #named

CCAligner: a token based large-gap clone detector (PW, JS, YW, YX, CKR), pp. 1066–1077.

ICSE-2018-HassanW #approach #automation #named

HireBuild: an automatic approach to history-driven repair of build scripts (FH, XW), pp. 1078–1089.

ICSE-2018-KubelkaRB #live programming #programming

The road to live programming: insights from the practice (JK, RR, AB), pp. 1090–1101.

ICSE-2018-HoraSVR #evolution

Assessing the threat of untracked changes in software evolution (ACH, DS, MTV, RR), pp. 1102–1113.

ICSE-2018-PelegSY #programming

Programming not only by example (HP, SS, EY), pp. 1114–1124.

ICSE-2018-CasteleinASPD #generative #query #search-based #sql #testing

Search-based test data generation for SQL queries (JC, MFA, MS, AP, AvD), pp. 1120–1230.

ICSE-2018-DegiovanniCARAF #assessment

Goal-conflict likelihood assessment based on model counting (RD, PFC, MA, MR, NA, MFF), pp. 1125–1135.

ICSE-2018-LaraG #analysis #concept #modelling #type system

A posteriori typing for model-driven engineering: concepts, analysis, and applications (JdL, EG), p. 1136.

ICSE-2018-LangeNTY #behaviour #framework #message passing #using #verification

A static verification framework for message passing in Go using behavioural types (JL, NN, BT, NY), pp. 1137–1148.

ICSE-2018-GrantCB #distributed #invariant

Inferring and asserting distributed system invariants (SG, HC, IB), pp. 1149–1159.

ICSE-2018-RadhakrishnaLMM #android #named #type system

DroidStar: callback typestates for Android classes (AR, NVL, SM, SM, KCS, DZ, BYEC, PC), pp. 1160–1170.

ICSE-2018-XuMZZX #debugging #probability

Debugging with intelligence via probabilistic inference (ZX, SM, XZ0, SZ, BX), pp. 1171–1181.

ICSE-2018-BeyerJLW #verification

Reducer-based construction of conditional verifiers (DB0, MCJ, TL0, HW), pp. 1182–1193.

ICSE-2018-RibeiroMT #case study #challenge #re-engineering

Challenges and pitfalls on surveying evidence in the software engineering technical literature: an exploratory study with novices (TVR, JLM, GHT), p. 1194.

ICSE-2018-ReyesDCJ #fault #overview #perspective #re-engineering #statistics

Statistical errors in software engineering experiments: a preliminary literature review (RPR, OD, ERFC, NJ), pp. 1195–1206.

ICSE-2018-HuangZZBY #overview #perspective #re-engineering #research

Synthesizing qualitative research in software engineering: a critical review (XH, HZ0, XZ, MAB, SY), pp. 1207–1218.

ICSE-2018-GazzolaMM #automation #overview

Automatic software repair: a survey (LG, DM, LM), p. 1219.

ICSE-2018-XueL #feature model #integer #multi #optimisation #problem #programming

Multi-objective integer programming approaches for solving optimal feature selection problem: a new perspective on multi-objective optimization problems in SBSE (YX, YFL), pp. 1231–1242.

ICSE-2018-LuWY0N #automation #constraints #ocl #refactoring

Automated refactoring of OCL constraints with search (HL0, SW0, TY0, SA0, JFN), p. 1243.

ICSE-2018-ChaHLO #automation #generative #heuristic #testing

Automatically generating search heuristics for concolic testing (SC, SH, JL, HO), pp. 1244–1254.