11. ESEC / 15. SIGSOFT FSE 2007:
Dubrovnik,
Croatia
Ivica Crnkovic, Antonia Bertolino (Eds.):
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007.
ACM 2007, ISBN 978-1-59593-811-4 BibTeX
Keynote talk
Mining specifications and structure
Fault detection
Code analysis
- Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani:
Programming asynchronous layers with CLARITY.
65-74
Electronic Edition (ACM DL) BibTeX
- Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst:
Object and reference immutability using java generics.
75-84
Electronic Edition (ACM DL) BibTeX
- Guoqing Xu, Atanas Rountev, Yan Tang, Feng Qin:
Efficient checkpointing of java software using context-sensitive capture and replay.
85-94
Electronic Edition (ACM DL) BibTeX
Development processes and tools
Test generation
Refactoring automation
Scaling-up static analysis
Service-oriented and mobile computing
- Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel:
Model checking service compositions under resource constraints.
225-234
Electronic Edition (ACM DL) BibTeX
- Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu:
Detection and resolution of atomicity violation in service composition.
235-244
Electronic Edition (ACM DL) BibTeX
- Jamie Payton, Christine Julien, Gruia-Catalin Roman:
Automatic consistency assessment for query results in dynamic environments.
245-254
Electronic Edition (ACM DL) BibTeX
- Justin R. Erenkrantz, Michael M. Gorlick, Girish Suryanarayana, Richard N. Taylor:
From representations to computations: the evolution of web architectures.
255-264
Electronic Edition (ACM DL) BibTeX
Modelling approaches
ACM SIGSOFT outstanding research award
Verification techniques
Developer-centric studies
In-memory talk
Empirical system characterization
Unit and system testing
State-of-the-art presentations
Widened software engineering
ESEC/FSE'07 posters
- Helen Sharp, Tracy Hall, Nathan Baddoo, Sarah Beecham:
Exploring motivational differences between software developers and project managers.
501-504
Electronic Edition (ACM DL) BibTeX
- Stig Larsson, Petri Myllyperkiö, Fredrik Ekdahl:
Product integration improvement based on analysis of build statistics.
505-508
Electronic Edition (ACM DL) BibTeX
- Mikael Patel, Andreas Borg, Kristian Sandahl:
A case study in assessing and improving capacity using an anatomy of good practice.
509-512
Electronic Edition (ACM DL) BibTeX
- Hamid Abdul Basit, Stan Jarzabek:
Efficient token based clone detection with flexible tokenization.
513-516
Electronic Edition (ACM DL) BibTeX
- Xin Zhou, Ying Liu, Jun Zhu:
A segment-based approach for reconcilable model transformation.
517-520
Electronic Edition (ACM DL) BibTeX
- Alessandro Fantechi, Stefania Gnesi:
A behavioural model for product families.
521-524
Electronic Edition (ACM DL) BibTeX
- Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory:
A specification-based approach to testing software product lines.
525-528
Electronic Edition (ACM DL) BibTeX
- Tushar Kumar, Jaswanth Sreeram, Romain Cledat, Santosh Pande:
A profile-driven statistical analysis framework for the design optimization of soft real-time applications.
529-532
Electronic Edition (ACM DL) BibTeX
- Shan Lu, Weihang Jiang, Yuanyuan Zhou:
A study of interleaving coverage criteria.
533-536
Electronic Edition (ACM DL) BibTeX
- Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison, Mark Wilding, David Godwin:
An iterative, multi-level, and scalable approach to comparing execution traces.
537-540
Electronic Edition (ACM DL) BibTeX
- Kenneth Koster, David C. Kao:
State coverage: a structural test adequacy criterion for behavior checking.
541-544
Electronic Edition (ACM DL) BibTeX
- Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani:
Quantifying the effectiveness of testing via efficient residual path profiling.
545-548
Electronic Edition (ACM DL) BibTeX
- Robert B. Evans, Alberto Savoia:
Differential testing: a new approach to change detection.
549-552
Electronic Edition (ACM DL) BibTeX
- Rupak Majumdar, Ru-Gang Xu:
Directed test generation using symbolic grammars.
553-556
Electronic Edition (ACM DL) BibTeX
- Sandro Fouché, Myra B. Cohen, Adam A. Porter:
Towards incremental adaptive covering arrays.
557-560
Electronic Edition (ACM DL) BibTeX
- Pallavi Joshi, Koushik Sen, Mark Shlimovich:
Predictive testing: amplifying the effectiveness of software testing.
561-564
Electronic Edition (ACM DL) BibTeX
- Mark Sherriff, Sarah Smith Heckman, J. Michael Lake, Laurie A. Williams:
Using groupings of static analysis alerts to identify files likely to contain field failures.
565-568
Electronic Edition (ACM DL) BibTeX
- Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye:
On impact-oriented automatic resolution of pervasive context inconsistency.
569-572
Electronic Edition (ACM DL) BibTeX
Doctoral symposium
Workshops summaries
- Farhad Arbab, Christel Baier:
Syanco 2007: international workshop on synthesis and analysis of component connectors.
607-608
Electronic Edition (ACM DL) BibTeX
- Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina:
Specification and verification of component-based systems 2007.
609-610
Electronic Edition (ACM DL) BibTeX
- Massimiliano Di Penta, Michele Lanza:
IWPSE 2007: 9th international workshop on principles of software evolution.
611-612
Electronic Edition (ACM DL) BibTeX
- Elisabetta Di Nitto, Andrea Polini, Andrea Zisman:
2nd international workshop on service oriented software engineering (IW-SOSWE 2007).
613-614
Electronic Edition (ACM DL) BibTeX
- Giovanni Denaro, Mauro Pezzè, Onn Shehory:
SOQUA 2007: 4th international workshop on software quality assurance.
615-616
Electronic Edition (ACM DL) BibTeX
- Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky:
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.
617-618
Electronic Edition (ACM DL) BibTeX
- Alexander L. Wolf:
Engineering software services for pervasive environments.
619-620
Electronic Edition (ACM DL) BibTeX
- Alan Hartman, Mika Katara, Amit M. Paradkar:
Domain specific approaches to software test automation.
621-622
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:41:19 2009
by Michael Ley (ley@uni-trier.de)
