Elisabetta Di Nitto, Mark Harman, Patrick Heymans
Proceedings of the 10th Joint Meeting of the 15th European Software Engineering Conference and the 23rd Symposium on the Foundations of Software Engineering
ESEC/FSE, 2015.

@proceedings{ESEC-FSE-2015,
	address       = "Bergamo, Italy",
	doi           = "10.1145/2786805",
	editor        = "Elisabetta Di Nitto and Mark Harman and Patrick Heymans",
	isbn          = "978-1-4503-3675-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th Joint Meeting of the 15th European Software Engineering Conference and the 23rd Symposium on the Foundations of Software Engineering}",
	year          = 2015,
}

Contents (124 items)

24 ×#named
19 ×#testing
13 ×#automation
11 ×#developer
7 ×#debugging
7 ×#detection
7 ×#source code
6 ×#android
6 ×#execution
6 ×#generative

ESEC-FSE-2015-MorenoCGS #adaptation #approach #model checking #nondeterminism #probability #self

Proactive self-adaptation under uncertainty: a probabilistic model checking approach (GAM, JC, DG, BRS), pp. 1–12.

ESEC-FSE-2015-FilieriHM #adaptation #automation #design #multi #self

Automated multi-objective control for self-adaptive software design (AF, HH, MM), pp. 13–24.

ESEC-FSE-2015-SafiSHM #detection

Detecting event anomalies in event-based systems (GS, AS, WGJH, NM), pp. 25–37.

ESEC-FSE-2015-AllamanisBBS

Suggesting accurate method and class names (MA, ETB, CB, CAS), pp. 38–49.

ESEC-FSE-2015-ErnstBONG #technical debt

Measure it? Manage it? Ignore it? software practitioners and technical debt (NAE, SB, IO, RLN, IG), pp. 50–60.

ESEC-FSE-2015-BangAB #automation #complexity #source code

Automatically computing path complexity of programs (LB, AA, TB), pp. 61–72.

ESEC-FSE-2015-DesaiQS #testing

Systematic testing of asynchronous reactive systems (AD, SQ, SAS), pp. 73–83.

ESEC-FSE-2015-MatinnejadNBB #effectiveness #testing

Effective test suites for mixed discrete-continuous stateflow controllers (RM, SN, LCB, TB), pp. 84–95.

ESEC-FSE-2015-MaozR #ltl #specification #synthesis

GR(1) synthesis for LTL specification patterns (SM, JOR), pp. 96–106.

ESEC-FSE-2015-DakaCFDW #modelling #readability #testing

Modeling readability to improve unit tests (ED, JC, GF, JD, WW), pp. 107–118.

ESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing

Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.

ESEC-FSE-2015-SamakR #detection #testing

Synthesizing tests for detecting atomicity violations (MS, MKR), pp. 131–142.

ESEC-FSE-2015-VasquezBBOPP #android #approach #energy #multi #optimisation #user interface

Optimizing energy consumption of GUIs in Android apps: a multi-objective approach (MLV, GB, CEBC, RO, MDP, DP), pp. 143–154.

ESEC-FSE-2015-ArcuriFG #automation #generative #network #testing

Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.

ESEC-FSE-2015-LongR #program repair #staged #synthesis

Staged program repair with condition synthesis (FL, MR), pp. 166–178.

ESEC-FSE-2015-BellerGPZ #developer #how #ide #why

When, how, and why developers (do not) test in their IDEs (MB, GG, AP, AZ), pp. 179–190.

ESEC-FSE-2015-SadowskiSE #case study #developer #how

How developers search for code: a case study (CS, KTS, SGE), pp. 191–201.

ESEC-FSE-2015-KevicWSSSF #developer #interactive

Tracing software developers’ eyes and interactions for change tasks (KK, BMW, TRS, BS, DCS, TF), pp. 202–213.

ESEC-FSE-2015-ZhangM #correlation #effectiveness #testing

Assertions are strongly correlated with test suite effectiveness (YZ, AM), pp. 214–224.

ESEC-FSE-2015-FengCJFX #crowdsourcing #testing

Test report prioritization to assist crowdsourced testing (YF, ZC, JAJ, CF, BX), pp. 225–236.

ESEC-FSE-2015-ShiYGM #reduction #testing

