default search action
13th ESEC / 19th SIGSOFT FSE 2011: Szeged, Hungary
- Tibor Gyimóthy, Andreas Zeller:
SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011. ACM 2011, ISBN 978-1-4503-0443-6
Keynote addresses
- Wilhelm Schäfer:
Building advanced mechatronic systems. 1 - David Garlan, Mary Shaw
:
Software architecture: reflections on an evolving discipline. 2 - Gábor Szabó:
ELI-ALPS: the ultrafast challenges in Hungary. 3
Bugs and changes
- Christian Bird, Nachiappan Nagappan, Brendan Murphy, Harald C. Gall
Don't touch my code!: examining the effects of ownership on software quality. 4-14 - Rongxin Wu
ReLink: recovering links between bugs and changes. 15-25 - Zuoning Yin, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy, Lakshmi N. Bairavasundaram:
How do fixes become bugs? 26-36
Models and requirements
- Shoham Ben-David, Marsha Chechik, Arie Gurfinkel
CSSL: a logic for specifying conditional scenarios. 37-47 - Francis Palma, Angelo Susi, Paolo Tonella
Using an SMT solver for interactive requirements prioritization. 48-58 - Simon Holm Jensen, Magnus Madsen, Anders Møller
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. 59-69
Empirical studies
- Corey Jergensen, Anita Sarma
The onion patch: migration in open source ecosystems. 70-80 - Andrew Meneely, Pete Rotella, Laurie A. Williams:
Does adding manpower also affect quality?: an empirical, longitudinal analysis. 81-90 - Christoph Treude
Effective communication of software development knowledge through community portals. 91-101
Analysis I
- Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour:
Proving programs robust. 102-112 - Evan Driscoll, Amanda Burton, Thomas W. Reps:
Checking conformance of a producer and a consumer. 113-123 - Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard:
Managing performance vs. accuracy trade-offs with loop perforation. 124-134
Debugging
- Alvin Cheung
Partial replay of long-running applications. 135-145 - George K. Baah, Andy Podgurski, Mary Jean Harrold:
Mitigating the confounding effects of program dependences for effective fault localization. 146-156 - Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada
Fault localization for data-centric programs. 157-167
Collaboration
- Yuriy Brun
Proactive detection of collaboration conflicts. 168-178 - Shahar Maoz
ADDiff: semantic differencing for activity diagrams. 179-189 - Sven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer, Christian Kästner:
Semistructured merge: rethinking merge in revision control systems. 190-200
Testing
- Kunal Taneja
Testing software in age of data privacy: a balancing act. 201-211 - Mark Harman
Strong higher order mutation-based test data generation. 212-222 - Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov:
Improved multithreaded unit testing. 223-233
Configurations
- Naeem Esfahani, Ehsan Kouroshfar, Sam Malek:
Taming uncertainty in self-adaptive software. 234-244 - Xiaoxing Ma
Version-consistent dynamic reconfiguration of component-based distributed systems. 245-255 - Roberto Di Cosmo, Jérôme Vouillon:
On software component co-installability. 256-266
Analysis II
- Ivan Beschastnikh, Yuriy Brun
Leveraging existing instrumentation to automatically infer invariant-constrained models. 267-277 - Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury
Path exploration based on symbolic output. 278-288 - Rishabh Singh, Armando Solar-Lezama
Synthesizing data structure manipulations from storyboards. 289-299
Defects
- Emad Shihab, Audris Mockus, Yasutaka Kamei, Bram Adams
High-impact defects: a study of breakage and surprise defects. 300-310 - Taek Lee, Jaechang Nam, DongGyun Han
Micro interaction metrics for defect prediction. 311-321 - Foyzur Rahman, Daryl Posnett, Abram Hindle, Earl T. Barr
BugCache for inspections: hit or miss? 322-331
Analysis III
- Brian Hackett, Alex Aiken:
Inferring data polymorphism in systems code. 332-342 - Lian Li, Cristina Cifuentes, Nathan Keynes:
Boosting the performance of flow-sensitive points-to analysis using value flow. 343-353
Mining
- Fabian Beck
On the congruence of modularity and code coupling. 354-364 - Ahmed Tamrawi, Tung Thanh Nguyen
Fuzzy set and cache-based approach for bug triaging. 365-375
Doctoral symposium - development documentation
- Nicolas Bettenburg:
Mining development repositories to study the impact of collaboration on software systems. 376-379 - Christian Prause:
Reputation-based self-management of software process artifact quality in consortium research projects. 380-383 - Zoya Durdik:
An architecture-centric approach for goal-driven requirements elicitation. 384-387
Doctoral symposium - specification mining
- Matthias Schur:
Experimental specification mining for enterprise applications. 388-391 - Mathew Hall
Search based hierarchy generation for reverse engineered state machines. 392-395
Doctoral symposium - testing
- Mehdi MirzaAghaei:
Automatic test suite evolution. 396-399 - Mauro Baluda:
Automatic structural testing with abstraction refinement and coarsening. 400-403 - Jeremias Rößler:
Understanding failures through facts. 404-407
Doctoral symposium - adaptation
- Antonio Filieri
QoS verification and model tuning @ runtime. 408-411 - Marco Mori:
A software lifecycle process for context-aware adaptive systems. 412-415
Tool demonstration - session 1
- Gordon Fraser, Andrea Arcuri:
EvoSuite: automatic test suite generation for object-oriented software. 416-419 - Yunho Kim, Moonzoo Kim:
SCORE: a scalable concolic testing tool for reliable embedded software. 420-423 - Milos Gligoric, Sandro Badame, Ralph Johnson:
SMutant: a tool for type-sensitive mutation testing in a dynamic language. 424-427 - Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson:
jStar-eclipse: an IDE for automated verification of Java programs. 428-431 - Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann:
Static deep error checking in large system applications using parfait. 432-435 - Salman Mirghasemi, John J. Barton, Claude Petitpierre:
Querypoint: moving backwards on wrong values in the buggy execution. 436-439 - Na Meng, Miryung Kim, Kathryn S. McKinley:
Sydit: creating and applying a program transformation from an example. 440-443
Tool demonstration - session 2
- Yuriy Brun
Crystal: precise and unobtrusive conflict warnings. 444-447 - Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun
Synoptic: studying logged behavior with inferred models. 448-451 - Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed:
Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking. 452-455 - Lionel Montrieux, Michel Wermelinger, Yijun Yu
Tool support for UML-based specification and verification of role-based access control properties. 456-459 - Davide Falessi, Shiva Nejati
SafeSlice: a model slicing and design safety inspection tool for SysML. 460-463 - Daniela Costache, Georg Kalus, Marco Kuhrmann
Design and validation of feature-based process model tailoring: a sample implementation of PDE. 464-467 - Markus Lumpe, Indika Meedeniya, Lars Grunske
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns. 468-471
New ideas I
- Ohad Barzilay, Orit Hazzan, Amiram Yehudai:
Using social media to study the diversity of example usage among professional developers. 472-475 - Raian Ali
Social sensing: when users become monitors. 476-479 - Wujie Zheng, Qirun Zhang
Cross-library API recommendation using web search engines. 480-483 - Paul C. Clements, María José Escalona Cuaresma
Exploiting software architecture to support requirements satisfaction testing. 484-487 - Marco Autili
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. 488-491
New ideas II
- Eric Bodden
Stateful breakpoints: a practical approach to defining parameterized runtime monitors. 492-495 - Kivanç Muslu, Bilge Soran, Jochen Wuttke:
Finding bugs by isolating unit tests. 496-499 - Bruno Barbieri Pontes Cafeo, Joost Noppen, Fabiano Cutigi Ferrari, Ruzanna Chitchyan
Inferring test results for dynamic software product lines. 500-503 - Christoph Csallner, Leonidas Fegaras, Chengkai Li:
New ideas track: testing mapreduce-style programs. 504-507 - Milton Inostroza, Éric Tanter, Eric Bodden
Join point interfaces for modular reasoning in aspect-oriented programs. 508-511 - Arun Ramamurthi, Subhajit Roy, Y. N. Srikant:
Probabilistic dataflow analysis using path profiles on structure graphs. 512-515
Workshop summaries
- Javier Cámara, Rogério de Lemos
Workshop on assurances for self-adaptive systems (ASAS 2011). 516-517 - Romain Robbes
IWPSE-EVOL 2011: 12th international workshop on principles on software evolution and 7th ERCIM workshop on software evolution. 518-519 - Jeff Foster, Lori L. Pollock:
PASTE'11: Proceedings of the 10th ACM sigplan-sigsoft workshop on program analysis for software tools and engineering. 520-521 - Walid Maalej, Raian Ali
The 4th international workshop on social software engineering (SSE'11). 522-523 - Stefan Wagner
8th international workshop on software quality (WoSQ). 524-525
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-12-15 01:15 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: