13. ESEC / 19. SIGSOFT FSE 2011: Szeged, Hungary

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 Gall, Premkumar T. Devanbu:
  Don't touch my code!: examining the effects of ownership on software quality. 4-14
  
• Rongxin Wu, Hongyu Zhang, Sunghun Kim, Shing-Chi Cheung:
  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, Sebastián Uchitel:
  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, Patrick Wagstrom:
  The onion patch: migration in open source ecosystems. 70-80
  
• Andrew Meneely, Pete Rotella, Laurie Williams:
  Does adding manpower also affect quality?: an empirical, longitudinal analysis. 81-90
  
• Christoph Treude, Margaret-Anne D. Storey:
  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, Armando Solar-Lezama, Samuel Madden:
  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, Vibha Sinha, Satish Chandra:
  Fault localization for data-centric programs. 157-167
  

Collaboration

• Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
  Proactive detection of collaboration conflicts. 168-178
  
• Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
  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, Mark Grechanik, Rayid Ghani, Tao Xie:
  Testing software in age of data privacy: a balancing act. 201-211
  
• Mark Harman, Yue Jia, William B. Langdon:
  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, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu:
  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, Sigurd Schneider, Michael Sloan, Michael D. Ernst:
  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, Ahmed E. Hassan:
  High-impact defects: a study of breakage and surprise defects. 300-310
  
• Taek Lee, Jaechang Nam, DongGyun Han, Sunghun Kim, Hoh Peter In:
  Micro interaction metrics for defect prediction. 311-321
  
• Foyzur Rahman, Daryl Posnett, Abram Hindle, Earl T. Barr, Premkumar T. Devanbu:
  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, Stephan Diehl:
  On the congruence of modularity and code coupling. 354-364
  
• Ahmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Tien N. 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, Reid Holmes, Michael D. Ernst, David Notkin:
  Crystal: precise and unobtrusive conflict warnings. 444-447
  
• Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst:
  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, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina:
  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, Carlos Solís, Mazeiar Salehie, Inah Omoronyia, Bashar Nuseibeh, Walid Maalej:
  Social sensing: when users become monitors. 476-479
  
• Wujie Zheng, Qirun Zhang, Michael R. Lyu:
  Cross-library API recommendation using web search engines. 480-483
  
• Paul C. Clements, María José Escalona Cuaresma, Paola Inverardi, Ivano Malavolta, Eda Marchetti:
  Exploiting software architecture to support requirements satisfaction testing. 484-487
  
• Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli:
  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, Awais Rashid:
  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, Carlo Ghezzi, Antónia Lopes:
  Workshop on assurances for self-adaptive systems (ASAS 2011). 516-517
  
• Romain Robbes, Anthony Cleve:
  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, Sunita Chulani, Bernard Wong:
  8th international workshop on software quality (WoSQ). 524-525
  

Last update Thu May 23 17:58:31 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page