ICSE 2013 : proceedings of the 35th International Conference on Software Engineering ; May 18 - 26, 2013, San Francisco, CA, USA (English)
- New search for: ICSE
- Further information on ICSE:
- http://d-nb.info/gnd/1052606156
- New search for: Association for Computing Machinery
- Further information on Association for Computing Machinery:
- http://d-nb.info/gnd/1222-1
- New search for: IEEE Computer Society
- Further information on IEEE Computer Society:
- http://d-nb.info/gnd/25694-8
- New search for: Association for Computing Machinery, Special Interest Group on Software Engineering
- Further information on Association for Computing Machinery, Special Interest Group on Software Engineering:
- http://d-nb.info/gnd/74455-4
- New search for: ICSE
- Further information on ICSE:
- http://d-nb.info/gnd/1052606156
- New search for: Association for Computing Machinery
- Further information on Association for Computing Machinery:
- http://d-nb.info/gnd/1222-1
- New search for: IEEE Computer Society
- Further information on IEEE Computer Society:
- http://d-nb.info/gnd/25694-8
- New search for: Association for Computing Machinery, Special Interest Group on Software Engineering
- Further information on Association for Computing Machinery, Special Interest Group on Software Engineering:
- http://d-nb.info/gnd/74455-4
2013
-
ISBN:
- Conference Proceedings / Storage medium
-
Title:ICSE 2013 : proceedings of the 35th International Conference on Software Engineering ; May 18 - 26, 2013, San Francisco, CA, USA
-
Contributors:
-
Conference:International Conference on Software Engineering ; 35 ; 2013 ; San Francisco, Calif.
ICSE ; 35 ; 2013 ; San Francisco, Calif. -
Publisher:
- New search for: IEEE
-
Place of publication:Piscataway, NJ
-
Publication date:2013
-
Size:1 CD-ROM
-
Remarks:Six collocated events were held in conjunction with ICSE 2013: the 10th Working Conference on Mining Software Repositories (MSR 2013), the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), the 2013 International Conference on Software and System Process (ICSSP 2013), the 21st IEEE International Conference on Program Comprehension (ICPC 2013), the 26th Conference on Software Engineering Education and Training (CSEE&T 2013), and the 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2013)
-
ISBN:
-
Type of media:Conference Proceedings
-
Type of material:Storage medium
-
Language:English
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.52 Software engineering -
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
[Front cover]| 2013
- 1
-
[Front matter]| 2013
- 1
-
Contents| 2013
- 3
-
Automatic synthesis of modular connectors via composition of protocol mediation patternsInverardi, Paola / Tivoli, Massimo et al. | 2013
- 13
-
Robust reconfigurations of component assembliesBoyer, Fabienne / Gruber, Olivier / Pous, Damien et al. | 2013
- 23
-
Drag-and-drop refactoring: Intuitive and efficient program transformationLee, Yun Young / Chen, Nicholas / Johnson, Ralph E. et al. | 2013
- 33
-
Managing non-functional uncertainty via model-driven adaptivityGhezzi, Carlo / Pinto, Leandro Sales / Spoletini, Paola / Tamburrelli, Giordano et al. | 2013
- 43
-
GuideArch: Guiding the exploration of architectural solution space under uncertaintyEsfahani, Naeem / Malek, Sam / Razavi, Kaveh et al. | 2013
- 53
-
Coupling software architecture and human architecture for collaboration-aware system adaptationDorn, Christoph / Taylor, Richard N. et al. | 2013
- 63
-
Learning revised models for planning in adaptive systemsSykes, Daniel / Corapi, Domenico / Magee, Jeff / Kramer, Jeff / Russo, Alessandra / Inoue, Katsumi et al. | 2013
- 72
-
RERAN: Timing- and touch-sensitive record and replay for AndroidGomez, Lorenzo / Neamtiu, Iulian / Azim, Tanzirul / Millstein, Todd et al. | 2013
- 82
-
Inferring likely mappings between APIsGokhale, Amruta / Ganapathy, Vinod / Padmanaban, Yogesh et al. | 2013
- 92
-
Estimating mobile application energy consumption using program analysisHao, Shuai / Li, Ding / Halfond, William G. J. / Govindan, Ramesh et al. | 2013
- 102
-
Observable modified condition/decision coverageWhalen, Michael / Gay, Gregory / You, Dongjiang / Heimdahl, Mats P. E. / Staats, Matt et al. | 2013
- 112
-
Creating a shared understanding of testing culture on a social coding sitePham, Raphael / Singer, Leif / Liskin, Olga / Filho, Fernando Figueira / Schneider, Kurt et al. | 2013
- 122
-
Billions and billions of constraints: Whitebox fuzz testing in productionBounimova, Ella / Godefroid, Patrice / Molnar, David et al. | 2013
- 132
-
Feedback-directed unit test generation for C/C++ using concolic executionGarg, Pranav / Ivancic, Franjo / Balakrishnan, Gogul / Maeda, Naoto / Gupta, Aarti et al. | 2013
- 142
-
A learning-based method for combining testing techniquesCotroneo, Domenico / Pietrantuono, Roberto / Russo, Stefano et al. | 2013
- 152
-
Human performance regression testingSwearngin, Amanda / Cohen, Myra B. / John, Bonnie E. / Bellamy, Rachel K. E. et al. | 2013
- 162
-
Guided test generation for web applicationsThummalapenta, Suresh / Lakshmi, K. Vasanta / Sinha, Saurabh / Sinha, Nishant / Chandra, Satish et al. | 2013
- 172
-
Comparing Multi-Point Stride Coverage and dataflow coverageHassan, Mohammad Mahdi / Andrews, James H. et al. | 2013
- 182
-
Interaction-based test-suite minimizationBlue, Dale / Segall, Itai / Tzoref-Brill, Rachel / Zlotnick, Aviad et al. | 2013
- 192
-
Bridging the gap between the total and additional test-case prioritization strategiesZhang, Lingming / Hao, Dan / Zhang, Lu / Rothermel, Gregg / Mei, Hong et al. | 2013
- 202
-
Detecting spurious counterexamples efficiently in abstract model checkingTian, Cong / Duan, Zhenhua et al. | 2013
- 212
-
Segmented symbolic analysisLe, Wei et al. | 2013
- 222
-
Explicating symbolic execution (xSymExe): An evidence-based verification frameworkHatcliff, John / Chalin, Patrice / Belt, Jason et al. | 2013
- 232
-
Aluminum: Principled scenario exploration through minimalityNelson, Tim / Saghafi, Salman / Dougherty, Daniel J. / Fisler, Kathi / Krishnamurthi, Shriram et al. | 2013
- 242
-
Counter play-out: Executing unrealizable scenario-based specificationsMaoz, Shahar / Sa'ar, Yaniv et al. | 2013
- 252
-
Unifying FSM-inference algorithms through declarative specificationBeschastnikh, Ivan / Brun, Yuriy / Abrahamson, Jenny / Ernst, Michael D. / Krishnamurthy, Arvind et al. | 2013
- 262
-
What good are strong specifications?Polikarpova, Nadia / Furia, Carlo A. / Pei, Yu / Wei, Yi / Meyer, Bertrand et al. | 2013
- 272
-
Comparative causality: Explaining the differences between executionsSumner, William N. / Zhang, Xiangyu et al. | 2013
- 282
-
Automatic testing of sequential and concurrent substitutabilityPradel, Michael / Gross, Thomas R. et al. | 2013
- 292
-
Data clone detection and visualization in spreadsheetsHermans, Felienne / Sedee, Ben / Pinzger, Martin / van Deursen, Arie et al. | 2013
- 302
-
Partition-based regression verificationBohme, Marcel / Oliveira, Bruno C. D. S. / Roychoudhury, Abhik et al. | 2013
- 312
-
Automated diagnosis of software configuration errorsZhang, Sai / Ernst, Michael D. et al. | 2013
- 322
-
Detecting deadlock in programs with data-centric synchronizationMarino, Daniel / Hammer, Christian / Dolby, Julian / Vaziri, Mandana / Tip, Frank / Vitek, Jan et al. | 2013
- 332
-
The design of bug fixesMurphy-Hill, Emerson / Zimmermann, Thomas / Bird, Christian / Nagappan, Nachiappan et al. | 2013
- 342
-
PorchLight: A tag-based approach to bug triagingBortis, Gerald / van der Hoek, Andre et al. | 2013
- 352
-
Expositor: Scriptable time-travel debugging with first-class tracesPhang, Khoo Yit / Foster, Jeffrey S. / Hicks, Michael et al. | 2013
- 362
-
Chronicler: Lightweight recording to reproduce field failuresBell, Jonathan / Sarda, Nikhil / Kaiser, Gail et al. | 2013
- 372
-
Does bug prediction support human developers? Findings from a Google case studyLewis, Chris / Lin, Zhongpeng / Sadowski, Caitlin / Zhu, Xiaoyan / Ou, Rong / Whitehead, E. James et al. | 2013
- 382
-
Transfer defect learningNam, Jaechang / Pan, Sinno Jialin / Kim, Sunghun et al. | 2013
- 392
-
It's not a bug, it's a feature: How misclassification impacts bug predictionHerzig, Kim / Just, Sascha / Zeller, Andreas et al. | 2013
- 402
-
Assisting developers of Big Data Analytics Applications when deploying on Hadoop cloudsShang, Weiyi / Jiang, Zhen Ming / Hemmati, Hadi / Adams, Brain / Hassan, Ahmed E. / Martin, Patrick et al. | 2013
- 412
-
Broken sets in software repository evolutionVouillon, Jerome / Di Cosmo, Roberto et al. | 2013
- 422
-
Boa: A language and infrastructure for analyzing ultra-large-scale software repositoriesDyer, Robert / Nguyen, Hoan Anh / Rajan, Hridesh / Nguyen, Tien N. et al. | 2013
- 432
-
How, and why, process metrics are betterRahman, Foyzur / Devanbu, Premkumar et al. | 2013
- 442
-
The role of domain knowledge and cross-functional communication in socio-technical coordinationDamian, Daniela / Helms, Remko / Kwan, Irwin / Marczak, Sabrina / Koelewijn, Benjamin et al. | 2013
- 452
-
Dual ecological measures of focus in software developmentPosnett, Daryl / D'Souza, Raissa / Devanbu, Premkumar / Filkov, Vladimir et al. | 2013
- 462
-
Not going to take this anymore: Multi-objective overtime planning for Software Engineering projectsFerrucci, Filomena / Harman, Mark / Ren, Jian / Sarro, Federica et al. | 2013
- 472
-
Beyond Boolean product-line model checking: Dealing with feature attributes and multi-featuresCordy, Maxime / Schobbens, Pierre-Yves / Heymans, Patrick / Legay, Axel et al. | 2013
- 482
-
Strategies for product-line verification: Case studies and experimentsApel, Sven / von Rhein, Alexander / Wendler, Philipp / Groslinger, Armin / Beyer, Dirk et al. | 2013
- 492
-
On the value of user preferences in search-based software engineering: A case study in software product linesSayyad, Abdel Salam / Menzies, Tim / Ammar, Hany et al. | 2013
- 502
-
Lase: Locating and applying systematic edits by learning from examplesMeng, Na / Kim, Miryung / McKinley, Kathryn S. et al. | 2013
- 512
-
Search-based genetic optimization for deployment and reconfiguration of software in the cloudFrey, Soren / Fittkau, Florian / Hasselbring, Wilhelm et al. | 2013
- 522
-
How to effectively use topic models for software engineering tasks? An approach based on Genetic AlgorithmsPanichella, Annibale / Dit, Bogdan / Oliveto, Rocco / Di Penta, Massimilano / Poshynanyk, Denys / De Lucia, Andrea et al. | 2013
- 532
-
Green Streams for data-intensive softwareBartenstein, Thomas W. / David Liu, Yu et al. | 2013
- 542
-
Dynamic synthesis of local time requirement for service compositionTan, Tian Huat / Andre, Etienne / Sun, Jun / Liu, Yang / Dong, Jin Song / Chen, Manman et al. | 2013
- 552
-
Supporting swift reaction: Automatically uncovering performance problems by systematic experimentsWert, Alexander / Happe, Jens / Happe, Lucia et al. | 2013
- 562
-
Toddler: Detecting performance problems via similar memory-access patternsNistor, Adrian / Song, Linhai / Marinov, Darko / Lu, Shan et al. | 2013
- 572
-
Departures from optimality: Understanding human analyst's information foraging in assisted requirements tracingNiu, Nan / Mahmoud, Anas / Chen, Zhangji / Bradshaw, Gary et al. | 2013
- 582
-
Analysis of user comments: An approach for software requirements evolutionCarreno, Laura V. Galvis / Winbladh, Kristina et al. | 2013
- 592
-
Requirements modelling by synthesis of deontic input-output automataLetier, Emmanuel / Heaven, William et al. | 2013
- 602
-
Automated reliability estimation over partial systematic explorationsPavese, Esteban / Braberman, Victor / Uchitel, Sebastian et al. | 2013
- 612
-
Safe software updates via multi-version executionHosek, Petr / Cadar, Cristian et al. | 2013
- 622
-
Reliability analysis in Symbolic PathFinderFilieri, Antonio / Pasareanu, Corina S. / Visser, Willem et al. | 2013
- 632
-
Engineering adaptive privacy: On the role of privacy awareness requirementsOmoronyia, Inah / Cavallaro, Luca / Salehie, Mazeiar / Pasquale, Liliana / Nuseibeh, Bashar et al. | 2013
- 642
-
Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysisShar, Lwin Khin / Beng Kuan Tan, Hee / Briand, Lionel C. et al. | 2013
- 652
-
Path sensitive static analysis of web applications for remote code execution vulnerability detectionZheng, Yunhui / Zhang, Xiangyu et al. | 2013
- 662
-
Automated software architecture security risk analysis using formalized signaturesAlmorsy, Mohamed / Grundy, John / Ibrahim, Amani S. et al. | 2013
- 672
-
Why don't software developers use static analysis tools to find bugs?Johnson, Brittany / Song, Yoonki / Murphy-Hill, Emerson / Bowdidge, Robert et al. | 2013
- 682
-
Exploring the impact of inter-smell relations on software maintainability: An empirical studyYamashita, Aiko / Moonen, Leon et al. | 2013
- 692
-
An empirical study on the developers' perception of software couplingBavota, Gabriele / Dit, Bogdan / Oliveto, Rocco / Di Penta, Massimilano / Poshyvanyk, Denys / De Lucia, Andrea et al. | 2013
- 702
-
X-PERT: Accurate identification of cross-browser issues in web applicationsChoudhary, Shauvik Roy / Prasad, Mukul R. / Orso, Alessandro et al. | 2013
- 712
-
Expectations, outcomes, and challenges of modern code reviewBacchelli, Alberto / Bird, Christian et al. | 2013
- 722
-
UML in practicePetre, Marian et al. | 2013
- 732
-
Cassandra: Proactive conflict minimization through optimized task schedulingKasi, Bakhtiar Khan / Sarma, Anita et al. | 2013
- 742
-
Are your incoming aliases really necessary? Counting the cost of object ownershipPotanin, Alex / Damitio, Monique / Noble, James et al. | 2013
- 752
-
Efficient construction of approximate call graphs for JavaScript IDE servicesFeldthaus, Asger / Schafer, Max / Sridharan, Manu / Dolby, Julian / Tip, Frank et al. | 2013
- 762
-
Improving feature location practice with multi-faceted interactive explorationWang, Jinshui / Peng, Xin / Xing, Zhenchang / Zhao, Wenyun et al. | 2013
- 772
-
SemFix: Program repair via semantic analysisNguyen, Hoang Duong Thien / Qi, Dawei / Roychoudhury, Abhik / Chandra, Satish et al. | 2013
- 782
-
Automatic recovery from runtime failuresCarzaniga, Antonio / Gorla, Alessandra / Mattavelli, Andrea / Perino, Nicolo / Pezze, Mauro et al. | 2013
- 792
-
Program transformations to fix C integersCoker, Zack / Hafiz, Munawar et al. | 2013
- 802
-
Automatic patch generation learned from human-written patchesKim, Dongsun / Nam, Jaechang / Song, Jaewoo / Kim, Sunghun et al. | 2013
- 812
-
Reverb: Recommending code-related web pagesSawadsky, Nicholas / Murphy, Gail C. / Jiresal, Rahul et al. | 2013
- 822
-
Dynamic injection of sketching features into GEF based diagram editorsScharf, Andreas / Amma, Till et al. | 2013
- 832
-
Discovering essential code elements in informal documentationRigby, Peter C. / Robillard, Martin P. et al. | 2013
- 842
-
Automatic query reformulations for text retrieval in software engineeringHaiduc, Sonia / Bavota, Gabriele / Marcus, Andrian / Oliveto, Rocco / De Lucia, Andrea / Menzies, Tim et al. | 2013
- 855
-
Are software patents bad? (Keynote)Samuelson, Pamela et al. | 2013
- 856
-
The connection between movie making and software development (Keynote)DeRose, Tony et al. | 2013
- 857
-
Does scale really matter? Ultra-Large-Scale Systems seven years after the study (Keynote)Northrop, Linda et al. | 2013
- 861
-
Technical Debt: Past, present, and future (Panel)Fraser, Steven / Bishop, Judith / Boehm, Barry / Kathail, Pradeep / Kruchten, Philippe / Ozkaya, Ipek / Szynkarski, Alexandra et al. | 2013
- 863
-
Scaling agile methods to regulated environments: An industry case studyFitzgerald, Brian / Stol, Klaas-Jan / O'Sullivan, Ryan / O'Brien, Donal et al. | 2013
- 873
-
Agility at scale: Economic governance, measured improvement, and disciplined deliveryBrown, Alan W. / Ambler, Scott / Royce, Walker et al. | 2013
- 882
-
Distributed development considered harmful?Kocaguneli, Ekrem / Zimmermann, Thomas / Bird, Christian / Nagappan, Nachiappan / Menzies, Tim et al. | 2013
- 891
-
Measuring architecture quality by structure plus history analysisSchwanke, Robert / Xiao, Lu / Cai, Yuanfang et al. | 2013
- 901
-
Obtaining ground-truth software architecturesGarcia, Joshua / Krka, Ivo / Mattmann, Chris / Medvidovic, Nenad et al. | 2013
- 911
-
MIDAS: A design quality assessment method for industrial softwareSamarthyam, Ganesh / Suryanarayana, Girish / Sharma, Tushar / Gupta, Shrinath et al. | 2013
- 921
-
Evaluating usefulness of software metrics: An industrial experience reportBouwers, Eric / van Deursen, Arie / Visser, Joost et al. | 2013
- 931
-
Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendationBalachandran, Vipin et al. | 2013
- 941
-
Estimating software-intensive projects in the absence of historical dataDagnino, Aldo et al. | 2013
- 951
-
Pathways to technology transfer and adoption: Achievements and challenges (mini-tutorial)Zhang, Dongmei / Xie, Tao et al. | 2013
- 953
-
User involvement in software evolution practice: A case studyPagano, Dennis / Bruegge, Bernd et al. | 2013
- 963
-
A characteristic study on failures of production distributed data-parallel programsLi, Sihan / Zhou, Hucheng / Lin, Haoxiang / Xiao, Tian / Lin, Haibo / Lin, Wei / Xie, Tao et al. | 2013
- 973
-
Is time-zone proximity an advantage for software development? The case of the Brazilian IT industryPrikladnicki, Rafael / Carmel, Erran et al. | 2013
- 982
-
A study of enabling factors for rapid fielding combined practices to balance speed and stabilityBellomo, Stephany / Nord, Robert L. / Ozkaya, Ipek et al. | 2013
- 992
-
JST: An automatic test generation tool for industrial Java applications with stringsGhosh, Indradeep / Shafiei, Nastaran / Li, Guodong / Chiang, Wei-Fan et al. | 2013
- 1002
-
Efficient and change-resilient test automation: An industrial case studyThummalapenta, Suresh / Devaki, Pranavadatta / Sinha, Saurabh / Chandra, Satish / Gnanasundaram, Sivagami / Nagaraj, Deepa D. / Kumar, Sampath / Kumar, Sathish et al. | 2013
- 1012
-
Automatic detection of performance deviations in the load testing of Large Scale SystemsMalik, Haroon / Hemmati, Hadi / Hassan, Ahmed E. et al. | 2013
- 1022
-
Detecting inconsistencies in wrappers: A case studyFemmer, Henning / Ganesan, Dharmalingam / Lindvall, Mikael / McComas, David et al. | 2013
- 1032
-
Categorizing bugs with social networks: A case study on four open source software communitiesZanetti, Marcelo Serrano / Scholtes, Ingo / Tessone, Claudio Juan / Schweitzer, Frank et al. | 2013
- 1042
-
Predicting bug-fixing time: An empirical study of commercial software projectsZhang, Hongyu / Gong, Liang / Versteeg, Steve et al. | 2013
- 1055
-
Authentic assessment in Software Engineering education based on PBL principles a case study in the telecom marketdos Santos, Simone C. / Soares, Felipe S. F. et al. | 2013
- 1063
-
Studios in software engineering education: Towards an evaluable modelBull, Christopher N. / Whittle, Jon / Cruickshank, Leon et al. | 2013
- 1073
-
Enabling a classroom design studio with a collaborative sketch design toolLoksa, Dastyni / Mangano, Nicolas / LaToza, Thomas D. / van der Hoek, Andre et al. | 2013
- 1083
-
A framework to evaluate software engineering student contests: Evaluation and integration with academic programsZeid, Amir et al. | 2013
- 1090
-
An evaluation of interactive test-driven labs with WebIDE in CS0Janzen, David S. / Clements, John / Hilton, Michael et al. | 2013
- 1099
-
POPT: A Problem-Oriented Programming and Testing approach for novice studentsNeto, Vicente Lustosa / Coelho, Roberta / Leite, Larissa / Guerrero, Dalton S. / Mendonca, Andrea P. et al. | 2013
- 1109
-
Teaching developer skills in the first software engineering courseRajlich, Vaclav et al. | 2013
- 1117
-
Teaching and learning programming and software engineering via interactive gamingTillmann, Nikolai / de Halleux, Jonathan / Xie, Tao / Gulwani, Sumit / Bishop, Judith et al. | 2013
- 1127
-
Town hall discussion of SE 2004 revisions (panel)Ardis, Mark / Budgen, David / Hislop, Gregory W. / Offutt, Jeff / Sebern, Mark / Visser, Willem et al. | 2013
- 1128
-
Teaching students global software engineering skills using distributed ScrumPaasivaara, Maria / Lassenius, Casper / Damian, Daniela / Raty, Petteri / Schroter, Adrian et al. | 2013
- 1138
-
Teaching software process modelingKuhrmann, Marco / Fernandez, Daniel Mendez / Munch, Jurgen et al. | 2013
- 1148
-
Industry involvement in ICT curriculum: A comparative surveyPilgrim, Chris J. et al. | 2013
- 1154
-
Vulnerability of the Day: Concrete demonstrations for software engineering undergraduatesMeneely, Andrew / Lucidi, Samuel et al. | 2013
- 1161
-
Eliminative induction: A basis for arguing system confidenceGoodenough, John B. / Weinstock, Charles B. / Klein, Ari Z. et al. | 2013
- 1165
-
Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inferenceGivens, Paul / Chakarov, Aleksandar / Sankaranarayanan, Sriram / Yeh, Tom et al. | 2013
- 1169
-
Semantic smells and errors in access control models: A case study in PHPGauthier, Francois / Merlo, Ettore et al. | 2013
- 1173
-
Practical semantic test simplificationZhang, Sai et al. | 2013
- 1177
-
Understanding regression failures through test-passing and test-failing code changesSukkerd, Roykrong / Beschastnikh, Ivan / Wuttke, Jochen / Zhang, Sai / Brun, Yuriy et al. | 2013
- 1181
-
Temporal code completion and navigationLee, Yun Young / Harwell, Sam / Khurshid, Sarfraz / Marinov, Darko et al. | 2013
- 1185
-
Situational awareness: Personalizing issue tracking systemsBaysal, Olga / Holmes, Reid / Godfrey, Michael W. et al. | 2013
- 1189
-
GROPG: A graphical on-phone debuggerNguyen, Tuan Anh / Csallner, Christoph / Tillmann, Nikolai et al. | 2013
- 1193
-
Why did this code change?Rastkar, Sarah / Murphy, Gail C. et al. | 2013
- 1197
-
Deciphering the story of software development through frequent pattern miningBettenburg, Nicolas / Begel, Andrew et al. | 2013
- 1201
-
Liberating pair programming research from the oppressive driver/observer regimeSalinger, Stephan / Zieris, Franz / Prechelt, Lutz et al. | 2013
- 1205
-
Pricing crowdsourcing-based software development tasksMao, Ke / Yang, Ye / Li, Mingshu / Harman, Mark et al. | 2013
- 1209
-
Building test suites in social coding sites by leveraging drive-by commitsPham, Raphael / Singer, Leif / Schneider, Kurt et al. | 2013
- 1213
-
Supporting application development with structured queries in the cloudSmit, Michael / Simmons, Bradley / Shtern, Mark / Litoiu, Marin et al. | 2013
- 1217
-
Hunting for smells in natural language testsHauptmann, Benedikt / Heinemann, Lars / Vaas, Rudolf / Braun, Peter et al. | 2013
- 1221
-
Bottom-up model-driven developmentBagheri, Hamid / Sullivan, Kevin et al. | 2013
- 1225
-
An approach for restructuring text contentAversano, Lerina / Canfora, Gerardo / De Ruvo, Giuseppe / Tortorella, Maria et al. | 2013
- 1229
-
A case for human-driven software developmentBalland, Emilie / Consel, Charles / N'Kaoua, Bernard / Sauzeon, Helene et al. | 2013
- 1233
-
A framework for managing cloned product variantsRubin, Julia / Chechik, Marsha et al. | 2013
- 1237
-
Sketching software in the wildSocha, David / Tenenberg, Josh et al. | 2013
- 1241
-
On extracting unit tests from interactive live programming sessionsKuhn, Adrian et al. | 2013
- 1245
-
Towards automated testing and fixing of re-engineered Feature ModelsHenard, Christopher / Papadakis, Mike / Perrouin, Gilles / Klein, Jacques / Le Traon, Yves et al. | 2013
- 1249
-
Computational alignment of goals and scenarios for complex systemsAlrajeh, Dalai / Russo, Alessandra / Lockerbie, James / Maiden, Neil / Mavin, Alistair / Novak, Mark et al. | 2013
- 1253
-
Service networks for development communitiesTamburri, Damian A. / Lago, Patricia / van Vliet, Hans et al. | 2013
- 1257
-
Formal specifications better than function points for code sizingStaples, Mark / Kolanski, Rafal / Klein, Gerwin / Lewis, Corey / Andronick, June / Murray, Toby / Jeffery, Ross / Bass, Len et al. | 2013
- 1261
-
Using mutation analysis for a model-clone detector comparison frameworkStephan, Matthew / Alafi, Manar H. / Stevenson, Andrew / Cordy, James R. et al. | 2013
- 1265
-
On the relationships between domain-based coupling and code clones: An exploratory studyRahman, Md Saidur / Aryani, Amir / Roy, Chanchal K. / Perin, Fabrizio et al. | 2013
- 1269
-
Quantitative program slicing: Separating statements by relevanceSantelices, Raul / Zhang, Yiji / Jiang, Siyuan / Cai, Haipeng / Zhang, Ying-jie et al. | 2013
- 1273
-
Example-Driven Modeling: Model = Abstractions + ExamplesBak, Kacper / Zayan, Dina / Czarnecki, Krzysztof / Antkiewicz, Michal / Diskin, Zinovy / Wasowski, Andrzej / Rayside, Derek et al. | 2013
- 1277
-
Towards recognizing and rewarding efficient developer work patternsSnipes, Will / Augustine, Vinay / Nair, Anil R. / Murphy-Hill, Emerson et al. | 2013
- 1281
-
Selecting checkpoints along the time line: A novel temporal checkpoint selection strategy for monitoring a batch of parallel business processesLiu, Xiao / Yang, Yun / Cao, Dahai / Yuan, Dong et al. | 2013
- 1287
-
LambdaFicator: From imperative to functional programming through automated refactoringFranklin, Lyle / Gyori, Alex / Lahoda, Jan / Dig, Danny et al. | 2013
- 1291
-
JITTAC: A Just-in-Time tool for architectural consistencyBuckley, Jim / Mooney, Sean / Rosik, Jacek / Ali, Nour et al. | 2013
- 1295
-
Seahawk: Stack Overflow in the IDEPonzanelli, Luca / Bacchelli, Alberto / Lanza, Michele et al. | 2013
- 1299
-
DRC: A detection tool for dangling references in PHP-based web applicationsNguyen, Hung Viet / Nguyen, Hoan Anh / Nguyen, Tung Thanh / Nguyen, Tien N. et al. | 2013
- 1303
-
TestEvol: A tool for analyzing test-suite evolutionPinto, Leandro Sales / Sinha, Saurabh / Orso, Alessandro et al. | 2013
- 1307
-
Query quality prediction and reformulation for source code search: The Refoqus toolHaiduc, Sonia / De Rosa, Giuseppe / Bavota, Gabriele / Oliveto, Rocco / de Lucia, Andrea / Marcus, Andrian et al. | 2013
- 1311
-
A large scale Linux-Kernel based benchmark for feature location researchXing, Zhenchang / Xue, Yinxing / Jarzabek, Stan et al. | 2013
- 1315
-
NavClus: A graphical recommender for assisting code explorationLee, Seonah / Kang, Sungwon / Staats, Matt et al. | 2013
- 1319
-
LASE: An example-based program transformation tool for locating and applying systematic editsJacobellis, John / Meng, Na / Kim, Miryung et al. | 2013
- 1323
-
CEL: Modeling everywhereLemma, Remo / Lanza, Michele / Olivero, Fernando et al. | 2013
- 1327
-
V:Issue:lizer: Exploring requirements clarification in online communication over timeKnauss, Eric / Damian, Daniela et al. | 2013
- 1331
-
YODA: Young and newcOmer Developer AssistantCanfora, Gerardo / Di Penta, Massimiliano / Giannantonio, Stefano / Oliveto, Rocco / Panichella, Sebastiano et al. | 2013
- 1335
-
RADAR: A tool for debugging regression problems in C/C++ SoftwarePastore, Fabrizio / Mariani, Leonardo / Goffi, Alberto et al. | 2013
- 1339
-
MCT: A tool for commenting programs by multimedia commentsHao, Yiyang / Li, Ge / Mou, Lili / Zhang, Lu / Jin, Zhi et al. | 2013
- 1343
-
Memoise: A tool for memoized symbolic executionYang, Guowei / Khurshid, Sarfraz / Pasareanu, Corina S. et al. | 2013
- 1347
-
Controller synthesis: From modelling to enactmentBraberman, Victor / D'Ippolito, Nicolas / Piterman, Nir / Sykes, Daniel / Ucriitel, Sebastian et al. | 2013
- 1353
-
A study of variability spaces in open source softwareNadi, Sarah et al. | 2013
- 1357
-
Implementing database access control policy from unconstrained natural language textSlankas, John et al. | 2013
- 1361
-
Increasing anomaly handling efficiency in large organizations using applied machine learningJonsson, Leif et al. | 2013
- 1365
-
Analyzing the change-proneness of service-oriented systems from an industrial perspectiveRomano, Daniele et al. | 2013
- 1369
-
Supporting maintenance tasks on transformational code generation environmentsGuana, Victor et al. | 2013
- 1373
-
An approach to documenting and evolving architectural design decisionsChe, Meiru et al. | 2013
- 1377
-
An observable and controllable testing framework for modern systemsYu, Tingting et al. | 2013
- 1381
-
Toward a software product line for affective-driven self-adaptive systemsGonzalez-Sanchez, Javier et al. | 2013
- 1385
-
Normalizing source code vocabulary to support program comprehension and software qualityGuerrouj, Latifa et al. | 2013
- 1389
-
Integrating Systematic exploration, analysis, and maintenance in software developmentMuslu, Kivanc et al. | 2013
- 1393
-
Fostering software quality assessmentBrandtner, Martin et al. | 2013
- 1397
-
A framework for self-healing software systemsPerino, Nicolo et al. | 2013
- 1401
-
Building high assurance secure applications using security patterns for capability-based platformsRimba, Paul et al. | 2013
- 1405
-
Systematically selecting a software module during opportunistic reuseKulkarni, Naveen et al. | 2013
- 1407
-
Informing development decisions: From data to informationBaysal, Olga et al. | 2013
- 1411
-
Understanding and simulating software evolutionLin, Zhongpeng et al. | 2013
- 1415
-
An ontology toolkit for problem domain concept location in program comprehensionCarvalho, Nuno Ramos et al. | 2013
- 1419
-
Measuring the forensic-ability of audit logs for nonrepudiationKing, Jason et al. | 2013
- 1423
-
SNIPR: Complementing code search with code retargeting capabilitiesSanchez, Huascar A. et al. | 2013
- 1429
-
Supporting incremental programming with ghostsCallau, Oscar et al. | 2013
- 1432
-
Novice understanding of program analysis tool notificationsJohnson, Brittany et al. | 2013
- 1435
-
Energy aware self-adaptation in mobile systemsArdito, Luca et al. | 2013
- 1438
-
ConfDiagnoser: An automated configuration error diagnosis tool for Java softwareZhang, Sai et al. | 2013
- 1441
-
Reproducing and debugging field failures in houseJin, Wei et al. | 2013
- 1444
-
Fault comprehension for concurrent programsPark, Sangmin et al. | 2013
- 1447
-
A proposal for the improvement of project's cost predictability using EVM and historical data of costDiniz de Souza, Adler et al. | 2013
- 1450
-
Studying the effect of co-change dispersion on software qualityKouroshfar, Ehsan et al. | 2013
- 1453
-
A roadmap for software maintainability measurementSaraiva, Juliana et al. | 2013
- 1456
-
Reasoning with qualitative preferences to develop optimal component-based systemsOster, Zachary J. et al. | 2013
- 1459
-
From models to code and back: Correct-by-construction code from UML and ALFCiccozzi, Federico et al. | 2013
- 1462
-
Mitigating the obsolescence of specification models of service-based systemsTorres, Romina et al. | 2013
- 1465
-
Decision theoretic requirements prioritization A two-step approach for sliding towards value realizationKukreja, Nupul et al. | 2013
- 1468
-
Changeset based developer communication to detect software failuresSimpson, Braden et al. | 2013
- 1471
-
Identifying failure inducing developer pairs within developer networksEll, Jordan et al. | 2013
- 1474
-
On identifying user complaints of iOS appsKhalid, Hammad et al. | 2013
- 1479
-
Automated testing of GUI applications: Models, tools, and controlling flakinessMemon, Atif M. / Cohen, Myra B. et al. | 2013
- 1481
-
Build your own model checker in one monthDong, Jin Song / Sun, Jun / Liu, Yang et al. | 2013
- 1484
-
Data science for software engineeringMenzies, Tim / Kocaguneli, Ekrem / Peters, Fayola / Turhan, Burak / Minku, Leandro L. et al. | 2013
- 1487
-
Software analytics: Achievements and challengesZhang, Dongmei / Xie, Tao et al. | 2013
- 1488
-
Developing verified programs with DafnyLeino, K. Rustan M. et al. | 2013
- 1491
-
Software metrics: Pitfalls and best practicesBouwers, Eric / van Deursen, Arie / Visser, Joost et al. | 2013
- 1493
-
A hands-on Java Pathfinder tutorialMehlitz, Peter / Rungta, Neha / Visser, Willem et al. | 2013
- 1496
-
Efficient quality assurance of variability-intensive systemsHeymans, Patrick / Legay, Axel / Cordy, Maxime et al. | 2013
- 1499
-
Software requirement patternsFranch, Xavier et al. | 2013
- 1505
-
1st International workshop on assurance cases for software-intensive systems (ASSURE 2013)Denney, Ewen / Pai, Ganesh / Habli, Ibrahim / Kelly, Tim / Knight, John et al. | 2013
- 1508
-
8th International Workshop on Automation of Software Test (AST 2013)Zhu, Hong / Muccini, Henry / Chen, Zhenyu et al. | 2013
- 1509
-
1st International workshop on conducting empirical studies in industry (CESI 2013)Franch, Xavier / Madhavji, Nazim H. / Curtis, Bill / Votta, Larry et al. | 2013
- 1511
-
6th International workshop on cooperative and human aspects of software engineering (CHASE 2013)Prikladnicki, Rafael / Sharp, Helen / Hoda, Rashina / Dittrich, Yvonne / Cataldo, Marcelo / de Souza, Cleidson R. B. et al. | 2013
- 1513
-
1st International workshop on combining modelling and search-based software engineering (CMSBSE 2013)Harman, Mark / Paige, Richard F. / Williams, James R. et al. | 2013
- 1515
-
3rd International workshop on collaborative teaching of globally distributed software development (CTGDSD 2013)Faulk, Stuart / Young, Michal / Prikladnicki, Rafael / Weiss, David M. / Yu, Lian et al. | 2013
- 1517
-
1st International workshop on data analysis patterns in software engineering (DAPSE 2013)Bird, Christian / Menzies, Tim / Zimmermann, Thomas et al. | 2013
- 1519
-
1st FME workshop on formal methods in software engineering (FormaliSE 2013)Gnesi, Stefania / Plat, Nico et al. | 2013
- 1521
-
3rd International workshop on games and software engineering: Engineering computer games to Enable Positive, Progressive Change (GAS 2013)Cooper, Kendra M. L. / Scacchi, Walt / Wang, Alf Inge et al. | 2013
- 1523
-
2nd International workshop on green and sustainable software (GREENS 2013)Lago, Patricia / Meyer, Niklaus / Morisio, Maurizio / Muller, Hausi A. / Scanniello, Giuseppe et al. | 2013
- 1525
-
2nd SEMAT workshop on a general theory of software engineering (GTSE 2013)Johnson, Pontus / Goedicke, Michael / Jacobson, Ivar / Kajko-Mattsson, Mira et al. | 2013
- 1527
-
7th International Workshop on Software Clones (IWSC 2013)Koschke, Rainer / Juergens, Elmar / Rilling, Juergen et al. | 2013
- 1529
-
1st International workshop on live programming (LIVE 2013)Burg, Brian / Kuhn, Adrian / Parnin, Chris et al. | 2013
- 1531
-
5th International workshop on Modeling in Software Engineering (MiSE 2013)Atlee, Joanne M. / France, Robert B. / Baillargeon, Robert / Gray, Jeff / Rumpe, Bernhard / Chechik, Marsha / Paige, Richard F. et al. | 2013
- 1533
-
1st International workshop on the engineering of mobile-enabled systems (MOBS 2013)Lewis, Grace A. / Muccini, Henry / Rosenblum, David / Gray, Jeff / Nagappan, Nachiappan / Shihab, Emad et al. | 2013
- 1535
-
4th International workshop on managing technical debt (MTD 2013)Kruchten, Philippe / Nord, Robert L. / Ozkaya, Ipek et al. | 2013
- 1537
-
1st International workshop on natural language analysis in software engineering (NaturaLiSE 2013)Pollock, Lori / Binkley, David / Lawrie, Dawn / Hill, Emily / Oliveto, Rocco / Bavota, Gabriele / Bacchelli, Alberto et al. | 2013
- 1539
-
5th International workshop on principles of engineering service-oriented systems (PESOS 2013)Bianculli, Domenico / Lewis, Grace A. / Lago, Patricia / Paik, Hye-Young et al. | 2013
- 1541
-
4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013)Rubin, Julia / Pleuss, Andreas / Botterweck, Goetz / Weiss, David M. et al. | 2013
- 1543
-
2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)Harrison, Rachel / Mernik, Marjan / Henriques, Pedro / da Cruz, Daniela / Menzies, Tim / Rodriguez, Daniel et al. | 2013
- 1545
-
1st International Workshop on Release Engineering (RELENG 2013)Adams, Bram / Bird, Christian / Khomh, Foutse / Moir, Kim et al. | 2013
- 1547
-
5th International workshop on software engineering for Computational Science and Engineering (SE-CSE 2013)Carver, Jeffrey C. / Epperly, Thomas / Hochstein, Lorin / Maxville, Valerie / Pfahl, Dietmar / Sillito, Jonathan et al. | 2013
- 1549
-
5th International workshop on Software Engineering in Health Care (SEHC 2013)Kuziemsky, Craig E. / Knight, John et al. | 2013
- 1551
-
4th International Workshop on Software Engineering for sensor network applications (SESENA 2013)Julien, Christine / Wehrle, Klaus et al. | 2013
- 1553
-
2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG 2013)Gorton, Ian / Koziolek, Heiko / Liu, Yan / Koziolek, Anne / Salehie, Mazeiar et al. | 2013
- 1555
-
3rd International workshop on developing tools as plug-ins (TOPI 2013)Barnett, Michael / Nordio, Martin / Bishop, Judith / Breitman, Karin K. / Garbervetsky, Diego et al. | 2013
- 1556
-
2nd International workshop on the twin peaks of requirements and architecture (TwinPeaks 2013)Avgeriou, Paris / Franch, Xavier / Burge, Janet E. / Galster, Matthias / Roshandel, Roshanak / Cleland-Huang, Jane / Mirakhorli, Mehdi et al. | 2013
- 1558
-
2nd International workshop on user evaluations for software engineering researchers (USER 2013)Begel, Andrew / Sadowski, Caitlin et al. | 2013
- 1560
-
4th International workshop on Emerging Trends in Software Metrics (WETSoM 2013)Counsell, Steven / Tempero, Ewan / Marchesi, Michele L. / Visaggio, Aaron et al. | 2013
- v
-
Message from the chairsNotkin, David / Cheng, Betty H.C. / Pohl, Klaus et al. | 2013
- xii
-
Organization committee| 2013
- xvii
-
Sponsors and supporters| 2013