Comparing and combining test-suite reduction and regression test selection (AS, TY, AG, DM), pp. 237–247.

ESEC-FSE-2015-SmithJMCL #developer #security #static analysis

Questions developers ask while diagnosing potential security vulnerabilities with static analysis (JS, BJ, ERMH, BC, HRL), pp. 248–259.

ESEC-FSE-2015-WitscheyZWMMZ #developer #security #tool support

Quantifying developers’ adoption of security tools (JW, OZ, AKW, ERMH, CBM, TZ), pp. 260–271.

ESEC-FSE-2015-ParameshwaranBS #scalability

Auto-patching DOM-based XSS at scale (IP, EB, SS, HD, AS, PS), pp. 272–283.

ESEC-FSE-2015-SiegmundGAK #configuration management #modelling

Performance-influence models for highly configurable systems (NS, AG, SA, CK), pp. 284–294.

ESEC-FSE-2015-BehrangCO #consistency #nondeterminism

Users beware: preference inconsistencies ahead (FB, MBC, AO), pp. 295–306.

ESEC-FSE-2015-XuJFZPT #comprehension #exclamation

Hey, you have given me too many knobs!: understanding and dealing with over-designed configuration in system software (TX, LJ, XF, YZ, SP, RT), pp. 307–319.

ESEC-FSE-2015-ChenK #debugging

Crowd debugging (FC, SK), pp. 320–332.

ESEC-FSE-2015-HammoudiBBR #debugging #on the #using #web

On the use of delta debugging to reduce recordings and facilitate debugging of web applications (MH, BB, GB, GR), pp. 333–344.

ESEC-FSE-2015-JensenSSC #debugging #independence #javascript #memory management #named #platform

MemInsight: platform-independent memory debugging for JavaScript (SHJ, MS, KS, SC), pp. 345–356.

ESEC-FSE-2015-GongPS #javascript #named

JITProf: pinpointing JIT-unfriendly JavaScript code (LG, MP, KS), pp. 357–368.

ESEC-FSE-2015-NguyenKN #slicing #web

Cross-language program slicing for dynamic web applications (HVN, CK, TNN), pp. 369–380.

ESEC-FSE-2015-MutluTL #detection #javascript #matter

Detecting JavaScript races that matter (EM, ST, BL), pp. 381–392.

ESEC-FSE-2015-CitoLFG #development #empirical

The making of cloud applications: an empirical study on software development for the cloud (JC, PL, TF, HCG), pp. 393–403.

ESEC-FSE-2015-NagappanRKTMMH #c #empirical #git #goto #repository

An empirical study of goto in C code from GitHub repositories (MN, RR, YK, ÉT, SM, AM, AEH), pp. 404–414.

ESEC-FSE-2015-LoNZ #how #re-engineering #research

How practitioners perceive the relevance of software engineering research (DL, NN, TZ), pp. 415–425.

ESEC-FSE-2015-GuJSZL #concurrent #thread #what

What change history tells us about thread synchronization (RG, GJ, LS, LZ, SL), pp. 426–438.

ESEC-FSE-2015-HuangR #branch

Finding schedule-sensitive branches (JH, LR), pp. 439–449.

ESEC-FSE-2015-CaiC #detection #effectiveness #java #precise #source code

Effective and precise dynamic detection of hidden races for Java programs (YC, LC), pp. 450–461.

ESEC-FSE-2015-MangalZNN #approach #program analysis

A user-guided approach to program analysis (RM, XZ, AVN, MN), pp. 462–473.

ESEC-FSE-2015-EichbergHMG

Hidden truths in dead software paths (ME, BH, MM, LG), pp. 474–484.

ESEC-FSE-2015-AfrazSK #named #profiling

P3: partitioned path profiling (MA, DS, AK), pp. 485–495.

ESEC-FSE-2015-JingWDQX #fault #learning #metric #predict #representation

Heterogeneous cross-company defect prediction by unified metric representation and CCA-based transfer learning (XYJ, FW, XD, FQ, BX), pp. 496–507.

ESEC-FSE-2015-NamK #fault #predict

Heterogeneous defect prediction (JN, SK), pp. 508–519.

ESEC-FSE-2015-LinPXZZ #interactive #recommendation

Clone-based and interactive recommendation for modifying pasted code (YL, XP, ZX, DZ, WZ), pp. 520–531.

