default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34th ICSE 2012: Zurich, Switzerland
- Martin Glinz, Gail C. Murphy, Mauro Pezzè:
34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. IEEE Computer Society 2012, ISBN 978-1-4673-1067-3
Technical Research
Fault Handling
- Claire Le Goues
, Michael Dewey-Vogt, Stephanie Forrest, Westley Weimer:
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. 3-13 - Jian Zhou, Hongyu Zhang, David Lo:
Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports. 14-24 - Jifeng Xuan, He Jiang, Zhilei Ren, Weiqin Zou:
Developer prioritization in bug repositories. 25-35 - Francisco Servant, James A. Jones:
WhoseFault: Automatic developer-to-fault assignment through fault localization. 36-46
Code Generation and Recovery
- Barthélémy Dagenais, Martin P. Robillard:
Recovering traceability links between an API and its learning resources. 47-57 - Yingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki:
Generating range fixes for software configuration. 58-68 - Anh Tuan Nguyen, Tung Thanh Nguyen, Hoan Anh Nguyen, Ahmed Tamrawi, Hung Viet Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen:
Graph-based pattern-oriented, context-sensitive source code completion. 69-79 - Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard:
Automatic input rectification. 80-90
Empirical Studies of Development
- Narayan Ramasubbu, Rajesh Krishna Balan:
Overcoming the challenges in cost estimation for distributed software projects. 91-101 - Ding Yuan, Soyeon Park, Yuanyuan Zhou:
Characterizing logging practices in open-source software. 102-112 - Mathieu Lavallée, Pierre N. Robillard:
The impacts of software process improvement on developers: A systematic review. 113-122 - Victor Pankratius, Felix Schmidt, Gilda Garretón:
Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java. 123-133
Performance Analysis
- Dacong Yan, Guoqing Xu, Atanas Rountev:
Uncovering performance problems in Java applications with reference propagation profiling. 134-144 - Shi Han, Yingnong Dang, Song Ge, Dongmei Zhang, Tao Xie:
Performance debugging in the large via mining millions of stack traces. 145-155 - Mark Grechanik, Chen Fu, Qing Xie:
Automatically finding performance problems with feedback-directed learning software testing. 156-166 - Norbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don S. Batory, Marko Rosenmüller, Gunter Saake:
Predicting performance via automated feature-interaction detection. 167-177
Defect Prediction
- Gordon Fraser, Andrea Arcuri:
Sound empirical evidence in software testing. 178-188 - Fayola Peters, Tim Menzies:
Privacy and utility for defect prediction: Experiments with MORPH. 189-199 - Hideaki Hata, Osamu Mizuno, Tohru Kikuno:
Bug prediction based on fine-grained module histories. 200-210
Refactoring
- Xi Ge, Quinton L. DuBose, Emerson R. Murphy-Hill:
Reconciling manual and automatic refactoring. 211-221 - Stephen R. Foster, William G. Griswold, Sorin Lerner:
WitchDoctor: IDE support for real-time auto-completion of refactorings. 222-232 - Mohsen Vakilian, Nicholas Chen, Stas Negara, Balaji Ambresh Rajkumar, Brian P. Bailey, Ralph E. Johnson:
Use, disuse, and misuse of automated refactorings. 233-243
Human Aspects of Development
- Michaela Greiler, Arie van Deursen, Margaret-Anne D. Storey:
Test confessions: A study of testing practices for plug-in systems. 244-254 - Tobias Roehm, Rebecca Tiarks, Rainer Koschke, Walid Maalej:
How do professional developers comprehend software? 255-265 - Ekwa Duala-Ekoko, Martin P. Robillard:
Asking and answering questions about unfamiliar APIs: An exploratory study. 266-276
Bug Detection
- Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren:
Automated repair of HTML generation errors in PHP applications using string constraint solving. 277-287 - Michael Pradel, Thomas R. Gross:
Leveraging test generation and specification mining for automated bug detection without false positives. 288-298 - Peng Liu, Charles Zhang:
Axis: Automatically fixing atomicity violations through solving control constraints. 299-309 - Jingyue Li, Michael D. Ernst:
CBCD: Cloned buggy code detector. 310-320
Multiversion Software
- Sagi Ifrah, David H. Lorenz:
Crosscutting revision control system. 321-330 - Katsuro Inoue, Yusuke Sasaki, Pei Xia, Yuki Manabe:
Where does this code come from and where does it go? - Integrated code history tracker for open source systems. 331-341 - Mário Luís Guimarães, António Rito Silva:
Improving early detection of software merge conflicts. 342-352 - Sichen Meng, Xiaoyin Wang, Lu Zhang, Hong Mei:
A history-based matching approach to identification of framework evolution. 353-363
Similarity and Classification
- Collin McMillan, Mark Grechanik, Denys Poshyvanyk:
Detecting similar software applications. 364-374 - Alberto Bacchelli, Tommaso Dal Sasso, Marco D'Ambros, Michele Lanza:
Content classification of development emails. 375-385 - Yuan Tian, Julia Lawall, David Lo:
Identifying Linux bug fixing patches. 386-396 - Lucia, David Lo, Lingxiao Jiang, Aditya Budi:
Active refinement of clone anomaly reports. 397-407
Analysis for Evolution
- Ali Mesbah, Shabnam Mirshokraie:
Automated analysis of CSS rules to support style maintenance. 408-418 - Pamela Bhattacharya, Marios Iliofotou, Iulian Neamtiu, Michalis Faloutsos:
Graph-based analysis and prediction for software evolution. 419-429 - Malcom Gethers, Bogdan Dit, Huzefa H. Kagdi, Denys Poshyvanyk:
Integrated impact analysis for managing software changes. 430-440 - Felienne Hermans, Martin Pinzger, Arie van Deursen:
Detecting and visualizing inter-worksheet smells in spreadsheets. 441-451
Debugging
- Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella:
An empirical study about the effectiveness of debugging when random test cases are used. 452-462 - Ross Gore, Paul F. Reynolds Jr.:
Reducing confounding bias in predicate-level statistical debugging metrics. 463-473 - Wei Jin, Alessandro Orso:
BugRedux: Reproducing field failures for in-house debugging. 474-484 - Jorge Ressia, Alexandre Bergel, Oscar Nierstrasz:
Object-centric debugging. 485-495
Human Aspects of Process
- Laura Plonka, Helen Sharp, Janet van der Linden:
Disengagement in pair programming: Does it matter? 496-506 - John Downs, Beryl Plimmer, John G. Hosking:
Ambient awareness of build status in collocated software teams. 507-517 - Minghui Zhou, Audris Mockus:
What make long term contributors: Willingness and opportunity in OSS community. 518-528 - Otávio Augusto Lazzarini Lemos, Fabiano Cutigi Ferrari, Fábio Fagundes Silveira, Alessandro Garcia:
Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programming. 529-539
Models
- Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux:
Maintaining invariant traceability through bidirectional transformations. 540-550 - Robert Reicherdt, Sabine Glesner:
Slicing MATLAB Simulink models. 551-561 - Ali Razavi, Kostas Kontogiannis:
Partial evaluation of model transformations. 562-572 - Michalis Famelis, Rick Salay, Marsha Chechik:
Partial models: Towards modeling and reasoning with uncertainty. 573-583
Concurrency and Exceptions
- Yunhui Zheng, Xiangyu Zhang:
Static detection of resource contention problems in server-side scripts. 584-594 - Pingyu Zhang, Sebastian G. Elbaum:
Amplifying tests to validate exception handling code. 595-605 - Yan Cai, W. K. Chan:
MagicFuzzer: Scalable deadlock detection for large-scale applications. 606-616
Software Architecture
- Koen Yskout, Riccardo Scandariato, Wouter Joosen:
Does organizing security patterns focus architectural choices? 617-627 - Yongjie Zheng, Richard N. Taylor:
Enhancing architecture-implementation conformance with change management and support for behavioral mapping. 628-638 - Mehdi Mirakhorli, Yonghee Shin, Jane Cleland-Huang, Murat Çinar:
A tactic-centric approach for automating traceability of quality concerns. 639-649
Formal Verification
- Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen:
Build code analysis with symbolic evaluation. 650-660 - Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale:
An automated approach to generating efficient constraint solvers. 661-671 - Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Simulation-based abstractions for software product-line model checking. 672-682
Invariant Generation
- ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest:
Using dynamic analysis to discover polynomial and array invariants. 683-693 - Myoungkyu Song, Eli Tilevich:
Metadata invariants: Checking and inferring metadata coding conventions. 694-704 - Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel:
Generating obstacle conditions for requirements completeness. 705-715
Regression Testing
- Paul Dan Marinescu, Cristian Cadar:
make test-zesti: A symbolic execution solution for improving regression testing. 716-726 - Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov:
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. 727-737 - Dan Hao, Lu Zhang, Xingxia Wu, Hong Mei, Gregg Rothermel:
On-demand test suite reduction. 738-748
Software Vulnerability
- Anders Møller, Mathias Schwarz:
Automated detection of client-state manipulation vulnerabilities. 749-759 - Will Dietz, Peng Li, John Regehr, Vikram S. Adve:
Understanding integer overflow in C/C++. 760-770 - Muhammad Shahzad, Muhammad Zubair Shafiq, Alex X. Liu:
A large scale exploratory analysis of software vulnerability life cycles. 771-781
API Learning
- Raymond P. L. Buse, Westley Weimer:
Synthesizing API usage examples. 782-792 - Stefan Henß, Martin Monperrus, Mira Mezini:
Semi-automatically extracting FAQs to improve accessibility of software development knowledge. 793-803 - Gias Uddin, Barthélémy Dagenais, Martin P. Robillard:
Temporal analysis of API usage concepts. 804-814 - Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, Amit M. Paradkar:
Inferring method specifications from natural language API descriptions. 815-825
Code Recommenders
- Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou:
Automatic parameter recommendation for practical API usage. 826-836 - Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, Premkumar T. Devanbu:
On the naturalness of software. 837-847 - Collin McMillan, Negar Hariri, Denys Poshyvanyk, Jane Cleland-Huang, Bamshad Mobasher:
Recommending source code for use in rapid software prototypes. 848-858 - Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, Brad A. Myers:
Active code completion. 859-869
Test Automation
- Matt Staats, Gregory Gay, Mats Per Erik Heimdahl:
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing. 870-880 - Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, Satish Chandra:
Automating test automation. 881-891 - Jinguo Zhou, Xiao Xiao, Charles Zhang:
Stride: Search-based deterministic replay in polynomial time via bounded linkage. 892-902 - Charles Song, Adam A. Porter, Jeffrey S. Foster:
iTree: Efficiently discovering high-coverage configurations using interaction trees. 903-913
Validation of Specification
- Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo:
Inferring class level specifications for distributed systems. 914-924 - Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross:
Statically checking API protocol conformance with mined multi-object specifications. 925-935 - Carlo Ghezzi, Andrea Mocci:
Behavioral validation of JFSL specifications through model synthesis. 936-946 - Muath Alkhalaf, Tevfik Bultan, Jose L. Gallegos:
Verifying client-side input validation functions using string analysis. 947-957
Keynotes
- Saskia Sassen:
Digital formations of the powerful and the powerless (Keynote). 961 - Frank-Dieter Clesle:
Supporting sustainability with software - An industrial perspective (Keynote). 962 - Jeff Kramer:
Whither software architecture? (Keynote). 963
Software Engineering in Practice
Services and Analytics
- Clovis Chapman:
Towards a federated cloud ecosystem (Invited industrial talk). 967 - Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti:
Specification patterns from research to industry: A case study in service-based applications. 968-976 - Tarmo Ploom, Stefan Scheit, Axel Glaser:
Methodology for migration of long running process instances in a global large scale BPM environment in Credit Suisse's SOA landscape. 977-986 - Raymond P. L. Buse, Thomas Zimmermann:
Information needs for software development analytics. 987-996
Mini-Tutorial: Software Analytics
- Dongmei Zhang, Tao Xie:
Software analytics in practice: Mini tutorial. 997
Invited Industrial Experts
- Keith Braithwaite:
Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk). 998 - Eberhard Wolff:
Software architecture - What does it mean in industry? (Invited industrial talk). 999 - Tom Sprenger:
How software engineering can benefit from traditional industries - A practical experience report (Invited industrial talk). 1000
Formal Methods
- Wolfram Schulte:
Ten years of automated code analysis at Microsoft (Invited industrial talk). 1001 - June Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu:
Large-scale formal verification in practice: A process perspective. 1002-1011 - Futoshi Iwama, Taiga Nakamura, Hironori Takeuchi:
Constructing parser for industrial software specifications containing formal and natural language description. 1012-1021 - Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein:
Formal correctness, safety, dependability, and performance analysis of a satellite. 1022-1031
Goldfish Bowl Panel: Software Development Analytics
- Tim Menzies, Thomas Zimmermann:
Goldfish bowl panel: Software development analytics. 1032-1033
Re-engineering
- Jonathan Bnayahu, Maayan Goldstein, Mordechai Nisenson, Yahalomit Simionovici:
Making sense of healthcare benefits. 1034-1043 - Renato Lima Novais, Camila Nunes, Caio A. N. Lima, Elder Cirilo, Francisco Dantas, Alessandro Garcia, Manoel G. Mendonça:
On the proactive and interactive visualization for feature evolution comprehension: An industrial investigation. 1044-1053 - Boya Sun, Gang Shu, Andy Podgurski, Brian Robinson:
Extending static analysis by mining project-specific rules. 1054-1063
Debugging
- Robert DeLine, Andrew Bragdon, Kael Rowan, Jens Jacobsen, Steven P. Reiss:
Debugger Canvas: Industrial experience with the code bubbles paradigm. 1064-1073 - Thomas Zimmermann, Nachiappan Nagappan, Philip J. Guo, Brendan Murphy:
Characterizing and predicting which bugs get reopened. 1074-1083 - Yingnong Dang, Rongxin Wu, Hongyu Zhang, Dongmei Zhang, Peter Nobel:
ReBucket: A method for clustering duplicate crash reports based on call stack similarity. 1084-1093
Case Studies
- Alberto Sillitti, Giancarlo Succi, Jelena Vlasenko:
Understanding the impact of Pair Programming on developers attention: A case study on a large industrial experimentation. 1094-1101 - Sebastian Eder, Maximilian Junker, Elmar Jürgens, Benedikt Hauptmann, Rudolf Vaas, Karl-Heinz Prommer:
How much does unused code matter for maintenance? 1102-1111 - Emilia Mendes:
Using knowledge elicitation to improve Web effort estimation: Lessons from six industrial case studies. 1112-1121
Testing
- John Penix:
Large-scale test automation in the cloud (Invited industrial talk). 1122 - Nicolas Devos, Christophe Ponsard, Jean-Christophe Deprez, Renaud Bauvin, Benedicte Moriau, Guy Anckaerts:
Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain. 1123-1132 - Stefan Wagner, Klaus Lochmann, Lars Heinemann, Michael Kläs, Adam Trendowicz, Reinhold Plösch, Andreas Seidl, Andreas Goeb, Jonathan Streit:
The Quamoco product quality modelling and assessment approach. 1133-1142 - Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jang:
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE. 1143-1152
Software Engineering Education
The Role of Software Projects in Software Engineering Education
- Gabriele Bavota, Andrea De Lucia, Fausto Fasano, Rocco Oliveto, Carlo Zottoli:
Teaching software engineering and software project management: An integrated and practical approach. 1155-1164 - Terhi Kilamo, Imed Hammouda, Mohamed Amine Chatti:
Teaching collaborative software development: A case study. 1165-1174 - Jörn Guy Süß, William Billingsley:
Using continuous integration of code and content to teach software engineering with limited resources. 1175-1184
Aspects of Teaching Software Engineering
- Tony Cowling:
Stages in teaching software testing. 1185-1194 - Christopher P. Fuhrman, Roger Champagne, Alain April:
Integrating tools and frameworks in undergraduate software engineering curriculum. 1195-1204 - David Budgen, Sarah Drummond, Pearl Brereton, Nikki Holland:
What scope is there for adopting evidence-informed teaching in SE? 1205-1214
Software Engineering Education in Industry
- Ganesh Samarthyam, Girish Suryanarayana, Arbind Kumar Gupta, Raghu Nambiar:
FOCUS: An adaptation of a SWEBOK-based curriculum for industry requirements. 1215-1224
Teaching Distributed Software Engineering
- Ivica Crnkovic, Ivana Bosnic, Mario Zagar:
Ten tips to succeed in Global Software Engineering education. 1225-1234 - Igor Cavrak, Marin Orlic, Ivica Crnkovic:
Collaboration patterns in distributed software development projects. 1235-1244 - Guoping Rong, He Zhang, Mingjuan Xie, Dong Shao:
Improving PSP education by pairing: An empirical study. 1245-1254 - Massimiliano Di Penta, Giuliano Antoniol, Daniel M. Germán, Yann-Gaël Guéhéneuc, Bram Adams:
Five days of empirical software engineering: The PASED experience. 1255-1258
New Ideas and Emerging Results
NIER in Support of Software Engineers
- Tobias Roehm, Walid Maalej:
Automatically detecting developer activities and problems in software development work. 1261-1264 - Susan M. Mitchell, Carolyn B. Seaman:
Software process improvement through the identification and removal of project-level knowledge flow obstacles. 1265-1268 - Colin Atkinson, Ralph Gerbig, Bastian Kennel:
Symbiotic general-purpose and domain-specific languages. 1269-1272 - Sonia Haiduc, Gabriele Bavota, Rocco Oliveto, Andrian Marcus, Andrea De Lucia:
Evaluating the specificity of text retrieval queries to support software engineering tasks. 1273-1276 - Christoph Dorn, Richard N. Taylor:
Co-adapting human collaborations and software architectures. 1277-1280 - Hyrum K. Wright, Dewayne E. Perry:
Release engineering practices and pitfalls. 1281-1284 - James M. Corrigan:
Augmented intelligence - The new AI - Unleashing human capabilities in knowledge work. 1285-1288
NIER for Mining Product and Process Data
- Niko Schwarz, Mircea Lungu, Romain Robbes:
On how often code is cloned across repositories. 1289-1292 - Lwin Khin Shar, Hee Beng Kuan Tan:
Mining input sanitization patterns for predicting SQL injection and cross site scripting vulnerabilities. 1293-1296 - Tung Thanh Nguyen, Tien N. Nguyen, Evelyn Duesterwald, Tim Klinger, Peter Santhanam:
Inferring developer expertise through defect analysis. 1297-1300 - Abram Hindle:
Green mining: Investigating power consumption across versions. 1301-1304 - Yang Feng, Zhenyu Chen:
Multi-label software behavior learning. 1305-1308 - Alexander Chatzigeorgiou, George Melas:
Trends in object-oriented software evolution: Investigating network properties. 1309-1312 - Benjamin Rogers, James Gung, Yechen Qiao, Janet E. Burge:
Exploring techniques for rationale extraction from existing documents. 1313-1316
NIER for Verification and Evolution
- Emerson R. Murphy-Hill:
Continuous social screencasting to facilitate software tool discovery. 1317-1320 - Phil Greenwood, Awais Rashid, James Walkerdine:
UDesignIt: Towards social media for community-driven design. 1321-1324 - Leif Singer, Kurt Schneider:
Influencing the adoption of software engineering methods using social software. 1325-1328 - Jane Cleland-Huang, Yonghee Shin, Ed Keenan, Adam Czauderna, Greg Leach, Evan Moritz, Malcom Gethers, Denys Poshyvanyk, Jane Huffman Hayes, Wenbin Li:
Toward actionable, broadly accessible contests in Software Engineering. 1329-1332 - Adrian Kuhn, Mirko Stocker:
CodeTimeline: Storytelling with versioning data. 1333-1336 - Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jin Song Dong:
Analyzing multi-agent systems with probabilistic model checking approach. 1337-1340 - Kevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim:
BRACE: An assertion framework for debugging cyber-physical systems. 1341-1344 - Nadia Alshahwan, Mark Harman:
Augmenting test suites effectiveness by increasing output diversity. 1345-1348 - Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Improving IDE recommendations by considering global implications of existing recommendations. 1349-1352 - Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel:
Towards flexible evolution of Dynamically Adaptive Systems. 1353-1356 - Fabio Casati, Florian Daniel, Guenadi Dantchev, Joakim Eriksson, Niclas Finne, Stamatis Karnouskos, Patricio Moreno Montero, Luca Mottola, Felix Jonathan Oppermann, Gian Pietro Picco, Antonio Quartulli, Kay Römer, Patrik Spiess, Stefano Tranquillini, Thiemo Voigt:
Towards business processes orchestrating the physical enterprise with wireless sensor networks. 1357-1360 - Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Eric R. Henderson, Divita Mathur, Dalia Abo Sheasha:
Engineering and verifying requirements for programmable self-assembling nanomachines. 1361-1364
Formal Research Demonstrations
Formal Demos 1
- Anja Guzzi, Andrew Begel:
Facilitating communication between engineers with CARES. 1367-1370 - Itai Segall, Rachel Tzoref-Brill:
Interactive refinement of combinatorial test plans. 1371-1374 - Ed Keenan, Adam Czauderna, Greg Leach, Jane Cleland-Huang, Yonghee Shin, Evan Moritz, Malcom Gethers, Denys Poshyvanyk, Jonathan I. Maletic, Jane Huffman Hayes, Alex Dekhtyar, Daria Manukian, Shervin Hossein, Derek Hearn:
TraceLab: An experimental workbench for equipping researchers to innovate, synthesize, and comparatively evaluate traceability solutions. 1375-1378 - Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman:
Specification engineering and modular verification using a web-integrated verifying compiler. 1379-1382 - Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi:
Writing dynamic service orchestrations with DSOL. 1383-1386 - Leonardo Mariani, Fabrizio Pastore:
MASH: A tool for end-user plug-in composition. 1387-1390 - Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen:
BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications. 1391-1394 - Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva:
MDSheet: A framework for model-driven spreadsheet engineering. 1395-1398
Formal Demos 2
- Christoph Treude, Patrick Gorman, Lars Grammel, Margaret-Anne D. Storey:
WorkItemExplorer: Visualizing software development tasks using an interactive exploration environment. 1399-1402 - Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio:
Runtime monitoring of component changes with Spy@Runtime. 1403-1406 - Anh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen:
GraPacc: A graph-based pattern-oriented, context-sensitive code completion tool. 1407-1410 - Steven P. Reiss, Jared N. Bott, Joseph J. LaViola Jr.:
Code Bubbles: A practical working-set programming environment. 1411-1414 - Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio:
EVOSS: A tool for managing the evolution of free and open source software systems. 1415-1418 - Gabriele Bavota, Andrea De Lucia, Andrian Marcus, Rocco Oliveto, Fabio Palomba:
Supporting extract class refactoring in Eclipse: The ARIES project. 1419-1422 - Florian Gross, Gordon Fraser, Andreas Zeller:
EXSYST: Search-based GUI testing. 1423-1426 - Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu:
JavaMOP: Efficient parametric runtime monitoring framework. 1427-1430
Posters and Informal Demonstrations
Posters
- Konstantin Rubinov, Jochen Wuttke:
Augmenting test suites automatically. 1433-1434 - Rina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, Akira Fukuda:
Using the GPGPU for scaling up Mining Software Repositories. 1435-1436 - Dennis Pagano, Miguel A. Juan, Alessandra Bagnato, Tobias Roehm, Bernd Bruegge, Walid Maalej:
FastFix: Monitoring control for remote software maintenance. 1437-1438 - Alessio Gambi, Giovanni Toffetti:
Modeling Cloud performance with Kriging. 1439-1440 - Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza:
SOA adoption in the Italian industry. 1441-1442 - Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva:
A bidirectional model-driven spreadsheet environment. 1443-1444 - Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino:
A self-healing technique for Java applications. 1445-1446 - Christopher Forbes, Iman Keivanloo, Juergen Rilling:
When open source turns cold on innovation - The challenges of navigating licensing complexities in new research domains. 1447-1448
Informal Demonstrations
- Markus Voelter, Vaclav Pech:
Language modularity with the MPS language workbench. 1449-1450 - Sheng Huang, Yiqi Lu, Yanghua Xiao, Wei Wang:
Mining application repository to recommend XML configuration snippets. 1451-1452 - Maxime Ouellet, Ettore Merlo, Neset Sozen, Martin Gagnon:
Locating features in dynamically configured avionics software. 1453-1454 - Myoungkyu Song, Eli Tilevich:
Detecting metadata bugs on the fly. 1455-1456 - Jan-Peter Krämer, Joachim Kurz, Thorsten Karrer, Jan O. Borchers:
Blaze. 1457-1458 - Tristan Wehrmaker, Stefan Gärtner, Kurt Schneider:
ConTexter feedback system. 1459-1460 - Yongjie Zheng, Richard N. Taylor:
xMapper: An architecture-implementation mapping tool. 1461-1462 - Péricles Alves, Diogo Santana, Eduardo Figueiredo:
ConcernReCS: Finding code smells in software aspectization. 1463-1464 - Saulius Astromskis, Andrea Janes, Alireza Rezaei Mahdiraji:
Egidio: A non-invasive approach for synthesizing organizational models. 1465-1466 - Bruno Antunes, Joel Cordeiro, Paulo Gomes:
SDiC: Context-based retrieval in Eclipse. 1467-1468 - Xiangyu Zhang, Mengxiang Lin, Kai Yu:
An integrated bug processing framework. 1469-1470 - Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen:
Repository for Model Driven Development (ReMoDD). 1471-1472
Doctoral Symposium
Posters 1-12
- Damian Andrew Tamburri:
Going global with agile service networks. 1475-1478 - Gabriele Bavota:
Using structural and semantic information to support software refactoring. 1479-1482 - Sedigheh Khoshnevis:
An approach to variability management in service-oriented product lines. 1483-1486 - Erol-Valeriu Chioasca:
Using machine learning to enhance automated requirements model transformation. 1487-1490 - Andrea Avancini:
Security testing of web applications: A research plan. 1491-1494 - Christopher Bailey:
Application of Self-Adaptive techniques to federated authorization models. 1495-1498 - Tezcan Dilshener:
Improving information retrieval-based concept location using contextual relationships. 1499-1502 - Monde Kalumbilo:
Effective specification of decision rights and accountabilities for better performing software engineering projects. 1503-1506 - Thelma Elita Colanzi:
Search based design of software product lines architectures. 1507-1510 - Wanzhi Wen:
Software fault localization based on program slicing spectrum. 1511-1514 - Salma Imtiaz:
Architectural task allocation in distributed environment: A traceability perspective. 1515-1518 - Wided Ghardallou:
Using invariant relations in the termination analysis of while loops. 1519-1522
Presentations 1-4
- Marcel Böhme:
Software regression as change of input partitioning. 1523-1526 - Dennis Westermann:
A generic methodology to derive domain-specific performance feedback for developers. 1527-1530 - Alfredo Motta:
Towards the verification of multi-diagram UML models. 1531-1534 - Anja Guzzi:
Documenting and sharing knowledge about code. 1535-1538
Presentations 5-6
- Kelly Blincoe:
Timely and efficient facilitation of coordination of software developers' activities. 1539-1542 - Benjamin Rodes:
Stack layout transformation: Towards diversity for securing binary programs. 1543-1546
Posters 13-25
- Nicolás D'Ippolito:
Synthesis of event-based controllers: A software engineering challenge. 1547-1550 - Malte Ressin:
Empirically researching development of international software. 1551-1554 - Fathiyeh Faghih:
Model translations among big-step modeling languages. 1555-1558 - Pedro Monteiro:
HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavors. 1559-1562 - Fehmi Jaafar:
On the analysis of evolution of software artefacts and programs. 1563-1566 - Swapneel Sheth:
Societal Computing. 1567-1570 - Kathryn T. Stolee:
Finding suitable programs: Semantic search with incomplete and lightweight specifications. 1571-1574 - Panayiotis Steele:
Certification-based development of critical systems. 1575-1578 - Tanja Mayerhofer:
Testing and debugging UML models based on fUML. 1579-1582 - Weiyi Shang:
Bridging the divide between software developers and operators using logs. 1583-1586 - Marcelo Serrano Zanetti:
The co-evolution of socio-technical structures in sustainable software development: Lessons from the open source software communities. 1587-1590 - Alexander Elyasov:
Log-based testing. 1591-1594 - Volker Schuchardt:
Moving mobile applications between mobile devices seamlessly. 1595-1598
ACM Student Research Competition
- Kelly Blincoe:
Timely detection of Coordination Requirements to support collaboration among software developers. 1601-1603 - Kai Yu:
Improving failure-inducing changes identification using coverage analysis. 1604-1606 - Brittany Johnson:
A study on improving static analysis tools: Why are we not using them? 1607-1609 - Nupul Kukreja:
Winbook: A social networking based framework for collaborative requirements elicitation and WinWin negotiations. 1610-1612 - Antonio Vetrò:
Using automatic static analysis to identify technical debt. 1613-1615 - Jorge Mendes:
Coupled evolution of model-driven spreadsheets. 1616-1618 - Cheng Thao:
Managing evolution of software product line. 1619-1621 - Andreas Demuth:
Enabling dynamic metamodels through constraint-driven modeling. 1622-1624 - Soudip Roy Chowdhury:
Assisting end-user development in browser-based mashup tools. 1625-1627 - Niko Schwarz:
Hot clones: Combining search-driven development, clone management, and code provenance. 1628-1629 - Zhongxian Gu:
Capturing and exploiting fine-grained IDE interactions. 1630-1631 - Pablo Estefo:
Restructuring unit tests with TestSurgeon. 1632-1634 - Vítor Estêvão Silva Souza:
A requirements-based approach for the design of adaptive systems. 1635-1637 - Matteo Camilli:
Petri nets state space analysis in the cloud. 1638-1640 - Simon Butler:
Mining Java class identifier naming conventions. 1641-1643 - Iman Keivanloo:
Online sharing and integration of results from mining software repositories. 1644-1646
Invited Summaries
- Mira Kajko-Mattsson, Michael Striewe, Michael Goedicke, Ivar Jacobson, Ian Spence, Shihong Huang, Paul McMahon, Bruce MacIsaac, Brian Elvesæter, Arne J. Berre, Ed Seymour:
Refounding software engineering: The Semat initiative (Invited presentation). 1649-1650 - Alessandro Orso, Ralf H. Reussner:
Summary of the ICSE 2012 workshops. 1651-1653 - Andreas Leitner, Oscar Nierstrasz:
Summary of the ICSE 2012 tutorials and technical briefings. 1654-1657
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-02-28 22:12 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:
