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

David Notkin, Betty H. C. Cheng, Klaus Pohl
Proceedings of the 35th International Conference on Software Engineering
ICSE, 2013.

@proceedings{ICSE-2013,
	acmid         = "2486788",
	address       = "San Francisco, California, USA",
	editor        = "David Notkin and Betty H. C. Cheng and Klaus Pohl",
	isbn          = "978-1-4673-3076-3",
	publisher     = "{IEEE / ACM}",
	title         = "{Proceedings of the 35th International Conference on Software Engineering}",
	year          = 2013,
}

Contents (211 items)

ICSE-2013-InverardiT #automation #composition #protocol #synthesis: Automatic synthesis of modular connectors via composition of protocol mediation patterns (PI, MT), pp. 3–12.
ICSE-2013-BoyerGP #component #configuration management #robust: Robust reconfigurations of component assemblies (FB, OG, DP), pp. 13–22.
ICSE-2013-LeeCJ #performance #program transformation #refactoring: Drag-and-drop refactoring: intuitive and efficient program transformation (YYL, NC, REJ), pp. 23–32.
ICSE-2013-GhezziPST #adaptation #modelling #non-functional #nondeterminism: Managing non-functional uncertainty via model-driven adaptivity (CG, LSP, PS, GT), pp. 33–42.
ICSE-2013-EsfahaniMR #architecture #named #nondeterminism: GuideArch: guiding the exploration of architectural solution space under uncertainty (NE, SM, KR), pp. 43–52.
ICSE-2013-DornT #adaptation #architecture: Coupling software architecture and human architecture for collaboration-aware system adaptation (CD, RNT), pp. 53–62.
ICSE-2013-SykesCMKRI #adaptation #learning #modelling: Learning revised models for planning in adaptive systems (DS, DC, JM, JK, AR, KI), pp. 63–71.
ICSE-2013-GomezNAM #android #named: RERAN: timing- and touch-sensitive record and replay for Android (LG, IN, TA, TDM), pp. 72–81.
ICSE-2013-GokhaleGP #api: Inferring likely mappings between APIs (AG, VG, YP), pp. 82–91.
ICSE-2013-HaoLHG #energy #mobile #program analysis #using: Estimating mobile application energy consumption using program analysis (SH, DL, WGJH, RG), pp. 92–101.
ICSE-2013-WhalenGYHS: Observable modified Condition/Decision coverage (MWW, GG, DY, MPEH, MS), pp. 102–111.
ICSE-2013-PhamSLFS #comprehension #social #testing: Creating a shared understanding of testing culture on a social coding site (RP, LS, OL, FMFF, KS), pp. 112–121.
ICSE-2013-BounimovaGM #constraints #testing: Billions and billions of constraints: whitebox fuzz testing in production (EB, PG, DAM), pp. 122–131.
ICSE-2013-GargIBMG #c #c++ #execution #generative #testing #using: Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
ICSE-2013-CotroneoPR #testing: A learning-based method for combining testing techniques (DC, RP, SR), pp. 142–151.
ICSE-2013-SwearnginCJB #performance #testing: Human performance regression testing (AS, MBC, BEJ, RKEB), pp. 152–161.
ICSE-2013-ThummalapentaLSSC #generative #testing #web: Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.
ICSE-2013-HassanA #data flow #multi: Comparing multi-point stride coverage and dataflow coverage (MMH, JHA), pp. 172–181.
ICSE-2013-BlueSTZ #testing: Interaction-based test-suite minimization (DB, IS, RTB, AZ), pp. 182–191.
ICSE-2013-ZhangH0RM #testing: Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.
ICSE-2013-TianD #detection #model checking: Detecting spurious counterexamples efficiently in abstract model checking (CT, ZD), pp. 202–211.
ICSE-2013-Le #analysis: Segmented symbolic analysis (WL), pp. 212–221.
ICSE-2013-HatcliffRCB #execution #framework #symbolic computation #verification: Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.
ICSE-2013-NelsonSDFK #named: Aluminum: principled scenario exploration through minimality (TN, SS, DJD, KF, SK), pp. 232–241.
ICSE-2013-MaozS #specification: Counter play-out: executing unrealizable scenario-based specifications (SM, YS), pp. 242–251.
ICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification: Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.
ICSE-2013-PolikarpovaF0WM #question #specification #what: What good are strong specifications? (NP, CAF, YP, YW, BM), pp. 262–271.
ICSE-2013-SumnerZ #comparative #difference: Comparative causality: explaining the differences between executions (WNS, XZ), pp. 272–281.
ICSE-2013-PradelG #automation #concurrent #testing: Automatic testing of sequential and concurrent substitutability (MP, TRG), pp. 282–291.
ICSE-2013-HermansSPD #clone detection #detection #spreadsheet #visualisation: Data clone detection and visualization in spreadsheets (FH, BS, MP, AvD), pp. 292–301.
ICSE-2013-BohmeOR #verification: Partition-based regression verification (MB, BCdSO, AR), pp. 302–311.
ICSE-2013-ZhangE #automation #fault: Automated diagnosis of software configuration errors (SZ, MDE), pp. 312–321.
ICSE-2013-MarinoHDVTV #concurrent #detection #source code: Detecting deadlock in programs with data-centric synchronization (DM, CH, JD, MV, FT, JV), pp. 322–331.
ICSE-2013-Murphy-HillZBN #debugging #design: The design of bug fixes (ERMH, TZ, CB, NN), pp. 332–341.
ICSE-2013-BortisH #approach #debugging #named: PorchLight: a tag-based approach to bug triaging (GB, AvdH), pp. 342–351.
ICSE-2013-KhooFH #debugging #named: Expositor: scriptable time-travel debugging with first-class traces (YPK, JSF, MH), pp. 352–361.
ICSE-2013-BellSK #lightweight #named: Chronicler: lightweight recording to reproduce field failures (JB, NS, GEK), pp. 362–371.
ICSE-2013-LewisLSZOW #case study #debugging #developer #predict: Does bug prediction support human developers? findings from a google case study (CL, ZL, CS, XZ, RO, EJWJ), pp. 372–381.
ICSE-2013-NamPK #fault #learning: Transfer defect learning (JN, SJP, SK), pp. 382–391.
ICSE-2013-HerzigJZ #classification #debugging #how #predict: It’s not a bug, it’s a feature: how misclassification impacts bug prediction (KH, SJ, AZ), pp. 392–401.
ICSE-2013-ShangJHAHM #big data #data analysis #developer: Assisting developers of big data analytics applications when deploying on hadoop clouds (WS, ZMJ, HH, BA, AEH, PM), pp. 402–411.
ICSE-2013-VouillonC #evolution #repository #set: Broken sets in software repository evolution (JV, RDC), pp. 412–421.
ICSE-2013-DyerNRN #framework #named #repository #scalability: Boa: a language and infrastructure for analyzing ultra-large-scale software repositories (RD, HAN, HR, TNN), pp. 422–431.
ICSE-2013-RahmanD #how #metric #process #why: How, and why, process metrics are better (FR, PTD), pp. 432–441.
ICSE-2013-DamianHKMK #communication #coordination: The role of domain knowledge and cross-functional communication in socio-technical coordination (DD, RH, IK, SM, BK), pp. 442–451.
ICSE-2013-PosnettDDF #development #metric: Dual ecological measures of focus in software development (DP, RMD, PTD, VF), pp. 452–461.
ICSE-2013-FerrucciHRS #multi #re-engineering: Not going to take this anymore: multi-objective overtime planning for software engineering projects (FF, MH, JR, FS), pp. 462–471.
ICSE-2013-CordySHL #model checking #multi #product line: Beyond boolean product-line model checking: dealing with feature attributes and multi-features (MC, PYS, PH, AL), pp. 472–481.
ICSE-2013-ApelRWGB #case study #product line #verification: Strategies for product-line verification: case studies and experiments (SA, AvR, PW, AG, DB), pp. 482–491.
ICSE-2013-SayyadMA #case study #on the #product line #re-engineering #search-based: On the value of user preferences in search-based software engineering: a case study in software product lines (ASS, TM, HA), pp. 492–501.
ICSE-2013-MengKM #learning #named: LASE: locating and applying systematic edits by learning from examples (NM, MK, KSM), pp. 502–511.
ICSE-2013-FreyFH #configuration management #deployment #in the cloud #optimisation #search-based: Search-based genetic optimization for deployment and reconfiguration of software in the cloud (SF, FF, WH), pp. 512–521.
ICSE-2013-PanichellaDOPPL #algorithm #approach #effectiveness #how #modelling #re-engineering #search-based #topic: How to effectively use topic models for software engineering tasks? an approach based on genetic algorithms (AP, BD, RO, MDP, DP, ADL), pp. 522–531.
ICSE-2013-BartensteinL #data-driven: Green streams for data-intensive software (TB, YDL), pp. 532–541.
ICSE-2013-TanA00DC #composition #synthesis: Dynamic synthesis of local time requirement for service composition (THT, ÉA, JS, YL, JSD, MC), pp. 542–551.
ICSE-2013-WertHH #automation #performance #problem: Supporting swift reaction: automatically uncovering performance problems by systematic experiments (AW, JH, LH), pp. 552–561.
ICSE-2013-NistorSML #data access #detection #named #performance #problem: Toddler: detecting performance problems via similar memory-access patterns (AN, LS, DM, SL), pp. 562–571.
ICSE-2013-NiuMCB #comprehension #information management #requirements: Departures from optimality: understanding human analyst’s information foraging in assisted requirements tracing (NN, AM, ZC, GB), pp. 572–581.
ICSE-2013-CarrenoW #analysis #approach #evolution #requirements: Analysis of user comments: an approach for software requirements evolution (LVGC, KW), pp. 582–591.
ICSE-2013-LetierH #automaton #modelling #requirements #synthesis: Requirements modelling by synthesis of deontic input-output automata (EL, WH), pp. 592–601.
ICSE-2013-PaveseBU #automation #estimation #reliability: Automated reliability estimation over partial systematic explorations (EP, VAB, SU), pp. 602–611.
ICSE-2013-HosekC #execution #multi: Safe software updates via multi-version execution (PH, CC), pp. 612–621.
ICSE-2013-FilieriPV #analysis #reliability: Reliability analysis in symbolic pathfinder (AF, CSP, WV), pp. 622–631.
ICSE-2013-OmoronyiaCSPN #adaptation #privacy #requirements: Engineering adaptive privacy: on the role of privacy awareness requirements (IO, LC, MS, LP, BN), pp. 632–641.
ICSE-2013-SharTB #hybrid #injection #mining #program analysis #sql #using: Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis (LKS, HBKT, LCB), pp. 642–651.
ICSE-2013-ZhengZ #detection #execution #static analysis #web: Path sensitive static analysis of web applications for remote code execution vulnerability detection (YZ, XZ), pp. 652–661.
ICSE-2013-AlmorsyGI #analysis #architecture #automation #security #using: Automated software architecture security risk analysis using formalized signatures (MA, JG, ASI), pp. 662–671.
ICSE-2013-JohnsonSMB #debugging #developer #question #static analysis #tool support #why: Why don’t software developers use static analysis tools to find bugs? (BJ, YS, ERMH, RWB), pp. 672–681.
ICSE-2013-YamashitaM #empirical #maintenance #smell: Exploring the impact of inter-smell relations on software maintainability: an empirical study (AFY, LM), pp. 682–691.
ICSE-2013-BavotaDOPPL #developer #empirical: An empirical study on the developers’ perception of software coupling (GB, BD, RO, MDP, DP, ADL), pp. 692–701.
ICSE-2013-ChoudharyPO #identification #named #web: X-PERT: accurate identification of cross-browser issues in web applications (SRC, MRP, AO), pp. 702–711.
ICSE-2013-BacchelliB #challenge #code review #overview #perspective: Expectations, outcomes, and challenges of modern code review (AB, CB), pp. 712–721.
ICSE-2013-Petre #uml: UML in practice (MP), pp. 722–731.
ICSE-2013-KasiS #named #scheduling: Cassandra: proactive conflict minimization through optimized task scheduling (BKK, AS), pp. 732–741.
ICSE-2013-PotaninDN #alias #cost analysis: Are your incoming aliases really necessary? counting the cost of object ownership (AP, MD, JN), pp. 742–751.
ICSE-2013-FeldthausSSDT #approximate #graph #ide #javascript #performance: Efficient construction of approximate call graphs for JavaScript IDE services (AF, MS, MS, JD, FT), pp. 752–761.
ICSE-2013-WangPXZ #feature model #interactive #multi: Improving feature location practice with multi-faceted interactive exploration (JW, XP, ZX, WZ), pp. 762–771.
ICSE-2013-NguyenQRC #analysis #named #program repair #semantics: SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.
ICSE-2013-CarzanigaGMPP #automation #runtime: Automatic recovery from runtime failures (AC, AG, AM, NP, MP), pp. 782–791.
ICSE-2013-CokerH #c #integer #program transformation: Program transformations to fix C integers (ZC, MH), pp. 792–801.
ICSE-2013-KimNSK #automation #generative: Automatic patch generation learned from human-written patches (DK, JN, JS, SK), pp. 802–811.
ICSE-2013-SawadskyMJ #named #recommendation #web: Reverb: recommending code-related web pages (NS, GCM, RJ), pp. 812–821.
ICSE-2013-ScharfA #diagrams #editing #injection #sketching: Dynamic injection of sketching features into GEF based diagram editors (AS, TA), pp. 822–831.
ICSE-2013-RigbyR #documentation: Discovering essential code elements in informal documentation (PCR, MPR), pp. 832–841.
ICSE-2013-HaiducBMOLM #automation #query #re-engineering #retrieval: Automatic query reformulations for text retrieval in software engineering (SH, GB, AM, RO, ADL, TM), pp. 842–851.
ICSE-2013-Samuelson #question: Are software patents bad? (PS), p. 855.
ICSE-2013-DeRose #development: The connection between movie making and software development (TD), p. 856.
ICSE-2013-Northrop #case study #matter #scalability #years after: Does scale really matter? ultra-large-scale systems seven years after the study (LMN), p. 857.
ICSE-2013-FitzgeraldSOO #agile #case study #industrial #scalability: Scaling agile methods to regulated environments: an industry case study (BF, KJS, RO, DO), pp. 863–872.
ICSE-2013-BrownAR #delivery #scalability: Agility at scale: economic governance, measured improvement, and disciplined delivery (AWB, SA, WR), pp. 873–881.
ICSE-2013-KocaguneliZBNM #development #distributed #harmful #question: Distributed development considered harmful? (EK, TZ, CB, NN, TM), pp. 882–890.
ICSE-2013-SchwankeXC #analysis #architecture #quality: Measuring architecture quality by structure plus history analysis (RWS, LX, YC), pp. 891–900.
ICSE-2013-GarciaKMM #architecture: Obtaining ground-truth software architectures (JG, IK, CM, NM), pp. 901–910.
ICSE-2013-SamarthyamSSG #assessment #design #industrial #named #quality: MIDAS: a design quality assessment method for industrial software (GS, GS, TS, SG), pp. 911–920.
ICSE-2013-BouwersDV #case study #experience #industrial #metric: Evaluating usefulness of software metrics: an industrial experience report (EB, AvD, JV), pp. 921–930.
ICSE-2013-Balachandran #automation #code review #quality #recommendation #static analysis #using: Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendation (VB), pp. 931–940.
ICSE-2013-Dagnino: Estimating software-intensive projects in the absence of historical data (AD), pp. 941–950.
ICSE-2013-ZhangX #challenge: Pathways to technology transfer and adoption: achievements and challenges (DZ, TX), pp. 951–952.
ICSE-2013-PaganoB #case study #evolution: User involvement in software evolution practice: a case study (DP, BB), pp. 953–962.
ICSE-2013-LiZLXLLX #distributed #source code: A characteristic study on failures of production distributed data-parallel programs (SL, HZ, HL, TX, HL, WL, TX), pp. 963–972.
ICSE-2013-PrikladnickiC #development #industrial #proximity: Is time-zone proximity an advantage for software development? the case of the brazilian IT industry (RP, EC), pp. 973–981.
ICSE-2013-BellomoNO #agile #case study: A study of enabling factors for rapid fielding: combined practices to balance speed and stability (SB, RLN, IO), pp. 982–991.
ICSE-2013-GhoshSLC #automation #generative #industrial #java #named #string #testing: JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
ICSE-2013-ThummalapentaDSCGNS #automation #case study #industrial #performance #testing: Efficient and change-resilient test automation: an industrial case study (ST, PD, SS, SC, SG, DDN, SS), pp. 1002–1011.
ICSE-2013-MalikHH #automation #detection #performance #scalability #testing: Automatic detection of performance deviations in the load testing of large scale systems (HM, HH, AEH), pp. 1012–1021.
ICSE-2013-FemmerGLM #case study #consistency #detection #nondeterminism: Detecting inconsistencies in wrappers: a case study (HF, DG, ML, DM), pp. 1022–1031.
ICSE-2013-ZanettiSTS #case study #categorisation #community #debugging #network #open source #social: Categorizing bugs with social networks: a case study on four open source software communities (MSZ, IS, CJT, FS), pp. 1032–1041.
ICSE-2013-ZhangGV #empirical #predict: Predicting bug-fixing time: an empirical study of commercial software projects (HZ, LG, SV), pp. 1042–1051.
ICSE-2013-SantosS #assessment #authentication #case study #education #re-engineering: Authentic assessment in software engineering education based on PBL principles: a case study in the telecom market (SCdS, FSFS), pp. 1055–1062.
ICSE-2013-BullWC #education #re-engineering #towards: Studios in software engineering education: towards an evaluable model (CNB, JW, LC), pp. 1063–1072.
ICSE-2013-LoksaMLH #collaboration #design #sketching: Enabling a classroom design studio with a collaborative sketch design tool (DL, NM, TDL, AvdH), pp. 1073–1082.
ICSE-2013-Zeid #contest #evaluation #framework #integration #re-engineering #source code #student: A framework to evaluate software engineering student contests: evaluation and integration with academic programs (AZ), pp. 1083–1089.
ICSE-2013-JanzenCH #evaluation #interactive #testing: An evaluation of interactive test-driven labs with WebIDE in CS0 (DSJ, JC, MH), pp. 1090–1098.
ICSE-2013-NetoCLGM #approach #named #problem #programming #student #testing: POPT: a problem-oriented programming and testing approach for novice students (VLN, RC, LL, DSG, APM), pp. 1099–1108.
ICSE-2013-Rajlich #developer #education #re-engineering: Teaching developer skills in the first software engineering course (VR), pp. 1109–1116.
ICSE-2013-TillmannHXGB #education #game studies #interactive #learning #programming #re-engineering: Teaching and learning programming and software engineering via interactive gaming (NT, JdH, TX, SG, JB), pp. 1117–1126.
ICSE-2013-PaasivaaraLDRS #agile #distributed #education #re-engineering #student #using: Teaching students global software engineering skills using distributed scrum (MP, CL, DD, PR, AS), pp. 1128–1137.
ICSE-2013-KuhrmannFM #education #modelling #process: Teaching software process modeling (MK, DMF, JM), pp. 1138–1147.
ICSE-2013-Pilgrim #comparative #education #industrial #overview: Industry involvement in ICT curriculum: a comparative survey (CJP), pp. 1148–1153.
ICSE-2013-MeneelyL #re-engineering: Vulnerability of the day: concrete demonstrations for software engineering undergraduates (AM, SL), pp. 1154–1157.
ICSE-2013-GoodenoughWK #induction: Eliminative induction: a basis for arguing system confidence (JBG, CBW, AZK), pp. 1161–1164.
ICSE-2013-GivensCSY #grammar inference #user interface: Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference (PG, AC, SS, TY), pp. 1165–1168.
ICSE-2013-GauthierM #case study #data access #fault #modelling #php #semantics #smell: Semantic smells and errors in access control models: a case study in PHP (FG, EM), pp. 1169–1172.
ICSE-2013-Zhang #semantics: Practical semantic test simplification (SZ), pp. 1173–1176.
ICSE-2013-SukkerdBWZB #comprehension: Understanding regression failures through test-passing and test-failing code changes (RS, IB, JW, SZ, YB), pp. 1177–1180.
ICSE-2013-LeeHKM #code completion #navigation: Temporal code completion and navigation (YYL, SH, SK, DM), pp. 1181–1184.
ICSE-2013-BaysalHG #issue tracking #personalisation: Situational awareness: personalizing issue tracking systems (OB, RH, MWG), pp. 1185–1188.
ICSE-2013-NguyenCT #debugging #named #visual notation: GROPG: a graphical on-phone debugger (TAN, CC, NT), pp. 1189–1192.
ICSE-2013-RastkarM #question #why: Why did this code change? (SR, GCM), pp. 1193–1196.
ICSE-2013-BettenburgB #development #mining: Deciphering the story of software development through frequent pattern mining (NB, AB), pp. 1197–1200.
ICSE-2013-SalingerZP #programming #research: Liberating pair programming research from the oppressive Driver/Observer regime (SS, FZ, LP), pp. 1201–1204.
ICSE-2013-MaoYLH #development: Pricing crowdsourcing-based software development tasks (KM, YY, ML, MH), pp. 1205–1208.
ICSE-2013-PhamSS #commit #social #testing: Building test suites in social coding sites by leveraging drive-by commits (RP, LS, KS), pp. 1209–1212.
ICSE-2013-SmitSSL #development #in the cloud #query: Supporting application development with structured queries in the cloud (MS, BS, MS, ML), pp. 1213–1216.
ICSE-2013-HauptmannJEHVB #natural language #smell #testing: Hunting for smells in natural language tests (BH, MJ, SE, LH, RV, PB), pp. 1217–1220.
ICSE-2013-BagheriS #bottom-up #development #modelling: Bottom-up model-driven development (HB, KJS), pp. 1221–1224.
ICSE-2013-AversanoCRT #approach: An approach for restructuring text content (LA, GC, GDR, MT), pp. 1225–1228.
ICSE-2013-BallandCNS #development: A case for human-driven software development (EB, CC, BN, HS), pp. 1229–1232.
ICSE-2013-RubinC #framework: A framework for managing cloned product variants (JR, MC), pp. 1233–1236.
ICSE-2013-SochaT #sketching: Sketching software in the wild (DS, JDT), pp. 1237–1240.
ICSE-2013-Kuhn #interactive #live programming #on the #programming #testing: On extracting unit tests from interactive live programming sessions (AK), pp. 1241–1244.
ICSE-2013-HenardPPKT #automation #feature model #modelling #testing #towards: Towards automated testing and fixing of re-engineered feature models (CH, MP, GP, JK, YLT), pp. 1245–1248.
ICSE-2013-AlrajehRLMMN: Computational alignment of goals and scenarios for complex systems (DA, AR, JL, NAMM, AM, MN), pp. 1249–1252.
ICSE-2013-TamburriLV #community #development #network: Service networks for development communities (DAT, PL, HvV), pp. 1253–1256.
ICSE-2013-StaplesKKLAMJB #specification: Formal specifications better than function points for code sizing (MS, RK, GK, CL, JA, TCM, DRJ, LB), pp. 1257–1260.
ICSE-2013-StephanASC #analysis #clone detection #comparison #detection #framework #mutation testing #using: Using mutation analysis for a model-clone detector comparison framework (MS, MHA, AS, JRC), pp. 1261–1264.
ICSE-2013-RahmanARP #case study #on the: On the relationships between domain-based coupling and code clones: an exploratory study (MSR, AA, CKR, FP), pp. 1265–1268.
ICSE-2013-SantelicesZJCZ #slicing: Quantitative program slicing: separating statements by relevance (RAS, YZ, SJ, HC, YJZ), pp. 1269–1272.
ICSE-2013-BakZCADWR #abstraction #modelling: Example-driven modeling: model = abstractions + examples (KB, DZ, KC, MA, ZD, AW, DR), pp. 1273–1276.
ICSE-2013-SnipesANM #developer #performance #towards: Towards recognizing and rewarding efficient developer work patterns (WS, VA, ARN, ERMH), pp. 1277–1280.
ICSE-2013-LiuYCY #monitoring #novel #parallel #process: Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes (XL, YY, DC, DY), pp. 1281–1284.
ICSE-2013-FranklinGLD #automation #functional #imperative #named #programming #refactoring: LAMBDAFICATOR: from imperative to functional programming through automated refactoring (LF, AG, JL, DD), pp. 1287–1290.
ICSE-2013-BuckleyMRA #architecture #consistency #named: JITTAC: a just-in-time tool for architectural consistency (JB, SM, JR, NA), pp. 1291–1294.
ICSE-2013-PonzanelliBL #ide #named #stack overflow: Seahawk: stack overflow in the IDE (LP, AB, ML), pp. 1295–1298.
ICSE-2013-NguyenNNN #detection #named #web: DRC: a detection tool for dangling references in PHP-based web applications (HVN, HAN, TTN, TNN), pp. 1299–1302.
ICSE-2013-PintoSO #evolution #named #testing: TestEvol: a tool for analyzing test-suite evolution (LSP, SS, AO), pp. 1303–1306.
ICSE-2013-HaiducRBOLM #code search #predict #quality #query #source code: Query quality prediction and reformulation for source code search: the refoqus tool (SH, GDR, GB, RO, ADL, AM), pp. 1307–1310.
ICSE-2013-XingXJ #benchmark #feature model #kernel #metric #research #scalability: A large scale Linux-kernel based benchmark for feature location research (ZX, YX, SJ), pp. 1311–1314.
ICSE-2013-LeeKS #named #recommendation #visual notation: NavClus: a graphical recommender for assisting code exploration (SL, SK, MS), pp. 1315–1318.
ICSE-2013-JacobellisMK #named #program transformation: LASE: an example-based program transformation tool for locating and applying systematic edits (JJ, NM, MK), pp. 1319–1322.
ICSE-2013-LemmaLO #modelling #named: CEL: modeling everywhere (RL, ML, FO), pp. 1323–1326.
ICSE-2013-KnaussD #communication #named #online #requirements: V: ISSUE: LIZER: exploring requirements clarification in online communication over time (EK, DD), pp. 1327–1330.
ICSE-2013-CanforaPGOP #developer #named: YODA: young and newcomer developer assistant (GC, MDP, SG, RO, SP), pp. 1331–1334.
ICSE-2013-PastoreMG #c #c++ #debugging #named #problem: RADAR: a tool for debugging regression problems in C/C++ software (FP, LM, AG), pp. 1335–1338.
ICSE-2013-HaoLM0J #multi #named #source code: MCT: a tool for commenting programs by multimedia comments (YH, GL, LM, LZ, ZJ), pp. 1339–1342.
ICSE-2013-YangKP #execution #named #symbolic computation: Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
ICSE-2013-BrabermanDPSU #modelling #synthesis: Controller synthesis: from modelling to enactment (VAB, ND, NP, DS, SU), pp. 1347–1350.
ICSE-2013-Nadi #case study #open source #variability: A study of variability spaces in open source software (SN), pp. 1353–1356.
ICSE-2013-Slankas #data access #database #implementation #natural language #policy: Implementing database access control policy from unconstrained natural language text (JS), pp. 1357–1360.
ICSE-2013-Jonsson #machine learning #performance #scalability #using: Increasing anomaly handling efficiency in large organizations using applied machine learning (LJ), pp. 1361–1364.
ICSE-2013-Romano #industrial #perspective: Analyzing the change-proneness of service-oriented systems from an industrial perspective (DR), pp. 1365–1368.
ICSE-2013-Guana #code generation #maintenance: Supporting maintenance tasks on transformational code generation environments (VG), pp. 1369–1372.
ICSE-2013-Che #approach #architecture #design #evolution: An approach to documenting and evolving architectural design decisions (MC), pp. 1373–1376.
ICSE-2013-Yu #framework #testing: An observable and controllable testing framework for modern systems (TY), pp. 1377–1380.
ICSE-2013-Sanchez #adaptation #product line #self #towards: Toward a software product line for affective-driven self-adaptive systems (JGS), pp. 1381–1384.
ICSE-2013-Guerrouj #comprehension #normalisation #quality #source code: Normalizing source code vocabulary to support program comprehension and software quality (LG), pp. 1385–1388.
ICSE-2013-Muslu #analysis #development #maintenance: Integrating systematic exploration, analysis, and maintenance in software development (KM), pp. 1389–1392.
ICSE-2013-Brandtner #assessment #quality: Fostering software quality assessment (MB), pp. 1393–1396.
ICSE-2013-Perino #framework #self: A framework for self-healing software systems (NP), pp. 1397–1400.
ICSE-2013-Rimba #assurance #platform #security #using: Building high assurance secure applications using security patterns for capability-based platforms (PR), pp. 1401–1404.
ICSE-2013-Kulkarni #reuse: Systematically selecting a software module during opportunistic reuse (NK), pp. 1405–1406.
ICSE-2013-Baysal #development: Informing development decisions: from data to information (OB), pp. 1407–1410.
ICSE-2013-Lin #comprehension #evolution #simulation: Understanding and simulating software evolution (ZL), pp. 1411–1414.
ICSE-2013-Carvalho #comprehension #concept #ontology #problem #tool support: An ontology toolkit for problem domain concept location in program comprehension (NRC), pp. 1415–1418.
ICSE-2013-King #forensics: Measuring the forensic-ability of audit logs for nonrepudiation (JK), pp. 1419–1422.
ICSE-2013-Sanchez04a #code search #named: SNIPR: complementing code search with code retargeting capabilities (HS), pp. 1423–1426.
ICSE-2013-Callau #incremental #programming: Supporting incremental programming with ghosts (OC), pp. 1429–1431.
ICSE-2013-Johnson04a #comprehension #program analysis: Novice understanding of program analysis tool notifications (BJ), pp. 1432–1434.
ICSE-2013-Ardito #adaptation #energy #mobile #self: Energy aware self-adaptation in mobile systems (LA), pp. 1435–1437.
ICSE-2013-Zhang04a #automation #fault #java #named: ConfDiagnoser: an automated configuration error diagnosis tool for Java software (SZ), pp. 1438–1440.
ICSE-2013-Jin #debugging: Reproducing and debugging field failures in house (WJ), pp. 1441–1443.
ICSE-2013-Park #comprehension #concurrent #fault #source code: Fault comprehension for concurrent programs (SP), pp. 1444–1446.
ICSE-2013-Souza #predict #using: A proposal for the improvement of project’s cost predictability using EVM and historical data of cost (ADdS), pp. 1447–1449.
ICSE-2013-Kouroshfar #co-evolution #quality: Studying the effect of co-change dispersion on software quality (EK), pp. 1450–1452.
ICSE-2013-Saraiva #maintenance #metric #roadmap: A roadmap for software maintainability measurement (JS), pp. 1453–1455.
ICSE-2013-Oster #component #reasoning: Reasoning with qualitative preferences to develop optimal component-based systems (ZJO), pp. 1456–1458.
ICSE-2013-Ciccozzi #modelling #uml: From models to code and back: correct-by-construction code from UML and ALF (FC), pp. 1459–1461.
ICSE-2013-Torres #modelling #specification: Mitigating the obsolescence of specification models of service-based systems (RT), pp. 1462–1464.
ICSE-2013-Kukreja #approach #requirements #towards: Decision theoretic requirements prioritization: a two-step approach for sliding towards value realization (NK), pp. 1465–1467.
ICSE-2013-Simpson #communication #detection #developer: Changeset based developer communication to detect software failures (BS), pp. 1468–1470.
ICSE-2013-Ell #developer #identification #network: Identifying failure inducing developer pairs within developer networks (JE), pp. 1471–1473.
ICSE-2013-Khalid #identification #on the: On identifying user complaints of iOS apps (HK), pp. 1474–1476.
ICSE-2013-MemonC #automation #modelling #testing #tool support #user interface: Automated testing of GUI applications: models, tools, and controlling flakiness (AMM, MBC), pp. 1479–1480.
ICSE-2013-DongSL #model checking: Build your own model checker in one month (JSD, JS, YL), pp. 1481–1483.
ICSE-2013-MenziesKPTM #re-engineering: Data science for software engineering (TM, EK, FP, BT, LLM), pp. 1484–1486.
ICSE-2013-ZhangXa #challenge: Software analytics: achievements and challenges (DZ, TX), p. 1487.
ICSE-2013-Leino #source code: Developing verified programs with dafny (KRML), pp. 1488–1490.
ICSE-2013-BouwersDVa #metric: Software metrics: pitfalls and best practices (EB, AvD, JV), pp. 1491–1492.
ICSE-2013-MehlitzRV #java #tutorial: A hands-on Java PathFinder tutorial (PCM, NR, WV), pp. 1493–1495.
ICSE-2013-HeymansLC #assurance #performance #quality #variability: Efficient quality assurance of variability-intensive systems (PH, AL, MC), pp. 1496–1498.
ICSE-2013-Franch #requirements: Software requirement patterns (XF), pp. 1499–1501.

David Notkin, Betty H. C. Cheng, Klaus PohlProceedings of the 35th International Conference on Software EngineeringICSE, 2013.

Contents (211 items)

David Notkin, Betty H. C. Cheng, Klaus Pohl
Proceedings of the 35th International Conference on Software Engineering
ICSE, 2013.