Abstract is missing.
- Automatic synthesis of modular connectors via composition of protocol mediation patternsPaola Inverardi, Massimo Tivoli. 3-12 [doi]
- Robust reconfigurations of component assembliesFabienne Boyer, Olivier Gruber, Damien Pous. 13-22 [doi]
- Drag-and-drop refactoring: intuitive and efficient program transformationYun Young Lee, Nicholas Chen, Ralph E. Johnson. 23-32 [doi]
- Managing non-functional uncertainty via model-driven adaptivityCarlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli. 33-42 [doi]
- GuideArch: guiding the exploration of architectural solution space under uncertaintyNaeem Esfahani, Sam Malek, Kaveh Razavi. 43-52 [doi]
- Coupling software architecture and human architecture for collaboration-aware system adaptationChristoph Dorn, Richard N. Taylor. 53-62 [doi]
- Learning revised models for planning in adaptive systemsDaniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue. 63-71 [doi]
- RERAN: timing- and touch-sensitive record and replay for AndroidLorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, Todd D. Millstein. 72-81 [doi]
- Inferring likely mappings between APIsAmruta Gokhale, Vinod Ganapathy, Yogesh Padmanaban. 82-91 [doi]
- Estimating mobile application energy consumption using program analysisShuai Hao, Ding Li, William G. J. Halfond, Ramesh Govindan. 92-101 [doi]
- Observable modified Condition/Decision coverageMichael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats. 102-111 [doi]
- Creating a shared understanding of testing culture on a social coding siteRaphael Pham, Leif Singer, Olga Liskin, Fernando Marques Figueira Filho, Kurt Schneider. 112-121 [doi]
- Billions and billions of constraints: whitebox fuzz testing in productionElla Bounimova, Patrice Godefroid, David A. Molnar. 122-131 [doi]
- Feedback-directed unit test generation for C/C++ using concolic executionPranav Garg 0001, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta. 132-141 [doi]
- A learning-based method for combining testing techniquesDomenico Cotroneo, Roberto Pietrantuono, Stefano Russo. 142-151 [doi]
- Human performance regression testingAmanda Swearngin, Myra B. Cohen, Bonnie E. John, Rachel K. E. Bellamy. 152-161 [doi]
- Guided test generation for web applicationsSuresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra. 162-171 [doi]
- Comparing multi-point stride coverage and dataflow coverageMohammad Mahdi Hassan, James H. Andrews. 172-181 [doi]
- Interaction-based test-suite minimizationDale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick. 182-191 [doi]
- Bridging the gap between the total and additional test-case prioritization strategiesLingming Zhang, Dan Hao, Lu Zhang 0023, Gregg Rothermel, Hong Mei. 192-201 [doi]
- Detecting spurious counterexamples efficiently in abstract model checkingCong Tian, Zhenhua Duan. 202-211 [doi]
- Segmented symbolic analysisWei Le. 212-221 [doi]
- Explicating symbolic execution (xSymExe): an evidence-based verification frameworkJohn Hatcliff, Robby, Patrice Chalin, Jason Belt. 222-231 [doi]
- Aluminum: principled scenario exploration through minimalityTimothy Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. 232-241 [doi]
- Counter play-out: executing unrealizable scenario-based specificationsShahar Maoz, Yaniv Sa'ar. 242-251 [doi]
- Unifying FSM-inference algorithms through declarative specificationIvan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy. 252-261 [doi]
- What good are strong specifications?Nadia Polikarpova, Carlo A. Furia, Yu Pei 0001, Yi Wei, Bertrand Meyer. 262-271 [doi]
- Comparative causality: explaining the differences between executionsWilliam N. Sumner, Xiangyu Zhang. 272-281 [doi]
- Automatic testing of sequential and concurrent substitutabilityMichael Pradel, Thomas R. Gross. 282-291 [doi]
- Data clone detection and visualization in spreadsheetsFelienne Hermans, Ben Sedee, Martin Pinzger, Arie van Deursen. 292-301 [doi]
- Partition-based regression verificationMarcel Böhme, Bruno C. D. S. Oliveira, Abhik Roychoudhury. 302-311 [doi]
- Automated diagnosis of software configuration errorsSai Zhang, Michael D. Ernst. 312-321 [doi]
- Detecting deadlock in programs with data-centric synchronizationDaniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek. 322-331 [doi]
- The design of bug fixesEmerson R. Murphy-Hill, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan. 332-341 [doi]
- PorchLight: a tag-based approach to bug triagingGerald Bortis, André van der Hoek. 342-351 [doi]
- Expositor: scriptable time-travel debugging with first-class tracesYit Phang Khoo, Jeffrey S. Foster, Michael Hicks. 352-361 [doi]
- Chronicler: lightweight recording to reproduce field failuresJonathan Bell, Nikhil Sarda, Gail E. Kaiser. 362-371 [doi]
- Does bug prediction support human developers? findings from a google case studyChris Lewis 0002, Zhongpeng Lin, Caitlin Sadowski, Xiaoyan Zhu, Rong Ou, E. James Whitehead Jr.. 372-381 [doi]
- Transfer defect learningJaechang Nam, Sinno Jialin Pan, Sunghun Kim. 382-391 [doi]
- It's not a bug, it's a feature: how misclassification impacts bug predictionKim Herzig, Sascha Just, Andreas Zeller. 392-401 [doi]
- Assisting developers of big data analytics applications when deploying on hadoop cloudsWeiyi Shang, Zhen Ming Jiang, Hadi Hemmati, Bram Adams, Ahmed E. Hassan, Patrick Martin. 402-411 [doi]
- Broken sets in software repository evolutionJérôme Vouillon, Roberto Di Cosmo. 412-421 [doi]
- Boa: a language and infrastructure for analyzing ultra-large-scale software repositoriesRobert Dyer 0001, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen. 422-431 [doi]
- How, and why, process metrics are betterFoyzur Rahman, Premkumar T. Devanbu. 432-441 [doi]
- The role of domain knowledge and cross-functional communication in socio-technical coordinationDaniela Damian, Remko Helms, Irwin Kwan, Sabrina Marczak, Benjamin Koelewijn. 442-451 [doi]
- Dual ecological measures of focus in software developmentDaryl Posnett, Raissa M. D'Souza, Premkumar T. Devanbu, Vladimir Filkov. 452-461 [doi]
- Not going to take this anymore: multi-objective overtime planning for software engineering projectsFilomena Ferrucci, Mark Harman, Jian Ren, Federica Sarro. 462-471 [doi]
- Beyond boolean product-line model checking: dealing with feature attributes and multi-featuresMaxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. 472-481 [doi]
- Strategies for product-line verification: case studies and experimentsSven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer. 482-491 [doi]
- On the value of user preferences in search-based software engineering: a case study in software product linesAbdel Salam Sayyad, Tim Menzies, Hany Ammar. 492-501 [doi]
- LASE: locating and applying systematic edits by learning from examplesNa Meng, Miryung Kim, Kathryn S. McKinley. 502-511 [doi]
- Search-based genetic optimization for deployment and reconfiguration of software in the cloudSören Frey, Florian Fittkau, Wilhelm Hasselbring. 512-521 [doi]
- How to effectively use topic models for software engineering tasks? an approach based on genetic algorithmsAnnibale Panichella, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, Andrea De Lucia. 522-531 [doi]
- Green streams for data-intensive softwareThomas Bartenstein, Yu David Liu. 532-541 [doi]
- Dynamic synthesis of local time requirement for service compositionTian Huat Tan, Étienne André, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Manman Chen. 542-551 [doi]
- Supporting swift reaction: automatically uncovering performance problems by systematic experimentsAlexander Wert, Jens Happe, Lucia Happe. 552-561 [doi]
- Toddler: detecting performance problems via similar memory-access patternsAdrian Nistor, Linhai Song, Darko Marinov, Shan Lu. 562-571 [doi]
- Departures from optimality: understanding human analyst's information foraging in assisted requirements tracingNan Niu, Anas Mahmoud, Zhangji Chen, Gary Bradshaw. 572-581 [doi]
- Analysis of user comments: an approach for software requirements evolutionLaura V. Galvis Carreño, Kristina Winbladh. 582-591 [doi]
- Requirements modelling by synthesis of deontic input-output automataEmmanuel Letier, William Heaven. 592-601 [doi]
- Automated reliability estimation over partial systematic explorationsEsteban Pavese, Víctor A. Braberman, Sebastián Uchitel. 602-611 [doi]
- Safe software updates via multi-version executionPetr Hosek, Cristian Cadar. 612-621 [doi]
- Reliability analysis in symbolic pathfinderAntonio Filieri, Corina S. Pasareanu, Willem Visser. 622-631 [doi]
- Engineering adaptive privacy: on the role of privacy awareness requirementsInah Omoronyia, Luca Cavallaro, Mazeiar Salehie, Liliana Pasquale, Bashar Nuseibeh. 632-641 [doi]
- Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysisLwin Khin Shar, Hee Beng Kuan Tan, Lionel C. Briand. 642-651 [doi]
- Path sensitive static analysis of web applications for remote code execution vulnerability detectionYunhui Zheng, Xiangyu Zhang. 652-661 [doi]
- Automated software architecture security risk analysis using formalized signaturesMohamed Almorsy, John Grundy, Amani S. Ibrahim. 662-671 [doi]
- Why don't software developers use static analysis tools to find bugs?Brittany Johnson, Yoonki Song, Emerson R. Murphy-Hill, Robert W. Bowdidge. 672-681 [doi]
- Exploring the impact of inter-smell relations on software maintainability: an empirical studyAiko Fallas Yamashita, Leon Moonen. 682-691 [doi]
- An empirical study on the developers' perception of software couplingGabriele Bavota, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, Andrea De Lucia. 692-701 [doi]
- X-PERT: accurate identification of cross-browser issues in web applicationsShauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso. 702-711 [doi]
- Expectations, outcomes, and challenges of modern code reviewAlberto Bacchelli, Christian Bird. 712-721 [doi]
- UML in practiceMarian Petre. 722-731 [doi]
- Cassandra: proactive conflict minimization through optimized task schedulingBakhtiar Khan Kasi, Anita Sarma. 732-741 [doi]
- Are your incoming aliases really necessary? counting the cost of object ownershipAlex Potanin, Monique Damitio, James Noble. 742-751 [doi]
- Efficient construction of approximate call graphs for JavaScript IDE servicesAsger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip. 752-761 [doi]
- Improving feature location practice with multi-faceted interactive explorationJinshui Wang, Xin Peng, Zhenchang Xing, Wenyun Zhao. 762-771 [doi]
- SemFix: program repair via semantic analysisHoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra. 772-781 [doi]
- Automatic recovery from runtime failuresAntonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè. 782-791 [doi]
- Program transformations to fix C integersZack Coker, Munawar Hafiz. 792-801 [doi]
- Automatic patch generation learned from human-written patchesDongsun Kim, Jaechang Nam, Jaewoo Song, Sunghun Kim. 802-811 [doi]
- Reverb: recommending code-related web pagesNicholas Sawadsky, Gail C. Murphy, Rahul Jiresal. 812-821 [doi]
- Dynamic injection of sketching features into GEF based diagram editorsAndreas Scharf, Till Amma. 822-831 [doi]
- Discovering essential code elements in informal documentationPeter C. Rigby, Martin P. Robillard. 832-841 [doi]
- Automatic query reformulations for text retrieval in software engineeringSonia Haiduc, Gabriele Bavota, Andrian Marcus, Rocco Oliveto, Andrea De Lucia, Tim Menzies. 842-851 [doi]
- Are software patents bad? (keynote)Pamela Samuelson. 855 [doi]
- The connection between movie making and software development (keynote)Tony DeRose. 856 [doi]
- Does scale really matter? ultra-large-scale systems seven years after the study (keynote)Linda M. Northrop. 857 [doi]
- Technical debt: past, present, and future (panel)Steven Fraser, Judith Bishop, Barry W. Boehm, Pradeep Kathail, Philippe Kruchten, Ipek Ozkaya, Alexandra Szynkarski. 861-862 [doi]
- Scaling agile methods to regulated environments: an industry case studyBrian Fitzgerald, Klaas-Jan Stol, Ryan O'Sullivan, Donal O'Brien. 863-872 [doi]
- Agility at scale: economic governance, measured improvement, and disciplined deliveryAlan W. Brown, Scott Ambler, Walker Royce. 873-881 [doi]
- Distributed development considered harmful?Ekrem Kocaguneli, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, Tim Menzies. 882-890 [doi]
- Measuring architecture quality by structure plus history analysisRobert W. Schwanke, Lu Xiao, Yuanfang Cai. 891-900 [doi]
- Obtaining ground-truth software architecturesJoshua Garcia, Ivo Krka, Chris Mattmann, Nenad Medvidovic. 901-910 [doi]
- MIDAS: a design quality assessment method for industrial softwareGanesh Samarthyam, Girish Suryanarayana, Tushar Sharma, Shrinath Gupta. 911-920 [doi]
- Evaluating usefulness of software metrics: an industrial experience reportEric Bouwers, Arie van Deursen, Joost Visser. 921-930 [doi]
- Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendationVipin Balachandran. 931-940 [doi]
- Estimating software-intensive projects in the absence of historical dataAldo Dagnino. 941-950 [doi]
- Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial)Dongmei Zhang, Tao Xie. 951-952 [doi]
- User involvement in software evolution practice: a case studyDennis Pagano, Bernd Brügge. 953-962 [doi]
- A characteristic study on failures of production distributed data-parallel programsSihan Li, Hucheng Zhou, Haoxiang Lin, Tian Xiao, Haibo Lin, Wei Lin, Tao Xie. 963-972 [doi]
- Is time-zone proximity an advantage for software development? the case of the brazilian IT industryRafael Prikladnicki, Erran Carmel. 973-981 [doi]
- A study of enabling factors for rapid fielding: combined practices to balance speed and stabilityStephany Bellomo, Robert L. Nord, Ipek Ozkaya. 982-991 [doi]
- JST: an automatic test generation tool for industrial Java applications with stringsIndradeep Ghosh, Nastaran Shafiei, Guodong Li, Wei-Fan Chiang. 992-1001 [doi]
- Efficient and change-resilient test automation: an industrial case studySuresh Thummalapenta, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Sivagami Gnanasundaram, Deepa D. Nagaraj, Sampathkumar Sathishkumar. 1002-1011 [doi]
- Automatic detection of performance deviations in the load testing of large scale systemsHaroon Malik, Hadi Hemmati, Ahmed E. Hassan. 1012-1021 [doi]
- Detecting inconsistencies in wrappers: a case studyHenning Femmer, Dharmalingam Ganesan, Mikael Lindvall, David McComas. 1022-1031 [doi]
- Categorizing bugs with social networks: a case study on four open source software communitiesMarcelo Serrano Zanetti, Ingo Scholtes, Claudio Juan Tessone, Frank Schweitzer. 1032-1041 [doi]
- Predicting bug-fixing time: an empirical study of commercial software projectsHongyu Zhang, Liang Gong, Steven Versteeg. 1042-1051 [doi]
- Authentic assessment in software engineering education based on PBL principles: a case study in the telecom marketSimone C. dos Santos, Felipe S. F. Soares. 1055-1062 [doi]
- Studios in software engineering education: towards an evaluable modelChristopher N. Bull, Jon Whittle, Leon Cruickshank. 1063-1072 [doi]
- Enabling a classroom design studio with a collaborative sketch design toolDastyni Loksa, Nicolas Mangano, Thomas D. LaToza, André van der Hoek. 1073-1082 [doi]
- A framework to evaluate software engineering student contests: evaluation and integration with academic programsAmir Zeid. 1083-1089 [doi]
- An evaluation of interactive test-driven labs with WebIDE in CS0David S. Janzen, John Clements, Michael Hilton. 1090-1098 [doi]
- POPT: a problem-oriented programming and testing approach for novice studentsVicente Lustosa Neto, Roberta Coelho, Larissa Leite, Dalton S. Guerrero, Andrea P. Mendonça. 1099-1108 [doi]
- Teaching developer skills in the first software engineering courseVáclav Rajlich. 1109-1116 [doi]
- Teaching and learning programming and software engineering via interactive gamingNikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop. 1117-1126 [doi]
- Town hall discussion of SE 2004 revisions (panel)Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser. 1127 [doi]
- Teaching students global software engineering skills using distributed scrumMaria Paasivaara, Casper Lassenius, Daniela Damian, Petteri Räty, Adrian Schröter. 1128-1137 [doi]
- Teaching software process modelingMarco Kuhrmann, Daniel Méndez Fernández, Jürgen Münch. 1138-1147 [doi]
- Industry involvement in ICT curriculum: a comparative surveyChris J. Pilgrim. 1148-1153 [doi]
- Vulnerability of the day: concrete demonstrations for software engineering undergraduatesAndrew Meneely, Samuel Lucidi. 1154-1157 [doi]
- Eliminative induction: a basis for arguing system confidenceJohn B. Goodenough, Charles B. Weinstock, Ari Z. Klein. 1161-1164 [doi]
- Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inferencePaul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, Tom Yeh. 1165-1168 [doi]
- Semantic smells and errors in access control models: a case study in PHPFrançois Gauthier, Ettore Merlo. 1169-1172 [doi]
- Practical semantic test simplificationSai Zhang. 1173-1176 [doi]
- Understanding regression failures through test-passing and test-failing code changesRoykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, Yuriy Brun. 1177-1180 [doi]
- Temporal code completion and navigationYun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov. 1181-1184 [doi]
- Situational awareness: personalizing issue tracking systemsOlga Baysal, Reid Holmes, Michael W. Godfrey. 1185-1188 [doi]
- GROPG: a graphical on-phone debuggerTuan-Anh Nguyen, Christoph Csallner, Nikolai Tillmann. 1189-1192 [doi]
- Why did this code change?Sarah Rastkar, Gail C. Murphy. 1193-1196 [doi]
- Deciphering the story of software development through frequent pattern miningNicolas Bettenburg, Andrew Begel. 1197-1200 [doi]
- Liberating pair programming research from the oppressive Driver/Observer regimeStephan Salinger, Franz Zieris, Lutz Prechelt. 1201-1204 [doi]
- Pricing crowdsourcing-based software development tasksKe Mao, Ye Yang, Mingshu Li, Mark Harman. 1205-1208 [doi]
- Building test suites in social coding sites by leveraging drive-by commitsRaphael Pham, Leif Singer, Kurt Schneider. 1209-1212 [doi]
- Supporting application development with structured queries in the cloudMichael Smit, Bradley Simmons, Mark Shtern, Marin Litoiu. 1213-1216 [doi]
- Hunting for smells in natural language testsBenedikt Hauptmann, Maximilian Junker, Sebastian Eder, Lars Heinemann, Rudolf Vaas, Peter Braun. 1217-1220 [doi]
- Bottom-up model-driven developmentHamid Bagheri, Kevin J. Sullivan. 1221-1224 [doi]
- An approach for restructuring text contentLerina Aversano, Gerardo Canfora, Giuseppe De Ruvo, Maria Tortorella. 1225-1228 [doi]
- A case for human-driven software developmentEmilie Balland, Charles Consel, Bernard N'Kaoua, Hélène Sauzéon. 1229-1232 [doi]
- A framework for managing cloned product variantsJulia Rubin, Marsha Chechik. 1233-1236 [doi]
- Sketching software in the wildDavid Socha, Josh D. Tenenberg. 1237-1240 [doi]
- On extracting unit tests from interactive live programming sessionsAdrian Kuhn. 1241-1244 [doi]
- Towards automated testing and fixing of re-engineered feature modelsChristopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon. 1245-1248 [doi]
- Computational alignment of goals and scenarios for complex systemsDalal Alrajeh, Alessandra Russo, James Lockerbie, Neil A. M. Maiden, Alistair Mavin, Mark Novak. 1249-1252 [doi]
- Service networks for development communitiesDamian Andrew Tamburri, Patricia Lago, Hans van Vliet. 1253-1256 [doi]
- Formal specifications better than function points for code sizingMark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby C. Murray, D. Ross Jeffery, Len Bass. 1257-1260 [doi]
- Using mutation analysis for a model-clone detector comparison frameworkMatthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy. 1261-1264 [doi]
- On the relationships between domain-based coupling and code clones: an exploratory studyMd Saidur Rahman, Amir Aryani, Chanchal K. Roy, Fabrizio Perin. 1265-1268 [doi]
- Quantitative program slicing: separating statements by relevanceRaúl A. Santelices, Yiji Zhang, Siyuan Jiang, Haipeng Cai, Ying-Jie Zhang. 1269-1272 [doi]
- Example-driven modeling: model = abstractions + examplesKacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside. 1273-1276 [doi]
- Towards recognizing and rewarding efficient developer work patternsWill Snipes, Vinay Augustine, Anil R. Nair, Emerson R. Murphy-Hill. 1277-1280 [doi]
- Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processesXiao Liu, Yun Yang, Dahai Cao, Dong Yuan. 1281-1284 [doi]
- LAMBDAFICATOR: from imperative to functional programming through automated refactoringLyle Franklin, Alex Gyori, Jan Lahoda, Danny Dig. 1287-1290 [doi]
- JITTAC: a just-in-time tool for architectural consistencyJim Buckley, Sean Mooney, Jacek Rosik, Nour Ali. 1291-1294 [doi]
- Seahawk: stack overflow in the IDELuca Ponzanelli, Alberto Bacchelli, Michele Lanza. 1295-1298 [doi]
- DRC: a detection tool for dangling references in PHP-based web applicationsHung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen. 1299-1302 [doi]
- TestEvol: a tool for analyzing test-suite evolutionLeandro Sales Pinto, Saurabh Sinha, Alessandro Orso. 1303-1306 [doi]
- Query quality prediction and reformulation for source code search: the refoqus toolSonia Haiduc, Giuseppe De Rosa, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, Andrian Marcus. 1307-1310 [doi]
- A large scale Linux-kernel based benchmark for feature location researchZhenchang Xing, Yinxing Xue, Stan Jarzabek. 1311-1314 [doi]
- NavClus: a graphical recommender for assisting code explorationSeonah Lee, Sungwon Kang, Matt Staats. 1315-1318 [doi]
- LASE: an example-based program transformation tool for locating and applying systematic editsJohn Jacobellis, Na Meng, Miryung Kim. 1319-1322 [doi]
- CEL: modeling everywhereRemo Lemma, Michele Lanza, Fernando Olivero. 1323-1326 [doi]
- V: ISSUE: LIZER: exploring requirements clarification in online communication over timeEric Knauss, Daniela Damian. 1327-1330 [doi]
- YODA: young and newcomer developer assistantGerardo Canfora, Massimiliano Di Penta, Stefano Giannantonio, Rocco Oliveto, Sebastiano Panichella. 1331-1334 [doi]
- RADAR: a tool for debugging regression problems in C/C++ softwareFabrizio Pastore, Leonardo Mariani, Alberto Goffi. 1335-1338 [doi]
- MCT: a tool for commenting programs by multimedia commentsYiyang Hao, Ge Li, Lili Mou, Lu Zhang 0023, Zhi Jin. 1339-1342 [doi]
- Memoise: a tool for memoized symbolic executionGuowei Yang, Sarfraz Khurshid, Corina S. Pasareanu. 1343-1346 [doi]
- Controller synthesis: from modelling to enactmentVíctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel. 1347-1350 [doi]
- A study of variability spaces in open source softwareSarah Nadi. 1353-1356 [doi]
- Implementing database access control policy from unconstrained natural language textJohn Slankas. 1357-1360 [doi]
- Increasing anomaly handling efficiency in large organizations using applied machine learningLeif Jonsson. 1361-1364 [doi]
- Analyzing the change-proneness of service-oriented systems from an industrial perspectiveDaniele Romano. 1365-1368 [doi]
- Supporting maintenance tasks on transformational code generation environmentsVictor Guana. 1369-1372 [doi]
- An approach to documenting and evolving architectural design decisionsMeiru Che. 1373-1376 [doi]
- An observable and controllable testing framework for modern systemsTingting Yu. 1377-1380 [doi]
- Toward a software product line for affective-driven self-adaptive systemsJavier Gonzalez Sanchez. 1381-1384 [doi]
- Normalizing source code vocabulary to support program comprehension and software qualityLatifa Guerrouj. 1385-1388 [doi]
- Integrating systematic exploration, analysis, and maintenance in software developmentKivanç Muslu. 1389-1392 [doi]
- Fostering software quality assessmentMartin Brandtner. 1393-1396 [doi]
- A framework for self-healing software systemsNicolò Perino. 1397-1400 [doi]
- Building high assurance secure applications using security patterns for capability-based platformsPaul Rimba. 1401-1404 [doi]
- Systematically selecting a software module during opportunistic reuseNaveen Kulkarni. 1405-1406 [doi]
- Informing development decisions: from data to informationOlga Baysal. 1407-1410 [doi]
- Understanding and simulating software evolutionZhongpeng Lin. 1411-1414 [doi]
- An ontology toolkit for problem domain concept location in program comprehensionNuno Ramos Carvalho. 1415-1418 [doi]
- Measuring the forensic-ability of audit logs for nonrepudiationJason King. 1419-1422 [doi]
- SNIPR: complementing code search with code retargeting capabilitiesHuascar Sanchez. 1423-1426 [doi]
- Supporting incremental programming with ghostsOscar Callaú. 1429-1431 [doi]
- Novice understanding of program analysis tool notificationsBrittany Johnson. 1432-1434 [doi]
- Energy aware self-adaptation in mobile systemsLuca Ardito. 1435-1437 [doi]
- ConfDiagnoser: an automated configuration error diagnosis tool for Java softwareSai Zhang. 1438-1440 [doi]
- Reproducing and debugging field failures in houseWei Jin. 1441-1443 [doi]
- Fault comprehension for concurrent programsSangmin Park. 1444-1446 [doi]
- A proposal for the improvement of project's cost predictability using EVM and historical data of costAdler Diniz de Souza. 1447-1449 [doi]
- Studying the effect of co-change dispersion on software qualityEhsan Kouroshfar. 1450-1452 [doi]
- A roadmap for software maintainability measurementJuliana Saraiva. 1453-1455 [doi]
- Reasoning with qualitative preferences to develop optimal component-based systemsZachary J. Oster. 1456-1458 [doi]
- From models to code and back: correct-by-construction code from UML and ALFFederico Ciccozzi. 1459-1461 [doi]
- Mitigating the obsolescence of specification models of service-based systemsRomina Torres. 1462-1464 [doi]
- Decision theoretic requirements prioritization: a two-step approach for sliding towards value realizationNupul Kukreja. 1465-1467 [doi]
- Changeset based developer communication to detect software failuresBraden Simpson. 1468-1470 [doi]
- Identifying failure inducing developer pairs within developer networksJordan Ell. 1471-1473 [doi]
- On identifying user complaints of iOS appsHammad Khalid. 1474-1476 [doi]
- Automated testing of GUI applications: models, tools, and controlling flakinessAtif M. Memon, Myra B. Cohen. 1479-1480 [doi]
- Build your own model checker in one monthJin Song Dong, Jun Sun 0001, Yang Liu. 1481-1483 [doi]
- Data science for software engineeringTim Menzies, Ekrem Kocaguneli, Fayola Peters, Burak Turhan, Leandro L. Minku. 1484-1486 [doi]
- Software analytics: achievements and challengesDongmei Zhang, Tao Xie. 1487 [doi]
- Developing verified programs with dafnyK. Rustan M. Leino. 1488-1490 [doi]
- Software metrics: pitfalls and best practicesEric Bouwers, Arie van Deursen, Joost Visser. 1491-1492 [doi]
- A hands-on Java PathFinder tutorialPeter C. Mehlitz, Neha Rungta, Willem Visser. 1493-1495 [doi]
- Efficient quality assurance of variability-intensive systemsPatrick Heymans, Axel Legay, Maxime Cordy. 1496-1498 [doi]
- Software requirement patternsXavier Franch. 1499-1501 [doi]
- 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight. 1505-1506 [doi]
- 8th international workshop on automation of software test (AST 2013)Hong Zhu, Henry Muccini, Zhenyu Chen. 1507-1508 [doi]
- 1st international workshop on conducting empirical studies in industry (CESI 2013)Xavier Franch, Nazim H. Madhavji, Bill Curtis, Larry Votta. 1509-1510 [doi]
- 6th international workshop on cooperative and human aspects of software engineering (CHASE 2013)Rafael Prikladnicki, Rashina Hoda, Marcelo Cataldo, Helen Sharp, Yvonne Dittrich, Cleidson R. B. de Souza. 1511-1512 [doi]
- 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)Mark Harman, Richard F. Paige, James R. Williams. 1513-1514 [doi]
- 3rd international workshop on collaborative teaching of globally distributed software development (CTGDSD 2013)Stuart R. Faulk, Michal Young, Rafael Prikladnicki, David Weiss, Lian Yu. 1515-1516 [doi]
- 1st international workshop on data analysis patterns in software engineering (DAPSE 2013)Christian Bird, Tim Menzies, Thomas Zimmermann. 1517-1518 [doi]
- 1st FME workshop on formal methods in software engineering (FormaliSE 2013)Stefania Gnesi, Nico Plat. 1519-1520 [doi]
- 3rd international workshop on games and software engineering: engineering computer games to enable positive, progressive change (GAS 2013)Kendra M. L. Cooper, Walt Scacchi, Alf Inge Wang. 1521-1522 [doi]
- 2nd international workshop on green and sustainable software (GREENS 2013)Patricia Lago, Niklaus Meyer, Maurizio Morisio, Hausi A. Müller, Giuseppe Scanniello. 1523-1524 [doi]
- 2nd SEMAT workshop on a general theory of software engineering (GTSE 2013)Pontus Johnson, Ivar Jacobson, Michael Goedicke, Mira Kajko-Mattsson. 1525-1526 [doi]
- 7th international workshop on software clones (IWSC 2013)Rainer Koschke, Elmar Juergens, Juergen Rilling. 1527-1528 [doi]
- 1st international workshop on live programming (LIVE 2013)Brian Burg, Adrian Kuhn, Chris Parnin. 1529-1530 [doi]
- 5th international workshop on modeling in software engineering (MiSE 2013)Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe. 1531-1532 [doi]
- 1st international workshop on the engineering of mobile-enabled systems (MOBS 2013)Grace A. Lewis, Jeff Gray, Henry Muccini, Nachiappan Nagappan, David Rosenblum, Emad Shihab. 1533-1534 [doi]
- 4th international workshop on managing technical debt (MTD 2013)Philippe Kruchten, Robert L. Nord, Ipek Ozkaya. 1535-1536 [doi]
- 1st international workshop on natural language analysis in software engineering (NaturaLiSE 2013)Lori L. Pollock, David Binkley, Dawn Lawrie, Emily Hill, Rocco Oliveto, Gabriele Bavota, Alberto Bacchelli. 1537-1538 [doi]
- 5th international workshop on principles of engineering service-oriented systems (PESOS 2013)Domenico Bianculli, Patricia Lago, Grace A. Lewis, Hye-Young Paik. 1539-1540 [doi]
- 4th international workshop on product LinE approaches in software engineering (PLEASE 2013)Julia Rubin, Goetz Botterweck, Andreas Pleuss, David M. Weiss. 1541-1542 [doi]
- 2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)Rachel Harrison, Sol J. Greenspan, Tim Menzies, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Daniel Rodríguez. 1543-1544 [doi]
- 1st international workshop on release engineering (RELENG 2013)Bram Adams, Christian Bird, Foutse Khomh, Kim Moir. 1545-1546 [doi]
- 5th international workshop on software engineering for computational science and engineering (SE-CSE 2013)Jeffrey C. Carver, Tom Epperly, Lorin Hochstein, Valerie Maxville, Dietmar Pfahl, Jonathan Sillito. 1547-1548 [doi]
- 5th international workshop on software engineering in health care (SEHC 2013)Craig E. Kuziemsky, John Knight. 1549-1550 [doi]
- 4th international workshop on software engineering for sensor network applications (SESENA 2013)Christine Julien, Klaus Wehrle. 1551-1552 [doi]
- 2nd international workshop on software engineering challenges for the smart grid (SE4SG 2013)Ian Gorton, Yan Liu, Heiko Koziolek, Anne Koziolek, Mazeiar Salehie. 1553-1554 [doi]
- 3rd international workshop on developing tools as plug-ins (TOPI 2013)Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky. 1555 [doi]
- 2nd international workshop on the twin peaks of requirements and architecture (TwinPeaks 2013)Paris Avgeriou, Janet E. Burge, Jane Cleland-Huang, Xavier Franch, Matthias Galster, Mehdi Mirakhorli, Roshanak Roshandel. 1556-1557 [doi]
- 2nd international workshop on user evaluations for software engineering researchers (USER 2013)Andrew Begel, Caitlin Sadowski. 1558-1559 [doi]
- 4th international workshop on emerging trends in software metrics (WETSoM 2013)Steve Counsell, Michele Marchesi, Ewan D. Tempero, Corrado Aaron Visaggio. 1560-1561 [doi]