Proceedings of the 36th International Conference on 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

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

SE
DBLP
Scholar
Full names Links ISxN
@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.

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.