12. ESEC / 17. SIGSOFT FSE 2009:
Amsterdam,
The Netherlands
Hans van Vliet, Valérie Issarny (Eds.):
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009.
ACM 2009, ISBN 978-1-60558-001-2 
- Mary Shaw:
The challenge of pervasive software to the conventional wisdom of software engineering.
1-2
Specifications and verification 1
Analysis and testing 1
Challenge paper
- Cristina Videira Lopes:
The massification and webification of systems' modeling and simulation with virtual worlds.
63-70
Dependability
Empirical software engineering
- Thomas Zimmermann, Nachiappan Nagappan, Harald Gall, Emanuel Giger, Brendan Murphy:
Cross-project defect prediction: a large scale experiment on data vs. domain vs. process.
91-100
- Marcelo Cataldo, Sangeeth Nambiar:
On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software quality.
101-110
- Gaeul Jeong, Sunghun Kim, Thomas Zimmermann:
Improving bug triage with bug tossing graphs.
111-120
- Christian Bird, Adrian Bachmann, Eirik Aune, John Duffy, Abraham Bernstein, Vladimir Filkov, Premkumar T. Devanbu:
Fair and balanced?: bias in bug-fix datasets.
121-130
Service-oriented systems
- Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola:
Qos-driven runtime adaptation of service oriented architectures.
131-140
- Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli:
Automatic synthesis of behavior protocols for composable web-services.
141-150
- Lijun Mei, W. K. Chan, T. H. Tse:
Data flow testing of service choreography.
151-160
- Cesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti:
Whitening SOA testing.
161-170
- Ralf-Peter Schäfer:
IQ routes and HD traffic: technology insights about tomtom's time-dynamic navigation concept.
171-172
Software quality & performance
Tools & environment
Challenge paper
- Marian Petre:
Insights from expert software design practice.
233-242
Component-based software engineering
ACM SIGSOFT's impact paper award
- Andreas Zeller:
Debugging debugging: acm sigsoft impact paper award keynote.
263-264
Short papers
- Hui Liu, Limei Yang, Zhendong Niu, Zhyi Ma, Weizhong Shao:
Facilitating software refactoring with appropriate resolution order of bad smells.
265-268
- Markus M. Geipel, Frank Schweitzer:
Software change dynamics: evidence from 35 java projects.
269-272
- François Bronsard:
Practical framework constraints.
273-276
- Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake:
Evaluating recovery aware components for grid reliability.
277-280
- Paulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça:
Towards accurate probabilistic models using state refinement.
281-284
Tool demonstrations
- Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll:
Verification and performance evaluation of aadl models.
285-286
- Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu:
Reo2MC: a tool chain for performance analysis of coordination models.
287-288
- Patrick Knab, Harald Gall, Martin Pinzger:
Smart views for analyzing problem reports: tool demo.
289-290
- Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry:
SCA: a semantic conflict analyzer for parallel changes.
291-292
- Vipindeep Vangala, Jacek Czerwonka, Phani Talluri:
Test case comparison and clustering using program profiles and static execution.
293-294
- Shay Artzi, Sunghun Kim, Michael D. Ernst:
ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications.
295-296
- David Schuler, Andreas Zeller:
Javalanche: efficient mutation testing for Java.
297-298
- Eduardo Figueiredo, Jon Whittle, Alessandro F. Garcia:
ConcernMorph: metrics-based detection of crosscutting patterns.
299-300
- Animesh Pathak, Mahanth K. Gowda:
Srijan: a graphical toolkit for sensor network macroprogramming.
301-302
Outstanding research paper award
- Richard N. Taylor:
Software architecture: many faces, many places, yet a central discipline.
303-304
Specification and verification 2
- Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic:
Synthesizing partial component-level behavior models from system specifications.
305-314
- Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei:
Supporting automatic model inconsistency fixing.
315-324
- Youssef Hanna, Samik Basu, Hridesh Rajan:
Behavioral automata composition for automatic topology independent verification of parameterized systems.
325-334
Analysis and testing 2
Challenge paper
Mining software repositories
Copyright © Mon Nov 2 21:13:08 2009
by Michael Ley (ley@uni-trier.de)
