Proceedings of the 24th International Symposium on Foundations of Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Thomas Zimmermann 0001, Jane Cleland-Huang, Zhendong Su
Proceedings of the 24th International Symposium on Foundations of Software Engineering
FSE, 2016.

SE
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{FSE-2016,
	doi           = "10.1145/2950290",
	editor        = "Thomas Zimmermann 0001 and Jane Cleland-Huang and Zhendong Su",
	isbn          = "978-1-4503-4218-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 24th International Symposium on Foundations of Software Engineering}",
	year          = 2016,
}

Contents (143 items)

FSE-2016-Burnett #what
“Womenomics” and gender-inclusive software: what software engineers need to know (invited talk) (MMB), p. 1.
FSE-2016-Herbsleb #coordination #how #research #why
Building a socio-technical theory of coordination: why and how (outstanding research award) (JDH), pp. 2–10.
FSE-2016-JacksonV #verification
Correct or usable? the limits of traditional verification (impact paper award) (DJ0, MV), p. 11.
FSE-2016-RossiSSBSS #deployment #facebook #mobile
Continuous deployment of mobile software at facebook (showcase) (CR, ES, SS, KLB, TS, MS), pp. 12–23.
FSE-2016-Huang #programming
Model, execute, and deploy: answering the hard questions in end-user programming (showcase) (SSH), p. 24.
FSE-2016-Mahmud
Making invisible things visible: tracking down known vulnerabilities at 3000 companies (showcase) (GM), p. 25.
FSE-2016-Sadowski #developer #workflow
Developer workflow at google (showcase) (CS), p. 26.
FSE-2016-BagheriM #alloy #analysis #evolution #named #performance #specification
Titanium: efficient analysis of evolving alloy specifications (HB, SM), pp. 27–38.
FSE-2016-BruninkR #mining #performance #specification
Mining performance specifications (MB, DSR), pp. 39–49.
FSE-2016-HaoK0J #design #effectiveness #formal method #lightweight
Designing minimal effective normative systems with the help of lightweight formal methods (JH, EK, JS0, DJ0), pp. 50–60.
FSE-2016-XieCLLL #analysis #dependence #named #summary
Proteus: computing disjunctive loop summary via path dependency analysis (XX, BC0, YL0, WL, XL), pp. 61–72.
FSE-2016-JohnsonPSFEMHS #communication #program analysis
A cross-tool communication study on program analysis tool notifications (BJ, RP, JS0, DF, SE, ERMH, SH, CS), pp. 73–84.
FSE-2016-BaumLNS #code review #industrial #overview #process
Factors influencing code review processes in industry (TB, OL, KN, KS), pp. 85–96.
FSE-2016-PiorkowskiHNFSB #developer #predict
Foraging and navigations, fundamentally: developers' predictions of value and cost (DP, AZH, TN, SDF, CS, MMB), pp. 97–108.
FSE-2016-BogartKHT #api #community #ecosystem #how
How to break an API: cost negotiation and community values in three software ecosystems (CB, CK, JDH, FT), pp. 109–120.
FSE-2016-Xu0ZX #analysis #debugging #detection #predict #python
Python predictive analysis for bug detection (ZX, PL0, XZ0, BX), pp. 121–132.
FSE-2016-JiangCQXML #consistency #validation
Crash consistency validation made easy (YJ, HC, FQ, CX, XM, JL), pp. 133–143.
FSE-2016-HanamBM #debugging #javascript
Discovering bug patterns in JavaScript (QH, FSDMB, AM0), pp. 144–156.
FSE-2016-YangZLZL0XL #fault #modelling #predict
Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models (YY, YZ, JL, YZ, HL, LX0, BX, HL), pp. 157–168.
FSE-2016-HuangZT #analysis #correlation #detection
Detecting sensitive data disclosure via bi-directional text correlation analysis (JH0, XZ0, LT0), pp. 169–180.
FSE-2016-KangMJ #analysis #multi #security
Multi-representational security analysis (EK, AM, DJ0), pp. 181–192.
FSE-2016-BangAPPB #analysis #string
String analysis for side channels with segmented oracles (LB, AA, QSP, CSP, TB), pp. 193–204.
FSE-2016-WangZXKZE #delivery #named #web
WebRanz: web page randomization for better advertisement delivery and web-bot prevention (WW, YZ, XX, YK, XZ0, PTE), pp. 205–216.
FSE-2016-BaresiGLQ #feedback
A discrete-time feedback controller for containerized cloud applications (LB, SG, AL, GQ), pp. 217–228.
FSE-2016-ShevtsovW #adaptation #multi #self
Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems (SS, DW), pp. 229–241.
FSE-2016-NejatiS0BM #automation #design #impact analysis #modelling #requirements
Automated change impact analysis between SysML models of requirements and design (SN, MS, CA0, LCB, FM), pp. 242–253.
FSE-2016-FowkesS #api #git #mining #probability
Parameter-free probabilistic API mining across GitHub (JMF, CAS), pp. 254–265.
FSE-2016-ZhouW #analysis #api #detection #web
API deprecation: a retrospective analysis and detection method for code examples on the web (JZ, RJW), pp. 266–277.
FSE-2016-HoraVRA #interface #question
When should internal interfaces be promoted to public? (ACH, MTV, RR, NA), pp. 278–289.
FSE-2016-KalraGKDSP #library #named
POLLUX: safely upgrading dependent application libraries (SK, AG, DK, MD, SS0, RP), pp. 290–300.
FSE-2016-HasabnisS #code generation #execution #semantics #symbolic computation
Extracting instruction semantics via symbolic execution of code generators (NH, RS), pp. 301–313.
FSE-2016-GhassabaniGW #generative #induction #performance #safety
Efficient generation of inductive validity cores for safety properties (EG, AG, MWW), pp. 314–325.
FSE-2016-BeyerDDH #correctness #verification
Correctness witnesses: exchanging verification results between verifiers (DB, MD, DD, MH), pp. 326–337.
FSE-2016-GurfinkelSM #smt #verification
SMT-based verification of parameterized systems (AG, SS, YM), pp. 338–348.
FSE-2016-Apel0MMS #composition #model checking #on the fly #specification
On-the-fly decomposition of specifications in software model checking (SA, DB0, VOM, VSM, AS), pp. 349–361.
FSE-2016-MaozR #on the #specification
On well-separation of GR(1) specifications (SM, JOR), pp. 362–372.
FSE-2016-MacedoBCCK #analysis #lightweight #specification
Lightweight specification and analysis of dynamic systems with rich configurations (NM, JB, DC, AC, DK), pp. 373–383.
FSE-2016-NiuWG #requirements #traceability #using
Gray links in the use of requirements traceability (NN, WW0, AG), pp. 384–395.
FSE-2016-LiuXCT #android #comprehension #detection
Understanding and detecting wake lock misuses for Android applications (YL, CX0, SCC, VT), pp. 396–409.
FSE-2016-KangZXL #android #named #performance
DiagDroid: Android performance diagnosis via anatomizing asynchronous executions (YK, YZ, HX, MRL), pp. 410–421.
FSE-2016-ClappBAA #user interface
Minimizing GUI event traces (LC, OB, SA, AA), pp. 422–434.
FSE-2016-MartinSH #game studies #impact analysis
Causal impact analysis for app releases in google play (WJM, FS, MH), pp. 435–446.
FSE-2016-SungKS0 #analysis #dependence #testing #web
Static DOM event dependency analysis for testing web applications (CS, MK, NS0, CW0), pp. 447–459.
FSE-2016-SuiX #analysis #on-demand #refinement
On-demand strong update analysis via value-flow refinement (YS, JX), pp. 460–473.
FSE-2016-ReifEHLM #graph #java #library
Call graph construction for Java libraries (MR, ME, BH, JL, MM), pp. 474–486.
FSE-2016-WeiTRD #javascript #locality #static analysis
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision (SW, OT, BGR, JD), pp. 487–498.
FSE-2016-SorboPASVCG #recommendation #what
What would users change in my app? summarizing app reviews for recommending software changes (ADS, SP, CVA, JS, CAV, GC, HCG), pp. 499–510.
FSE-2016-NguyenHCNMRND #api #fine-grained #learning #recommendation #statistics #using
API code recommendation using statistical learning from fine-grained changes (ATN0, MH, MC, HAN, LM, ER, TNN, DD), pp. 511–522.
FSE-2016-CostaFMS #branch #named #recommendation
TIPMerge: recommending experts for integrating changes across branches (CC, JF, LM, AS), pp. 523–534.
FSE-2016-LinPCDZZ #architecture #interactive #recommendation #refactoring #search-based
Interactive and guided architectural refactoring with search-based recommendation (YL0, XP0, YC, DD, DZ, WZ), pp. 535–546.
FSE-2016-AhmedGBGJ #effectiveness #question
Can testedness be effectively measured? (IA0, RG, CB, AG, CJ), pp. 547–558.
FSE-2016-LuoMP #comparison #empirical #scalability #testing
A large-scale empirical comparison of static and dynamic test case prioritization techniques (QL, KM, DP), pp. 559–570.
FSE-2016-KurtzAODKG
Analyzing the validity of selective mutation with dominator mutants (BK, PA, JO, MED, MK, NG), pp. 571–582.
FSE-2016-LegunsenHSLZM #evolution #testing
An extensive study of static regression test selection in modern software evolution (OL, FH, AS, YL, LZ, DM), pp. 583–594.
FSE-2016-KimRLZX #monitoring #named #performance
PerfGuard: binary-centric application performance monitoring in production environments (CHK, JR, KHL, XZ0, DX), pp. 595–606.
FSE-2016-XuZCPX #natural language #probability #python #type inference
Python probabilistic type inference with natural language support (ZX, XZ0, LC0, KP, BX), pp. 607–618.
FSE-2016-WangZHXZ0 #detection #fault #float
Detecting and fixing precision-specific operations for measuring floating-point errors (RW, DZ, XH, YX, LZ0, GH0), pp. 619–630.
FSE-2016-GuZZK #api #learning
Deep API learning (XG, HZ0, DZ, SK0), pp. 631–642.
FSE-2016-CelikKMG #java #lazy evaluation #retrieval
Build system with lazy retrieval for Java projects (, AK, AM, MG), pp. 643–654.
FSE-2016-NguyenKCFP #configuration management #interactive #named
iGen: dynamic interaction inference for configurable software (TN, UK, JC, JSF, AAP), pp. 655–665.
FSE-2016-ChenSHNF #developer #framework #named #web
CacheOptimizer: helping developers configure caching frameworks for hibernate-based database-centric web applications (THC, WS, AEH, MNN, PF), pp. 666–677.
FSE-2016-ChandramohanXXL #architecture #named
BinGo: cross-architecture cross-OS binary search (MC, YX, ZX, YL0, CYC, HBKT), pp. 678–689.
FSE-2016-LiWWYXM #code search #framework #javascript
Relationship-aware code search for JavaScript frameworks (XL, ZW, QW, SY, TX0, HM), pp. 690–701.
FSE-2016-SuBHSKJ #detection
Code relatives: detecting similarly behaving software (FHS, JB0, KH, SS, GEK, TJ), pp. 702–714.
FSE-2016-LiuCL #comprehension #concurrent #debugging #generative #quality
Understanding and generating high quality patches for concurrency bugs (HL, YC, SL), pp. 715–726.
FSE-2016-TanYPR #program repair #search-based
Anti-patterns in search-based program repair (SHT, HY, MRP, AR), pp. 727–738.
FSE-2016-KaleeswaranSKG #feedback #generative
Semi-supervised verified feedback generation (SK, AS, AK, SG), pp. 739–750.
FSE-2016-HammoudiRS #approach #incremental #named #testing #web
WATERFALL: an incremental approach for repairing record-replay tests of web applications (MH, GR, AS0), pp. 751–762.
FSE-2016-BergerVJDS #editing #empirical #performance #projectional
Efficiency of projectional editing: a controlled experiment (TB, MV, HPJ, TD, JS), pp. 763–774.
FSE-2016-ZhanH #concurrent #detection #ide #named
ECHO: instantaneous in situ race detection in the IDE (SZ, JH0), pp. 775–786.
FSE-2016-DouCGXXW #detection #smell #spreadsheet
Detecting table clones and smells in spreadsheets (WD, SCC, CG, CX0, LX, JW0), pp. 787–798.
FSE-2016-Kusano0 #abstract interpretation #composition #thread
Flow-sensitive composition of thread-modular abstract interpretation (MK, CW0), pp. 799–809.
FSE-2016-CaiZCL #concurrent #detection
A deployable sampling strategy for data race detection (YC0, JZ, LC, JL), pp. 810–821.
FSE-2016-JiangXLML #coordination #dependence #memory management #online #reduction
Online shared memory dependence reduction via bisectional coordination (YJ, CX, DL, XM, JL), pp. 822–832.
FSE-2016-YogaNG #concurrent #detection #parallel #source code
Parallel data race detection for task parallel programs with locks (AY, SN, AG), pp. 833–845.
FSE-2016-FordSGP #identification #stack overflow
Paradise unplugged: identifying barriers for female participation on stack overflow (DF, JS0, PJG, CP), pp. 846–857.
FSE-2016-SilvaTV #git #why
Why we refactor? confessions of GitHub contributors (DS, NT, MTV), pp. 858–870.
FSE-2016-ZhuZM #effectiveness #tool support
Effectiveness of code contribution: from patch-based to pull-request-based tools (JZ, MZ, AM), pp. 871–882.
FSE-2016-ZhangLZHZM #branch #testing
Isomorphic regression testing: executing uncovered branches without test augmentation (JZ0, YL, LZ, DH, LZ0, HM), pp. 883–894.
FSE-2016-DhokR #detection #generative #testing
Directed test generation to detect loop inefficiencies (MD, MKR), pp. 895–907.
FSE-2016-PonzioAFV #testing
Field-exhaustive testing (PP, NA, MFF, WV), pp. 908–919.
FSE-2016-Robillard #design
Sustainable software design (MPR), pp. 920–923.
FSE-2016-BarikPMM #design #re-engineering #research
Designing for dystopia: software engineering research for the post-apocalypse (TB, RP, JM, ERMH), pp. 924–927.
FSE-2016-StoreyZ #developer
Disrupting developer productivity one bot at a time (MADS, AZ), pp. 928–931.
FSE-2016-SarmaGSL #ecosystem
Training the future workforce through task curation in an OSS ecosystem (AS, MAG, IS, RL), pp. 932–935.
FSE-2016-WeirRN #education
Reaching the masses: a new subdiscipline of app programmer education (CW, AR, JN0), pp. 936–939.
FSE-2016-SharifCM #developer #re-engineering #research
Studying developer gaze to empower software engineering research and practice (BS, BC, JIM), pp. 940–943.
FSE-2016-DamTGG #named
DeepSoft: a vision for a deep model of software (HKD, TT0, JCG, AKG), pp. 944–947.
FSE-2016-CohenPV #algorithm #lens #testing
Budgeted testing through an algorithmic lens (MBC, AP, NVV), pp. 948–951.
FSE-2016-Omoronyia #privacy #reasoning
Reasoning with imprecise privacy preferences (IO), pp. 952–955.
FSE-2016-ZhangJKKGH #developer #recommendation
Bing developer assistant: improving developer productivity by recommending sample code (HZ0, AJ, GK, CK, SG, WH), pp. 956–961.
FSE-2016-ZalmanoviciRT #analysis #clustering #functional #testing
Cluster-based test suite functional analysis (MZ, OR, RTB), pp. 962–967.
FSE-2016-ImesBH #energy #interface #monitoring #runtime
A portable interface for runtime energy monitoring (CI, LB, HH), pp. 968–974.
FSE-2016-BusjaegerX #case study #industrial #learning
Learning for test prioritization: an industrial case study (BB, TX), pp. 975–980.
FSE-2016-ZhongZK #combinator #generative #testing
Combinatorial generation of structurally complex test inputs for commercial software applications (HZ, LZ, SK), pp. 981–986.
FSE-2016-ZengLZXDLYX #android #automation #case study #generative #industrial #question
Automated test input generation for Android: are we really there yet in an industrial case? (XZ, DL0, WZ, FX, YD, WL, WY0, TX0), pp. 987–992.
FSE-2016-GyoriLSLM #api #debugging #detection #java #named #specification
NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications (AG, BL, AS, OL, DM), pp. 993–997.
FSE-2016-CostaFSM #branch #developer #named #recommendation
TIPMerge: recommending developers for merging branches (CC, JF, AS, LM), pp. 998–1002.
FSE-2016-BarrMMMS #debugging #javascript
Time-travel debugging for JavaScript/Node.js (ETB, MM, EM, DM, GS), pp. 1003–1007.
FSE-2016-HajriGBS #case study #domain model #modelling #named #product line
PUMConf: a tool to configure product specific use case and domain models in a product line (IH, AG, LCB, TS), pp. 1008–1012.
FSE-2016-NguyenRNKN #api #named #statistics
T2API: synthesizing API code usage templates from English texts with statistical translation (TVN, PCR, ATN0, MK, TNN), pp. 1013–1017.
FSE-2016-BraioneDP #java #named #source code
JBSE: a symbolic executor for Java programs with complex heap inputs (PB, GD, MP), pp. 1018–1022.
FSE-2016-PanichellaSGVCG #classification #development #named
ARdoc: app reviews development oriented classifier (SP, ADS, EG, CAV, GC, HCG), pp. 1023–1027.
FSE-2016-WangFMKDR #java #named #reuse
Hunter: next-generation code reuse for Java (YW, YF, RM, AK, ID, SPR), pp. 1028–1032.
FSE-2016-GulzarICK #big data #data analysis #debugging #interactive #named
BigDebug: interactive debugger for big data analytics in Apache Spark (MAG, MI, TC, MK), pp. 1033–1037.
FSE-2016-OosterwaalDCSB #code review #overview #perspective #visualisation
Visualizing code and coverage changes for code review (SO, AvD, RC, AAS, AB), pp. 1038–1041.
FSE-2016-MiucinBF #behaviour #memory management #profiling
End-to-end memory behavior profiling with DINAMITE (SM, CB, AF), pp. 1042–1046.
FSE-2016-PaschalidesK #open source #validation
Validate your SPDX files for open source license violations (DP, GMK), pp. 1047–1051.
FSE-2016-YoshidaTPGU #c #c++ #fine-grained #generative #incremental #named #source code #testing
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs (HY, ST, MRP, IG, TU), pp. 1052–1056.
FSE-2016-Mazinanian #css #maintenance #migration #optimisation #refactoring #towards
Refactoring and migration of cascading style sheets: towards optimization and improved maintainability (DM), pp. 1057–1059.
FSE-2016-Shevtsov #adaptation #approach #reuse #self
Developing a reusable control-based approach to build self-adaptive software systems with formal guarantees (SS), pp. 1060–1062.
FSE-2016-Rolim #automation #using
Automating repetitive code changes using examples (RR), pp. 1063–1065.
FSE-2016-Hilton #comprehension #integration
Understanding and improving continuous integration (MH), pp. 1066–1067.
FSE-2016-Alexandru #network #synthesis #using
Guided code synthesis using deep neural networks (CVA), pp. 1068–1070.
FSE-2016-Panchekha #generative #interactive #web
Generating interactive web pages from storyboards (PP), pp. 1071–1072.
FSE-2016-Loncaric #data type #synthesis
Data structure synthesis (CL), pp. 1073–1075.
FSE-2016-Alimadadi #behaviour #comprehension #javascript
Understanding behavioural patterns in JavaScript (SA), pp. 1076–1078.
FSE-2016-Hammoudi #testing #tool support #using #web
Regression testing of web applications using Record/Replay tools (MH), pp. 1079–1081.
FSE-2016-Hajri #case study #development #product line #testing
Supporting change in product lines within the context of use case-driven development and testing (IH), pp. 1082–1084.
FSE-2016-Luo #performance #testing
Input-sensitive performance testing (QL), pp. 1085–1087.
FSE-2016-Kurtz #mutation testing #on the #testing
On the utility of dominator mutants for mutation testing (BK), pp. 1088–1090.
FSE-2016-Zanjani #developer #effectiveness
Effective assignment and assistance to software developers and reviewers (MBZ), pp. 1091–1093.
FSE-2016-Cheng #analysis #fault #integer #named
RABIEF: range analysis based integer error fixing (XC), pp. 1094–1096.
FSE-2016-Meng #fine-grained #identification
Fine-grained binary code authorship identification (XM), pp. 1097–1099.
FSE-2016-Costa #collaboration #identification
Identifying participants for collaborative merge (CC), pp. 1100–1102.
FSE-2016-Loncaric16a #data type #named
Cozy: synthesizing collection data structures (CL), pp. 1103–1105.
FSE-2016-Wang #constraints #reduction
Constraint-based event trace reduction (JW), pp. 1106–1108.
FSE-2016-Nandi #automation #generative
Automatic trigger generation for end user written rules for home automation (CN), pp. 1109–1111.
FSE-2016-Quan #execution #float #source code #symbolic computation
Hotspot symbolic execution of floating-point programs (MQ), pp. 1112–1114.
FSE-2016-Pearson #evaluation #fault #locality
Evaluation of fault localization techniques (SP), pp. 1115–1117.
FSE-2016-Barik #developer #how #question #static analysis #tool support
How should static analysis tools explain anomalies to developers? (TB), pp. 1118–1120.
FSE-2016-Lam #dependence
Repairing test dependence (WL), pp. 1121–1123.
FSE-2016-Kellogg #debugging #detection #generative #testing
Combining bug detection and test case generation (MK), pp. 1124–1126.
FSE-2016-Guo #debugging #interactive #java #named
SmartDebug: an interactive debug assistant for Java (XG), pp. 1127–1129.
FSE-2016-Xiaofei #analysis
Static loop analysis and its applications (XX), pp. 1130–1132.
FSE-2016-Head #developer #health #open source #social
Social health cues developers use when choosing open source packages (AH), pp. 1133–1135.
FSE-2016-Kappler #dependence #execution
Finding and breaking test dependencies to speed up test execution (SK), pp. 1136–1138.
FSE-2016-Luo16a #automation #performance #profiling #testing #using
Automatic performance testing using input-sensitive profiling (QL), pp. 1139–1141.
FSE-2016-Santino #array #type system
Enforcing correct array indexes with a type system (JS), pp. 1142–1144.
FSE-2016-Huang16a #api #invariant #java
Discovering additional violations of Java API invariants (WH), pp. 1145–1147.
FSE-2016-Mackie #fault #java
Preventing signedness errors in numerical computations in Java (CAM), pp. 1148–1150.
FSE-2016-Monteiro #bound #finite #fixpoint #implementation #model checking #modelling
Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling (FRM), pp. 1151–1153.
FSE-2016-Gullapalli #framework #grid #named
Atlas: an intelligent, performant framework for web-based grid computing (SG), pp. 1154–1156.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.