default search action
31st ICSE 2009: Vancouver, BC, Canada
- 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings. IEEE 2009, ISBN 978-1-4244-3452-7
Research Papers
Collaborative Development
- Timo Wolf, Adrian Schröter, Daniela E. Damian, Thanh H. D. Nguyen:
Predicting build failures using social network analysis on developer communication. 1-11 - Christoph Treude
, Margaret-Anne D. Storey:
How tagging helps bridge the gap between social and technical aspects in software development. 12-22 - Anita Sarma
Tesseract: Interactive visual exploration of socio-technical relationships in software development. 23-33
Debugging
- Trishul M. Chilimbi, Ben Liblit
HOLMES: Effective statistical debugging via efficient path profiling. 34-44 - Xinming Wang, Shing-Chi Cheung
Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization. 45-55 - Raúl A. Santelices, James A. Jones, Yanbing Yu, Mary Jean Harrold:
Lightweight fault-localization using multiple coverage types. 56-66
Software Quality and Metrics
- Audris Mockus
Succession: Measuring transfer of code and developer productivity. 67-77 - Ahmed E. Hassan:
Predicting faults using the complexity of code changes. 78-88 - Irina Diana Coman, Alberto Sillitti, Giancarlo Succi
A case-study on using an Automated In-process Software Engineering Measurement and Analysis system in an industrial environment. 89-99
Dynamic Adaptation
- Radu Calinescu
Using quantitative analysis to implement autonomic IT systems. 100-110 - Ilenia Epifani
Model evolution by run-time parameter adaptation. 111-121 - Brice Morin, Olivier Barais
Taming Dynamically Adaptive Systems using models and aspects. 122-132
Program Analysis I
- Mangala Gowri Nanda, Saurabh Sinha
Accurate Interprocedural Null-Dereference Analysis for Java. 133-143 - Raymond P. L. Buse, Westley Weimer:
The road not taken: Estimating path execution frequency statically. 144-154 - Sudheendra Hangal, Monica S. Lam:
Automatic dimension inference and checking for object-oriented programs. 155-165
Components
- Hervé Chang, Leonardo Mariani
In-field healing of integration problems with COTS components. 166-176 - Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby:
Modular string-sensitive permission analysis with demand-driven precision. 177-187 - Daniel M. Germán, Ahmed E. Hassan:
License integration patterns: Addressing license mismatches in component-based development. 188-198
Web Applications
- Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst:
Automatic creation of SQL Injection and cross-site scripting attacks. 199-209 - Ali Mesbah
Invariant-based automatic testing of AJAX user interfaces. 210-220
Development Tools
- Sven Apel, Christian Kästner, Christian Lengauer:
FEATUREHOUSE: Language-independent, automated software composition. 221-231 - Emily Hill, Lori L. Pollock, K. Vijay-Shanker:
Automatically capturing source code context of NL-queries for software maintenance and reuse. 232-242 - Steven P. Reiss:
Semantics-based code search. 243-253
Modeling
- Thomas Thüm, Don S. Batory, Christian Kästner
Reasoning about edits to feature models. 254-264 - Dalal Alrajeh, Jeff Kramer, Alessandra Russo
Learning operational requirements from goal models. 265-275 - Nam H. Pham, Hoan Anh Nguyen, Tung Thanh Nguyen
Complete and accurate clone detection in graph-based models. 276-286
Maintenance
- Emerson R. Murphy-Hill, Chris Parnin, Andrew P. Black
How we refactor, and how we know it. 287-297 - Jorge Aranda, Gina Venolia:
The secret life of bugs: Going past the errors and omissions in software repositories. 298-308 - Miryung Kim, David Notkin:
Discovering and representing systematic code changes. 309-319
Program Comprehension
- Uri Dekel, James D. Herbsleb
Improving API documentation usability with knowledge pushing. 320-330 - Yoann Padioleau, Lin Tan, Yuanyuan Zhou:
Listening to programmers - Taxonomies and characteristics of comments in operating system code. 331-341
Code Generation and Transformation
- Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson:
Equality and hashing for (almost) free: Generating implementations from abstraction functions. 342-352 - Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
Locating need-to-translate constant strings for software internationalization. 353-363 - Westley Weimer, ThanhVu Nguyen, Claire Le Goues
Automatically finding patches using genetic programming. 364-374
Concurrency
- Charles Zhang:
FlexSync: An aspect-oriented approach to Java synchronization. 375-385 - Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay:
Effective static deadlock detection. 386-396 - Danny Dig, John Marrero, Michael D. Ernst:
Refactoring sequential Java code for concurrency via concurrent libraries. 397-407
Testing I
- Mark Grechanik
Maintaining and evolving GUI-directed test scripts. 408-418 - Hwa-You Hsu, Alessandro Orso:
MINTS: A general framework and tool for supporting test-suite minimization. 419-429
Model Synthesis
- Carlo Ghezzi, Andrea Mocci
Synthesizing intensional behavior models by graph transformation. 430-440 - Christophe Damas, Bernard Lambeau, François Roucoux, Axel van Lamsweerde:
Analyzing critical process models through behavior model synthesis. 441-451 - Guido de Caso, Víctor A. Braberman, Diego Garbervetsky
Validation of contracts using enabledness preserving finite state abstractions. 452-462
Testing II
- Jacob Burnim, Sudeep Juvekar, Koushik Sen:
WISE: Automated test generation for worst-case complexity. 463-473 - Vijay Ganesh
Taint-based directed whitebox fuzzing. 474-484
Program Analysis II
- Elmar Jürgens, Florian Deissenboeck, Benjamin Hummel, Stefan Wagner
Do code clones matter? 485-495 - Suresh Thummalapenta, Tao Xie:
Mining exception-handling rules as sequence association rules. 496-506 - Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren:
Safe-commit analysis to facilitate team software development. 507-517
Development Paradigms and Software Process
- Christian Bird, Nachiappan Nagappan, Premkumar T. Devanbu
Does distributed development affect software quality? An empirical case study of Windows Vista. 518-528 - Narayan Ramasubbu
The impact of process choice in high maturity environments: An empirical analysis. 529-539 - Tim Menzies, Steve Williams, Barry W. Boehm, Jairus Hihn:
How to avoid drastic software process change (using stochastic stability). 540-550
Formal Research Demonstrations
Software Development Assistance
- Shah Rukh Humayoun, Yael Dubinsky, Tiziana Catarci
UEMan: A tool to manage user evaluation in development environments. 551-554 - Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
TranStrL: An automatic need-to-translate string locator for software internationalization. 555-558 - Ying Zhang, Gang Huang, Nuyun Zhang, Hong Mei:
SmartTutor: Creating IDE-based interactive tutorials via editable replay. 559-562
Testing and Fault Localization
- Leonardo Mariani
A toolset for automated failure analysis. 563-566 - Jan Wloka, Barbara G. Ryder, Frank Tip:
JUnitMX - A change-aware unit testing tool. 567-570
Program Comprehension
- Sandro Boccuzzo, Harald C. Gall
CocoViz with ambient audio software exploration. 571-574 - Christoph Treude
ConcernLines: A timeline view of co-occurring concerns. 575-578 - Georgios Gousios
Alitheia Core: An extensible software quality monitoring platform. 579-582
Concurrency and Debugging
- Dan Hao
VIDA: Visual interactive debugging. 583-586
From Requirements to Architecture
- Eric Knauss
Feedback-driven requirements engineering: The Heuristic Requirements Assistant. 587-590 - David Garlan, Bradley R. Schmerl:
Ævol: A tool for defining and planning architecture evolution. 591-594
Differences and Similarities
- Gerardo Canfora
Ldiff: An enhanced line differencing tool. 595-598 - Barthélémy Dagenais, Martin P. Robillard:
SemDiff: Analysis and recommendation support for API evolution. 599-602 - Elmar Jürgens, Florian Deissenboeck, Benjamin Hummel:
CloneDetective - A workbench for clone detection research. 603-606
Components and Features
- Séverine Sentilles
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems. 607-610 - Christian Kästner
FeatureIDE: A tool framework for feature-oriented software development. 611-614 - Stefan Henkler, Joel Greenyer
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. 615-618
Web Services
- Quan Z. Sheng
ContextServ: A platform for rapid and flexible development of context-aware Web services. 619-622 - Domenico Bianculli
ReMan: A pro-active reputation management infrastructure for composite Web services. 623-626 - Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. 627-630
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 2024-11-19 20:34 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: