BibSLEIGH — Proceedings of the 36th International Conference on Software Engineering

Pankaj Jalote, Lionel C. Briand, André van der Hoek
Proceedings of the 36th International Conference on Software Engineering
ICSE, 2014.

@proceedings{ICSE-2014,
	acmid         = "2568225",
	address       = "Hyderabad, India",
	editor        = "Pankaj Jalote and Lionel C. Briand and André van der Hoek",
	isbn          = "978-1-4503-2756-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 36th International Conference on Software Engineering}",
	year          = 2014,
}

Contents (97 items)

ICSE-2014-Murphy-HillZN #development #game studies #how #quality #question #video: Cowboys, ankle sprains, and keepers of quality: how is video game development different from software development? (ERMH, TZ, NN), pp. 1–11.
ICSE-2014-BegelZ #exclamation #re-engineering: Analyze this! 145 questions for data scientists in software engineering (AB, TZ), pp. 12–13.
ICSE-2014-RalphK #re-engineering: The dimensions of software engineering success (PR, PK), pp. 24–35.
ICSE-2014-KhadkaBSJH #how #legacy #question: How do professionals perceive legacy systems and software modernization? (RK, BVB, AS, SJ, JH), pp. 36–47.
ICSE-2014-YuSR #automation #framework #named #testing: SimRT: an automated framework to support regression testing for data races (TY, WSa, GR), pp. 48–59.
ICSE-2014-HuangMSZ #analysis #performance #testing: Performance regression testing target prioritization via performance risk analysis (PH, XM, DS, YZ), pp. 60–71.
ICSE-2014-GopinathJG #developer #evaluation #test coverage: Code coverage for suite evaluation by developers (RG, CJ, AG), pp. 72–82.
ICSE-2014-MantylaPLL #development #empirical #overview #perspective #requirements #testing: Time pressure: a controlled experiment of test case development and requirements review (MM, KP, TOAL, CL), pp. 83–94.
ICSE-2014-MaozRR #component #modelling #verification: Verifying component and connector models against crosscutting structural views (SM, JOR, BR), pp. 95–105.
ICSE-2014-BagheriTS #automation #dynamic analysis #named: TradeMaker: automated dynamic analysis of synthesized tradespaces (HB, CT, KJS), pp. 106–116.
ICSE-2014-SalayFRSC #model transformation #product line: Lifting model transformations to product lines (RS, MF, JR, ADS, MC), pp. 117–128.
ICSE-2014-DegiovanniAAU #automation #satisfiability: Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.
ICSE-2014-NadiBKC #analysis #constraints #empirical #mining: Mining configuration constraints: static analyses and empirical results (SN, TB, CK, KC), pp. 140–151.
ICSE-2014-ZhangE #configuration management #question: Which configuration option should I change? (SZ, MDE), pp. 152–163.
ICSE-2014-LinXXLPSZ #detection #difference #multi: Detecting differences across multiple instances of code clones (YL, ZX, YX, YL, XP, JS, WZ), pp. 164–174.
ICSE-2014-ChenLZ #android #detection #scalability: Achieving accuracy and scalability simultaneously in detecting application clones on Android markets (KC, PL, YZ), pp. 175–186.
ICSE-2014-StolF #case study #crowdsourcing #development: Two’s company, three’s a crowd: a case study of crowdsourcing software development (KJS, BF), pp. 187–198.
ICSE-2014-WagstromD #development #scalability: Does latitude hurt while longitude kills? geographical and temporal separation in a large scale software development project (PW, SD), pp. 199–210.
ICSE-2014-SingerFS #developer #how #re-engineering #twitter #using: Software engineering at the speed of light: how developers stay current using twitter (LS, FMFF, MADS), pp. 211–221.
ICSE-2014-XuanF #development: Building it together: synchronous development in OSS (QX, VF), pp. 222–233.
ICSE-2014-Monperrus #automation #evaluation #generative #overview #problem: A critical review of “automatic patch generation learned from human-written patches”: essay on the problem statement and the evaluation of automatic software repair (MM), pp. 234–242.
ICSE-2014-GopinathKSC #data-driven: Data-guided repair of selection statements (DG, SK, DS, SC), pp. 243–253.
ICSE-2014-QiMLDW #automation #program repair #random: The strength of random search on automated program repair (YQ, XM, YL, ZD, CW), pp. 254–265.
ICSE-2014-KaleeswaranTKO #automation #named #synthesis: MintHint: automated synthesis of repair hints (SK, VT, AK, AO), pp. 266–276.
ICSE-2014-GhezziPST #behaviour #mining #modelling #web: Mining behavior models from user-intensive web applications (CG, MP, MS, GT), pp. 277–287.
ICSE-2014-ArztB #analysis #data flow #incremental #named: Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes (SA, EB), pp. 288–298.
ICSE-2014-FilieriHM #adaptation #automation #design #self: Automated design of self-adaptive software with control-theoretical formal guarantees (AF, HH, MM), pp. 299–310.
ICSE-2014-SuR #analysis #empirical #parametricity #probability: Perturbation analysis of stochastic systems with empirical distribution parameters (GS, DSR), pp. 311–321.
ICSE-2014-BrindescuCSD #distributed #how #question #version control: How do centralized and distributed version control systems impact software changes? (CB, MC, SS, DD), pp. 322–333.
ICSE-2014-MusluBNC #case study #distributed #version control: Transition from centralized to decentralized version control systems: a case study on reasons, barriers, and outcomes (KM, CB, NN, JC), pp. 334–344.
ICSE-2014-GousiosPD #case study #development: An exploratory study of the pull-based software development model (GG, MP, AvD), pp. 345–355.
ICSE-2014-TsayDH #git #social: Influence of social and technical factors for evaluating contribution in GitHub (JT, LD, JDH), pp. 356–366.
ICSE-2014-AlimadadiSMP #comprehension #interactive #javascript: Understanding JavaScript event-based interactions (SA, SS, AM, KP), pp. 367–377.
ICSE-2014-SiegmundKAPBLSB #comprehension #functional #source code: Understanding understanding source code with functional magnetic resonance imaging (JS, CK, SA, CP, AB, TL, GS, AB), pp. 378–389.
ICSE-2014-RodegheroMMBD #automation #source code #summary: Improving automated source code summarization via an eye-tracking study of programmers (PR, CM, PWM, NB, SKD), pp. 390–401.
ICSE-2014-FritzBMYZ #development #metric #using: Using psycho-physiological measures to assess task difficulty in software development (TF, AB, SCM, SYE, MZ), pp. 402–413.
ICSE-2014-JingYZWL #fault #learning #predict #taxonomy: Dictionary learning based software defect prediction (XYJ, SY, ZWZ, SSW, JL), pp. 414–423.
ICSE-2014-RahmanKBD #debugging #predict #statistics: Comparing static bug finders and statistical prediction (FR, SK, ETB, PTD), pp. 424–434.
ICSE-2014-InozemtsevaH #correlation #effectiveness #testing: Coverage is not strongly correlated with test suite effectiveness (LI, RH), pp. 435–445.
ICSE-2014-MinkuY #estimation #how #question #using: How to make best use of cross-company data in software effort estimation? (LLM, XY), pp. 446–456.
ICSE-2014-JiangGXML #concurrent #java #named #source code: CARE: cache guided deterministic replay for concurrent Java programs (YJ, TG, CX, XM, JL), pp. 457–467.
ICSE-2014-BeschastnikhBEK #behaviour #concurrent #modelling: Inferring models of concurrent systems from logs of their behavior with CSight (IB, YB, MDE, AK), pp. 468–479.
ICSE-2014-CaiWC #approach #constraints #dynamic analysis #named #parallel #source code #thread: ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (YC, SW, WKC), pp. 491–502.
ICSE-2014-ManotasPC #energy #framework #named: SEEDS: a software engineer’s energy-optimization decision support framework (ILMG, LLP, JC), pp. 503–514.
ICSE-2014-NikzadCG #development #energy #middleware #mobile #named: APE: an annotation language and middleware for energy-efficient mobile application development (NN, OC, WGG), pp. 515–526.
ICSE-2014-LiTH #energy #performance #smarttech #web: Making web applications more energy efficient for OLED smartphones (DL, AHT, WGJH), pp. 527–538.
ICSE-2014-Godefroid #execution: Micro execution (PG), pp. 539–549.
ICSE-2014-BellK #testing: Unit test virtualization with VMVM (JB, GEK), pp. 550–561.
ICSE-2014-TonellaTN #modelling #n-gram #testing: Interpolated n-grams for model based testing (PT, RT, DCN), pp. 562–572.
ICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing: An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
ICSE-2014-CachoCFSCSGBG #c# #empirical #evolution #maintenance #robust #source code: Trading robustness for maintainability: an empirical study of evolving c# programs (NC, TC, TF, ES, AC, RS, IG, EAB, AG), pp. 584–595.
ICSE-2014-SchillerDCE #case study #contract #specification #tool support: Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.
ICSE-2014-NguyenKWF #dynamic analysis #invariant #using: Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.
ICSE-2014-BocicB #induction #invariant #verification #web: Inductive verification of data model invariants for web applications (IB, TB), pp. 620–631.
ICSE-2014-EndrikatHRS #api #documentation #how #question #static typing #type system #usability: How do API documentation and static typing affect API usability? (SE, SH, RR, AS), pp. 632–642.
ICSE-2014-SubramanianIH #api #documentation: Live API documentation (SS, LI, RH), pp. 643–652.
ICSE-2014-GalensonRBHS #interactive #named #synthesis: CodeHint: dynamic and interactive synthesis of code snippets (JG, PR, RB, BH, KS), pp. 653–663.
ICSE-2014-KeivanlooRZ: Spotting working code examples (IK, JR, YZ), pp. 664–675.
ICSE-2014-ChenPYNZ #adaptation #generative #incremental #model transformation #runtime #self: Self-adaptation through incremental generative model transformations at runtime (BC, XP, YY, BN, WZ), pp. 676–687.
ICSE-2014-DIppolitoBKMSU #adaptation #multi: Hope for the best, prepare for the worst: multi-tier control for adaptive systems (ND, VAB, JK, JM, DS, SU), pp. 688–699.
ICSE-2014-KleinMAH #named #robust: Brownout: building more robust cloud applications (CK, MM, KEÅ, FHR), pp. 700–711.
ICSE-2014-AkikiBY #adaptation #enterprise #user interface: Integrating adaptive user interface capabilities in enterprise applications (PAA, AKB, YY), pp. 712–723.
ICSE-2014-SeoSEAB #case study #fault: Programmers’ build errors: a case study (at google) (HS, CS, SGE, EA, RWB), pp. 724–734.
ICSE-2014-PhillipsZB #comprehension: Understanding and improving software build teams (SP, TZ, CB), pp. 735–744.
ICSE-2014-IgnatievJM #optimisation #performance #towards: Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.
ICSE-2014-VouillonDC #component #evolution #repository: Easing software component repository evolution (JV, MD, RDC), pp. 756–766.
ICSE-2014-ChenLHXZ #developer #mining #mobile #named: AR-miner: mining informative reviews for developers from mobile app marketplace (NC, JL, SCHH, XX, BZ), pp. 767–778.
ICSE-2014-NguyenNNN #interprocedural #javascript #mining #web: Mining interprocedural, data-oriented usage patterns in JavaScript web applications (HVN, HAN, ATN, TNN), pp. 791–802.
ICSE-2014-NegaraCDJ #detection #fine-grained #mining: Mining fine-grained code changes to detect unknown change patterns (SN, MC, DD, REJ), pp. 803–813.
ICSE-2014-LeeJP #behaviour #detection #machine learning #memory management #modelling #using: Detecting memory leaks through introspective dynamic behavior modelling using machine learning (SL, CJ, SP), pp. 814–824.
ICSE-2014-JungLRP #automation #detection #memory management: Automated memory leak detection for production use (CJ, SL, ER, SP), pp. 825–836.
ICSE-2014-OcarizaPM #fault #javascript #named: Vejovis: suggesting fixes for JavaScript faults (FSOJ, KP, AM), pp. 837–847.
ICSE-2014-DouCW #ambiguity #detection #smell #spreadsheet: Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation (WD, SCC, JW), pp. 848–858.
ICSE-2014-ShethKM #case study #privacy #requirements: Us and them: a study of privacy requirements across north america, asia, and europe (SS, GEK, WM), pp. 859–870.
ICSE-2014-ThomasBPN #mobile #privacy #requirements: Distilling privacy requirements for mobile applications (KT, AKB, BAP, BN), pp. 871–882.
ICSE-2014-LetierSB #architecture #nondeterminism #requirements: Uncertainty, risk, and information value in software requirements and architecture (EL, DS, ETB), pp. 883–894.
ICSE-2014-MohananiRS #requirements: Requirements fixation (RM, PR, BS), pp. 895–906.
ICSE-2014-NguyenKN #execution #testing #variability #web: Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.
ICSE-2014-YaoHJ #analysis #case study #equivalence #using: A study of equivalent and stubborn mutation operators using human analysis of equivalence (XY, MH, YJ), pp. 919–930.
ICSE-2014-CarzanigaGGMP: Cross-checking oracles from intrinsic software redundancy (AC, AG, AG, AM, MP), pp. 931–942.
ICSE-2014-RempelMKC #consistency #guidelines #traceability: Mind the gap: assessing the conformance of software traceability to relevant guidelines (PR, PM, TK, JCH), pp. 943–954.
ICSE-2014-ZayanAC #comprehension #empirical #using: Effects of using examples on structural model comprehension: a controlled experiment (DZ, MA, KC), pp. 955–966.
ICSE-2014-XiaoCK #architecture #design: Design rule spaces: a new form of architecture insight (LX, YC, RK), pp. 967–977.
ICSE-2014-MiyashitaTA #modelling #spreadsheet #using: Controlled modeling environment using flexibly-formatted spreadsheets (HM, HT, SA), pp. 978–988.
ICSE-2014-RibeiroBK #interface #maintenance: Feature maintenance with emergent interfaces (MR, PB, CK), pp. 989–1000.
ICSE-2014-ChenSJHNF #anti #detection #performance #using: Detecting performance anti-patterns for applications developed using object-relational mapping (THC, WS, ZMJ, AEH, MNN, PF), pp. 1001–1012.
ICSE-2014-LiuXC #debugging #detection #performance #smarttech: Characterizing and detecting performance bugs for smartphone applications (YL, CX, SCC), pp. 1013–1024.
ICSE-2014-GorlaTGZ #behaviour: Checking app behavior against app descriptions (AG, IT, FG, AZ), pp. 1025–1035.
ICSE-2014-HuangZTWL #android #behaviour #detection #named #user interface: AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction (JH, XZ, LT, PW, BL), pp. 1036–1046.
ICSE-2014-LeP #control flow #graph #interprocedural #multi #verification: Patch verification via multiversion interprocedural control flow graphs (WL, SDP), pp. 1047–1058.
ICSE-2014-YangKPR #difference #incremental: Property differencing for incremental checking (GY, SK, SP, NR), pp. 1059–1070.
ICSE-2014-HeWYZ #learning #reasoning: Symbolic assume-guarantee reasoning through BDD learning (FH, BYW, LY, LZ), pp. 1071–1082.
ICSE-2014-AvgerinosRCB #execution #symbolic computation: Enhancing symbolic execution with veritesting (TA, AR, SKC, DB), pp. 1083–1094.
ICSE-2014-GeM #automation #refactoring #validation: Manual refactoring changes with automated refactoring validation (XG, ERMH), pp. 1095–1105.
ICSE-2014-VakilianJ #problem #refactoring #usability: Alternate refactoring paths reveal usability problems (MV, REJ), pp. 1106–1116.
ICSE-2014-OkurHDD #c# #case study #programming #tool support: A study and toolkit for asynchronous programming in c# (SO, DLH, DD, AvD), pp. 1117–1127.
ICSE-2014-KimSZXA #component #functional #reuse #reverse engineering: Reuse-oriented reverse engineering of functional components from x86 binaries (DK, WNS, XZ, DX, HA), pp. 1128–1139.

Pankaj Jalote, Lionel C. Briand, André van der HoekProceedings of the 36th International Conference on Software EngineeringICSE, 2014.

Contents (97 items)

Pankaj Jalote, Lionel C. Briand, André van der Hoek
Proceedings of the 36th International Conference on Software Engineering
ICSE, 2014.