ESEC-FSE-2015-SmithBGB #automation #program repair

Is the cure worse than the disease? overfitting in automated program repair (EKS, ETB, CLG, YB), pp. 532–543.

ESEC-FSE-2015-SinhaK #design

Responsive designs in a snap (NS, RK), pp. 544–554.

ESEC-FSE-2015-DharPDR #named #source code #string

CLOTHO: saving programs from malformed strings and incorrect string-handling (AD, RP, MD, SR), pp. 555–566.

ESEC-FSE-2015-MorenoBHPORM #re-engineering #retrieval

Query-based configuration of text retrieval solutions for software engineering tasks (LM, GB, SH, MDP, RO, BR, AM), pp. 567–578.

ESEC-FSE-2015-LeOL #debugging #information retrieval #locality

Information retrieval and spectrum based bug localization: better together (TDBL, RJO, DL), pp. 579–590.

ESEC-FSE-2015-NguyenGA #case study #modelling #rule-based

Rule-based extraction of goal-use case models from text (THN, JCG, MA), pp. 591–601.

ESEC-FSE-2015-BraioneDP #execution #source code #symbolic computation

Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.

ESEC-FSE-2015-FuLB #analysis #automation #memory dump #memory management #pointer

Automatically deriving pointer reference expressions from binary code for memory dump analysis (YF, ZL, DB), pp. 614–624.

ESEC-FSE-2015-TreudeFK #development #process

Summarizing and measuring development activity (CT, FMFF, UK), pp. 625–636.

ESEC-FSE-2015-ZhengMZ #capacity #constraints #identification #problem #process

A method to identify and correct problematic software activity data: exploiting capacity constraints and data redundancies (QZ, AM, MZ), pp. 637–648.

ESEC-FSE-2015-PrauseJ #gamification

Gamification for enforcing coding conventions (CRP, MJ), pp. 649–660.

ESEC-FSE-2015-LiLWH #analysis #android #java #string

String analysis for Java and Android applications (DL, YL, MW, WGJH), pp. 661–672.

ESEC-FSE-2015-MoranVBP #android #debugging

Auto-completing bug reports for Android applications (KM, MLV, CBC, DP), pp. 673–686.

ESEC-FSE-2015-FratantonioMBKV #android #named

CLAPP: characterizing loops in Android applications (YF, AM, AB, CK, GV), pp. 687–697.

ESEC-FSE-2015-SunXLLQ #abstraction #learning #named #testing #validation

TLV: abstraction through testing, learning, and validation (JS, HX, YL, SWL, SQ), pp. 698–709.

ESEC-FSE-2015-HeuleSC #modelling #named

Mimic: computing models for opaque code (SH, MS, SC), pp. 710–720.

ESEC-FSE-2015-0001DDHS #validation #verification

Witness validation and stepwise testification across software verifiers (DB, MD, DD, MH, AS), pp. 721–733.

ESEC-FSE-2015-WestNM #concurrent #object-oriented #performance

Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 734–744.

ESEC-FSE-2015-ParkEZNH #approximate #composition #named #programming

FlexJava: language support for safe and modular approximate programming (JP, HE, XZ, MN, WH), pp. 745–757.

ESEC-FSE-2015-HermannREM #java #towards

Getting to know you: towards a capability model for Java (BH, MR, ME, MM), pp. 758–769.

ESEC-FSE-2015-BellKMD #dependence #detection #java #performance

Efficient dependency detection for safe Java test acceleration (JB, GEK, EM, MD), pp. 770–781.

ESEC-FSE-2015-KargenS #slicing #source code #using

Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing (UK, NS), pp. 782–792.

ESEC-FSE-2015-ChenS #difference #implementation #testing #validation

Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.

ESEC-FSE-2015-VasilescuYWDF #git #integration #quality

Quality and productivity outcomes relating to continuous integration in GitHub (BV, YY, HW, PTD, VF), pp. 805–816.

ESEC-FSE-2015-CasalnuovoVDF #developer #experience #git #social

Developer onboarding in GitHub: the role of prior social links and language experience (CC, BV, PTD, VF), pp. 817–828.

ESEC-FSE-2015-FoucaultPBMF #developer #open source #quality

Impact of developer turnover on quality in open-source software (MF, MP, XB, GCM, JRF), pp. 829–841.

