default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ESEC / 17th SIGSOFT FSE 2009: Amsterdam, The Netherlands
- Hans van Vliet, Valérie Issarny:
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
- Jacob Burnim, Koushik Sen:
Asserting and checking determinism for multithreaded programs. 3-12 - Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang:
Static data race detection for concurrent programs with asynchronous calls. 13-22 - Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang:
Symbolic pruning of concurrent program executions. 23-32
Analysis and testing 1
- Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani:
Darwin: an approach for debugging evolving programs. 33-42 - Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang:
Capturing propagation of infected program states. 43-52 - Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum:
Saturation-based testing of concurrent programs. 53-62
Challenge paper
- Cristina Videira Lopes:
The massification and webification of systems' modeling and simulation with virtual worlds. 63-70
Dependability
- Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah:
Backward-compatible constant-time exception-protected memory. 71-80 - Cor-Paul Bezemer, Ali Mesbah, Arie van Deursen:
Automated security testing of web widget interactions. 81-90
Empirical software engineering
- Thomas Zimmermann, Nachiappan Nagappan, Harald C. 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
- Jan Wloka, Manu Sridharan, Frank Tip:
Refactoring for reentrancy. 173-182 - Lars Grunske, Pengcheng Zhang:
Monitoring probabilistic properties. 183-192 - Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
MSeqGen: object-oriented unit-test generation via mining source code. 193-202
Tools & environment
- Fan Long, Xi Wang, Yang Cai:
Api hyperlinking via structural overlap. 203-212 - Marcel Bruch, Martin Monperrus, Mira Mezini:
Learning from examples to improve code completion systems. 213-222 - Aharon Abadi, Ran Ettinger, Yishai A. Feldman:
Improving slice accuracy by compression of data and control flow paths. 223-232
Challenge paper
- Marian Petre:
Insights from expert software design practice. 233-242
Component-based software engineering
- Benjamin Delaware, William R. Cook, Don S. Batory:
Fitting the pieces together: a machine-checked model of safe composition. 243-252 - Giovanni Denaro, Mauro Pezzè, Davide Tosi:
Ensuring interoperable service-oriented systems through engineered self-healing. 253-262
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, Zhiyi 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 C. 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
- Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel:
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. 335-344 - David Lo, Leonardo Mariani, Mauro Pezzè:
Automatic steering of behavioral model inference. 345-354 - Jason Belt, Robby, Xianghua Deng:
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. 355-364
Challenge paper
- Marco Brambilla, Stefano Ceri:
Engineering search computing applications: vision and challenges. 365-372
Mining software repositories
- Balasubramanyan Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala:
DebugAdvisor: a recommender system for debugging. 373-382 - Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen:
Graph-based mining of multiple object usage patterns. 383-392
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 2026-01-27 23:58 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:
