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