ESEC-FSE-2015-SenNGC #execution #multi #named #summary #symbolic computation #using

MultiSE: multi-path symbolic execution using value summaries (KS, GCN, LG, WC), pp. 842–853.

ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread

Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.

ESEC-FSE-2015-BorgesFdP #execution #probability #symbolic computation

Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.

ESEC-FSE-2015-JohnsonPMH #adaptation #concept #developer #tool support

Bespoke tools: adapted to the concepts developers know (BJ, RP, ERMH, SH), pp. 878–881.

ESEC-FSE-2015-BarikJM #research #social

I heart hacker news: expanding qualitative research findings by analyzing social news websites (TB, BJ, ERMH), pp. 882–885.

ESEC-FSE-2015-NorthBSC #developer #named #using

GitSonifier: using sound to portray developer conflict history (KJN, SB, AS, MBC), pp. 886–889.

ESEC-FSE-2015-PhamSS #automation #developer #recommendation

Automatically recommending test code examples to inexperienced developers (RP, YS, KS), pp. 890–893.

ESEC-FSE-2015-XuKB #ubiquitous #using

Using software theater for the demonstration of innovative ubiquitous applications (HX, SK, BB), pp. 894–897.

ESEC-FSE-2015-BusanyM #analysis #behaviour #statistics

Behavioral log analysis with statistical guarantees (NB, SM), pp. 898–901.

ESEC-FSE-2015-XiongH0ZZL

Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.

ESEC-FSE-2015-Cadar #execution #program transformation #symbolic computation

Targeted program transformations for symbolic execution (CC), pp. 906–909.

ESEC-FSE-2015-XuanXM #testing

Crash reproduction via test case mutation: let existing test cases help (JX, XX, MM), pp. 910–913.

ESEC-FSE-2015-RajagopalanH #concurrent #detection #named

RDIT: race detection from incomplete traces (AKR, JH), pp. 914–917.

ESEC-FSE-2015-Yu #concurrent #named #source code #testing

TACO: test suite augmentation for concurrent programs (TY), pp. 918–921.

ESEC-FSE-2015-ZarrasVV #navigation #refactoring

Navigating through the archipelago of refactorings (AVZ, TV, PV), pp. 922–925.

ESEC-FSE-2015-NguyenNDKN #detection #execution #semantics #variability

Detecting semantic merge conflicts with variability-aware execution (HVN, MHN, SCD, CK, TNN), pp. 926–929.

ESEC-FSE-2015-AcherBCBJ #product line

Product lines can jeopardize their trade secrets (MA, GB, BC, BB, JMJ), pp. 930–933.

ESEC-FSE-2015-JeonQFS #java #named #sketching

JSketch: sketching for Java (JJ, XQ, JSF, ASL), pp. 934–937.

ESEC-FSE-2015-DovgalyukDM #debugging #kernel

Don’t panic: reverse debugging of kernel drivers (PD, DD, VM), pp. 938–941.

ESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing #tool support

UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.

ESEC-FSE-2015-ParameshwaranBS15a #framework #named #platform #robust #testing

DexterJS: robust testing platform for DOM-based XSS vulnerabilities (IP, EB, SS, HD, AS, PS), pp. 946–949.

ESEC-FSE-2015-Prasetya #generative #java #named #query #testing

T3i: a tool for generating and querying test suites for Java (ISWBP), pp. 950–953.

ESEC-FSE-2015-ShafferWWMFS #eye tracking #ide #named #re-engineering

iTrace: enabling eye tracking on software artifacts within the IDE to support software engineering tasks (TRS, JLW, BMW, SCM, MF, BS), pp. 954–957.

ESEC-FSE-2015-LiTH #energy #mobile #named #web

Nyx: a display energy optimizer for mobile web apps (DL, AHT, WGJH), pp. 958–961.

ESEC-FSE-2015-0002SGBZ #automation #impact analysis #named #natural language #requirements

NARCIA: an automated tool for change impact analysis in natural language requirements (CA, MS, AG, LCB, FZ), pp. 962–965.

ESEC-FSE-2015-RosenGS #commit #predict #risk management

Commit guru: analytics and risk prediction of software commits (CR, BG, ES), pp. 966–969.

