BibSLEIGH — Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, Volume 1

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, Volume 1
ICSE, 2015.

@proceedings{ICSE-v1-2015,
	acmid         = "2818754",
	address       = "Florence, Italy",
	isbn          = "978-1-4799-1934-5",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, Volume 1}",
	year          = 2015,
}

Contents (86 items)

ICSE-v1-2015-Silenzi #re-engineering: Software Engineering in Ferrari F1 (CS), p. 3.
ICSE-v1-2015-Landau #metadata #mining: Mining the Metadata — and Its Consequences (SL), pp. 4–5.
ICSE-v1-2015-SiegmundSA #empirical #re-engineering: Views on Internal and External Validity in Empirical Software Engineering (JS, NS, SA), pp. 9–19.
ICSE-v1-2015-Ralph #process #re-engineering: Developing and Evaluating Software Engineering Process Theories (PR), pp. 20–31.
ICSE-v1-2015-DeweyNH #automation #data type #generative: Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
ICSE-v1-2015-YandrapallySS #automation #composition #testing #user interface: Automated Modularization of GUI Test Cases (RY, GS, SS), pp. 44–54.
ICSE-v1-2015-GaoLCMW #interactive #question #testing #what: Making System User Interactive Tests Repeatable: When and What Should We Control? (ZG, YL, MBC, AMM, ZW), pp. 55–65.
ICSE-v1-2015-PastoreM #detection #named: ZoomIn: Discovering Failures by Detecting Wrong Assertions (FP, LM), pp. 66–76.
ICSE-v1-2015-OcteauLDJM #analysis #android #communication #component #constant: Composite Constant Propagation: Application to Android Inter-Component Communication Analysis (DO, DL, MD, SJ, PM), pp. 77–88.
ICSE-v1-2015-YangYWWR #analysis #android #control flow: Static Control-Flow Analysis of User-Driven Callbacks in Android Applications (SY, DY, HW, YW, AR), pp. 89–99.
ICSE-v1-2015-GuiMNH #developer #mobile: Truth in Advertising: The Hidden Cost of Mobile Ads for Software Developers (JG, SM, MN, WGJH), pp. 100–110.
ICSE-v1-2015-ZhangSPK #code review #interactive #overview: Interactive Code Review for Systematic Changes (TZ, MS, JP, MK), pp. 111–122.
ICSE-v1-2015-VakilianSMM #automation #composition: Automated Decomposition of Build Targets (MV, RS, JDM, VM), pp. 123–133.
ICSE-v1-2015-BarnettBBL #automation #code review #composition #developer #overview: Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets (MB, CB, JB, SKL), pp. 134–144.
ICSE-v1-2015-GopanDNNLM: Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery (DG, ED, DN, DN, AL, DM), pp. 145–155.
ICSE-v1-2015-CarzanigaMP: Measuring Software Redundancy (AC, AM, MP), pp. 156–166.
ICSE-v1-2015-PanW0G #analysis #javascript: Gray Computing: An Analysis of Computing with Background JavaScript Tasks (YP, JW, YS, JG), pp. 167–177.
ICSE-v1-2015-RheinGAS0B #configuration management: Presence-Condition Simplification in Highly Configurable Systems (AvR, AG, SA, NS, DB, TB), pp. 178–188.
ICSE-v1-2015-Ben-DavidSAB #model checking #product line #requirements #satisfiability #using: Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods (SBD, BS, JMA, SB), pp. 189–199.
ICSE-v1-2015-FilieriGL #adaptation #learning #lightweight #modelling #performance #probability: Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.
ICSE-v1-2015-LeeMJ #ide #named: Tempura: Temporal Dimension for IDEs (YYL, DM, REJ), pp. 212–222.
ICSE-v1-2015-YoonM #editing #undo: Supporting Selective Undo in a Code Editor (YY, BAM), pp. 223–233.
ICSE-v1-2015-VakilianPEJ #named: Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool (MV, AP, MDE, REJ), pp. 234–245.
ICSE-v1-2015-TerragniCZ #concurrent #effectiveness #named #source code #testing: RECONTEST: Effective Regression Testing of Concurrent Programs (VT, SCC, CZ), pp. 246–256.
ICSE-v1-2015-YiYLZW #analysis #testing: A Synergistic Analysis Method for Explaining Failed Regression Tests (QY, ZY, JL, CZ, CW), pp. 257–267.
ICSE-v1-2015-SahaZKP #approach #information retrieval #testing: An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes (RKS, LZ, SK, DEP), pp. 268–279.
ICSE-v1-2015-LiBBKTARBOM #android #component #detection #named #privacy: IccTA: Detecting Inter-Component Privacy Leaks in Android Apps (LL, AB, TFB, JK, YLT, SA, SR, EB, DO, PM), pp. 280–291.
ICSE-v1-2015-YskoutSJ #design #question #security: Do Security Patterns Really Help Designers? (KY, RS, WJ), pp. 292–302.
ICSE-v1-2015-YangXALXE #behaviour #mobile #named #using: AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context (WY, XX, BA, SL, TX, WE), pp. 303–313.
ICSE-v1-2015-PradelSS #analysis #consistency #javascript #named #nondeterminism: TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (MP, PS, KS), pp. 314–324.
ICSE-v1-2015-OcarizaP0 #consistency #detection #javascript #mvc #nondeterminism: Detecting Inconsistencies in JavaScript MVC Applications (FSOJ, KP, AM), pp. 325–335.
ICSE-v1-2015-FazziniSO #automation #csp #named #web: AutoCSP: Automatically Retrofitting CSP to Web Applications (MF, PS, AO), pp. 336–346.
ICSE-v1-2015-WatermanNA #agile #architecture #how: How Much Up-Front? A Grounded theory of Agile Architecture (MW, JN, GA), pp. 347–357.
ICSE-v1-2015-GousiosZSD #challenge #development #perspective: Work Practices and Challenges in Pull-Based Development: The Integrator’s Perspective (GG, AZ, MADS, AvD), pp. 358–368.
ICSE-v1-2015-SmithBZ #exclamation #scalability #tool support: Build It Yourself! Homegrown Tools in a Large Software Company (EKS, CB, TZ), pp. 369–379.
ICSE-v1-2015-LiebigJGAL #named #refactoring #variability: Morpheus: Variability-Aware Refactoring in the Wild (JL, AJ, FG, SA, CL), pp. 380–391.
ICSE-v1-2015-HuaKM #automation #editing #question #refactoring: Does Automated Refactoring Obviate Systematic Editing? (LH, MK, KSM), pp. 392–402.
ICSE-v1-2015-TufanoPBOPLP #smell #why: When and Why Your Code Starts to Smell Bad (MT, FP, GB, RO, MDP, ADL, DP), pp. 403–414.
ICSE-v1-2015-ZhuHFZLZ #developer #learning: Learning to Log: Helping Developers Make Informed Logging Decisions (JZ, PH, QF, HZ, MRL, DZ), pp. 415–425.
ICSE-v1-2015-AvdiienkoKGZARB #mining: Mining Apps for Abnormal Usage of Sensitive Data (VA, KK, AG, AZ, SA, SR, EB), pp. 426–436.
ICSE-v1-2015-AvgustinovBHLMM #developer #static analysis: Tracking Static Analysis Violations over Time to Capture Developer Characteristics (PA, AIB, ASH, RGL, GM, OdM, MS, JT), pp. 437–447.
ICSE-v1-2015-MechtaevYR #named #program repair: DirectFix: Looking for Simple Program Repairs (SM, JY, AR), pp. 448–458.
ICSE-v1-2015-GaoXMZYZXM #c #source code: Safe Memory-Leak Fixing for C Programs (QG, YX, YM, LZ, WY, ZZ, BX, HM), pp. 459–470.
ICSE-v1-2015-TanR #automation #named: relifix: Automated Repair of Software Regressions (SHT, AR), pp. 471–482.
ICSE-v1-2015-HerzigGCM #quality #testing: The Art of Testing Less without Sacrificing Quality (KH, MG, JC, BM), pp. 483–493.
ICSE-v1-2015-WinterSNSC #fault #injection #parallel: No PAIN, No Gain? The Utility of PArallel Fault INjections (SW, OS, RN, NS, DC), pp. 494–505.
ICSE-v1-2015-WhalenPRSG #approach #flexibility #metric: A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics (MWW, SP, NR, MS, DG), pp. 506–516.
ICSE-v1-2015-HenardPHT #configuration management #constraints #multi #product line #scalability #theorem proving: Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines (CH, MP, MH, YLT), pp. 517–528.
ICSE-v1-2015-ZouWXZSM #algorithm #detection #float #search-based: A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies (DZ, RW, YX, LZ, ZS, HM), pp. 529–539.
ICSE-v1-2015-JiaCHP #combinator #generative #interactive #learning #testing #using: Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search (YJ, MBC, MH, JP), pp. 540–550.
ICSE-v1-2015-LaTozaCJZH #case study #contest #design: Borrowing from the Crowd: A Study of Recombination in Software Design Competitions (TDL, MC, LJ, MZ, AvdH), pp. 551–562.
ICSE-v1-2015-JoblinMASR #approach #community #developer #fine-grained #network: From Developer Networks to Verified Communities: A Fine-Grained Approach (MJ, WM, SA, JS, DR), pp. 563–573.
ICSE-v1-2015-KalliamvakouDBS #collaboration #development #git #open source #using: Open Source-Style Collaborative Development Practices in Commercial Projects Using GitHub (EK, DED, KB, LS, DMG), pp. 574–585.
ICSE-v1-2015-WeissRL #fault #program analysis #scalability: Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.
ICSE-v1-2015-SadowskiGJSW #ecosystem #named #program analysis: Tricorder: Building a Program Analysis Ecosystem (CS, JvG, CJ, ES, CW), pp. 598–608.
ICSE-v1-2015-MilicevicNKJ #constraints #higher-order #relational #theorem proving: Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (AM, JPN, EK, DJ), pp. 609–619.
ICSE-v1-2015-WongZWLT #automation #execution #named #symbolic computation #testing: DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.
ICSE-v1-2015-QiuYPK #composition #execution #symbolic computation: Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.
ICSE-v1-2015-ZhangCWD0 #execution #symbolic computation: Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.
ICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation #testing: Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
ICSE-v1-2015-SalmanMJ #question #re-engineering #student: Are Students Representatives of Professionals in Software Engineering Experiments? (IS, ATM, NJJ), pp. 666–676.
ICSE-v1-2015-LavalleeR #case study #developer #quality #why: Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational Factors on Software Quality (ML, PNR), pp. 677–687.
ICSE-v1-2015-MullerF #developer: Stuck and Frustrated or in Flow and Happy: Sensing Developers’ Emotions and Progress (SCM, TF), pp. 688–699.
ICSE-v1-2015-LiKZ #question #what: What Makes a Great Software Engineer? (PLL, AJK, JZ), pp. 700–710.
ICSE-v1-2015-BaresiKR #ltl #performance #scalability #specification #verification: Efficient Scalable Verification of LTL Specifications (LB, MMPK, MR), pp. 711–721.
ICSE-v1-2015-MatichukMAJKS #empirical #formal method #towards #verification: Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification (DM, TCM, JA, DRJ, GK, MS), pp. 722–732.
ICSE-v1-2015-RegisDDA #logic #specification: Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.
ICSE-v1-2015-BocicB #performance #verification: Coexecutability for Efficient Verification of Data Model Updates (IB, TB), pp. 744–754.
ICSE-v1-2015-CasalnuovoDOFR #git: Assert Use in GitHub Projects (CC, PTD, AO, VF, BR), pp. 755–766.
ICSE-v1-2015-ZhuLL #programming: A Programming Model for Sustainable Software (HSZ, CL, YDL), pp. 767–777.
ICSE-v1-2015-NanzF #case study #comparative #programming language: A Comparative Study of Programming Languages in Rosetta Code (SN, CAF), pp. 778–788.
ICSE-v1-2015-GhotraMH #classification #fault #modelling #performance #predict: Revisiting the Impact of Classification Techniques on the Performance of Defect Prediction Models (BG, SM, AEH), pp. 789–800.
ICSE-v1-2015-PetersML #fault #named #predict #privacy: LACE2: Better Privacy-Preserving Data Sharing for Cross Project Defect Prediction (FP, TM, LL), pp. 801–811.
ICSE-v1-2015-Tantithamthavorn #fault #modelling #performance #predict: The Impact of Mislabelling on the Performance and Interpretation of Defect Prediction Models (CT, SM, AEH, AI, KiM), pp. 812–823.
ICSE-v1-2015-YuanWWLYHFLCG #concurrent #debugging #named #using: ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks (XY, CW, ZW, JL, PCY, JH, XF, YL, YC, YG), pp. 824–834.
ICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code #thread: Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
ICSE-v1-2015-HuangLR #analysis #concurrent #named #predict: GPredict: Generic Predictive Concurrency Analysis (JH, QL, GR), pp. 847–857.
ICSE-v1-2015-NguyenN #graph #statistics: Graph-Based Statistical Language Model for Code (ATN, TNN), pp. 858–868.
ICSE-v1-2015-PetrosyanRM #api #classification #information management #using: Discovering Information Explaining API Types Using Text Classification (GP, MPR, RDM), pp. 869–879.
ICSE-v1-2015-MorenoBPOM #how #question: How Can I Use This Method? (LM, GB, MDP, RO, AM), pp. 880–890.
ICSE-v1-2015-PhamNRR #named: Hercules: Reproducing Crashes in Real-World Application Binaries (VTP, WBN, KR, AR), pp. 891–901.
ICSE-v1-2015-NistorCRL #detection #named #performance #problem: CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes (AN, PCC, CR, SL), pp. 902–912.
ICSE-v1-2015-ZhongS #debugging #empirical: An Empirical Study on Real Bug Fixes (HZ, ZS), pp. 913–923.
ICSE-v1-2015-YuBC #approach #fault #multi #testing: Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests (ZY, CB, KYC), pp. 924–935.
ICSE-v1-2015-PapadakisJHT #compilation #detection #effectiveness #empirical #equivalence #performance #scalability: Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique (MP, YJ, MH, YLT), pp. 936–946.
ICSE-v1-2015-DenaroMPV #data flow #object-oriented #testing: Dynamic Data Flow Testing of Object Oriented Systems (GD, AM, MP, MV), pp. 947–958.

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, Volume 1ICSE, 2015.

Contents (86 items)

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, Volume 1
ICSE, 2015.