ESEC-FSE-2015-RuscioKKMV #automation #framework #metric #named #open source #platform

OSSMETER: a software measurement platform for automatically analysing open source software projects (DDR, DSK, IK, NDM, JJV), pp. 970–973.

ESEC-FSE-2015-BordingBP

Comprehensive service matching with MatchBox (PB, MB, MCP), pp. 974–977.

ESEC-FSE-2015-LeiteTF #commit #named

UEDashboard: awareness of unusual events in commit histories (LL, CT, FMFF), pp. 978–981.

ESEC-FSE-2015-NasrBAFBSD #architecture #matrix #named

MatrixMiner: a red pill to architect informal product descriptions in the matrix (SBN, GB, MA, JBFF, BB, NS, JMD), pp. 982–985.

ESEC-FSE-2015-RotellaCG #predict #reliability

Predicting field reliability (PR, SC, DG), pp. 986–989.

ESEC-FSE-2015-KimNYCK #api #fault #named #performance #predict #testing

REMI: defect prediction for efficient API testing (MK, JN, JY, SC, SK), pp. 990–993.

ESEC-FSE-2015-Janjua

OnSpot system: test impact visibility during code edits in real software (MUJ), pp. 994–997.

ESEC-FSE-2015-SaraivaBZ #developer #how #n-gram

Products, developers, and milestones: how should I build my N-Gram language model (JS, CB, TZ), pp. 998–1001.

ESEC-FSE-2015-GreenyerHMB #analysis #re-engineering #requirements

Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering (JG, MH, JM, RB), pp. 1002–1005.

ESEC-FSE-2015-MahallySB #case study #development

Barriers and enablers for shortening software development lead-time in mechatronics organizations: a case study (MMM, MS, JB), pp. 1006–1009.

ESEC-FSE-2015-ChengGMSSW #formal method #semantics

Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies (CHC, TG, CM, JOS, MS, PW), pp. 1010–1013.

ESEC-FSE-2015-GhaisasMBGKV #automation #security #towards

Towards automating the security compliance value chain (SG, MM, BB, AG, RK, HMV), pp. 1014–1017.

ESEC-FSE-2015-KoskiM #architecture #lessons learnt #quality #requirements

Requirements, architecture, and quality in a mission critical system: 12 lessons learned (AK, TM), pp. 1018–1021.

ESEC-FSE-2015-Florio #adaptation #distributed #scalability #self

Decentralized self-adaptation in large-scale distributed systems (LF), pp. 1022–1025.

ESEC-FSE-2015-Vost #industrial #integration

Vehicle level continuous integration in the automotive industry (SV), pp. 1026–1029.

ESEC-FSE-2015-Xiao #architecture

Quantifying architectural debts (LX), pp. 1030–1033.

ESEC-FSE-2015-Feth #optimisation #security #trade-off #usability

User-centric security: optimization of the security-usability trade-off (DF), pp. 1034–1037.

ESEC-FSE-2015-Shamshiri #automation #evolution #generative #testing

Automated unit test generation for evolving software (SS), pp. 1038–1041.

ESEC-FSE-2015-White #generative #parametricity #performance #search-based #testing #using

Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.

ESEC-FSE-2015-Moran #android #debugging

Enhancing Android application bug reporting (KM), pp. 1045–1047.

ESEC-FSE-2015-Bernal-Cardenas #android #energy

Improving energy consumption in Android apps (CBC), pp. 1048–1050.

ESEC-FSE-2015-Jain #automation #generative #programming language

Automated generation of programming language quizzes (SJ), pp. 1051–1053.

ESEC-FSE-2015-Vinayakarao #comprehension

Spotting familiar code snippet structures for program comprehension (VV), pp. 1054–1056.

ESEC-FSE-2015-Konopka #dependence #eye tracking #identification #navigation

Combining eye tracking with navigation paths for identification of cross-language code dependencies (MK), pp. 1057–1059.

ESEC-FSE-2015-Olajubu #domain-specific language #modelling

A textual domain specific language for requirement modelling (OO), pp. 1060–1062.

ESEC-FSE-2015-Theisen #approximate #automation

Automated attack surface approximation (CT), pp. 1063–1065.

ESEC-FSE-2015-Makihara #named #programming

Pockets: a tool to support exploratory programming for novices and educators (EM), pp. 1066–1068.