Powered by
2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE),
August 18–26, 2013,
Saint Petersburg, Russia
Preface
Keynotes
Panels
Empirical Answers to Fundamental Software Engineering Problems (Panel)
Bertrand Meyer, Harald Gall, Mark Harman, and Giancarlo Succi
(ETH Zurich, Switzerland; ITMO, Russia; Eiffel Software, USA; University of Zurich, Switzerland; University College London, UK; Microsoft Research, UK; Free University of Bozen, Italy)
A Publication Culture in Software Engineering (Panel)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, and Moshe Y. Vardi
(CISCO, USA; Politecnico di Milano, Italy; DePaul University, USA; ETH Zurich, Switzerland; Microsoft Research, UK; University of L’Aquila, USA; Rice University, USA)
AEC Summary
Technical Research
Testing I
Con2colic Testing
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, and Helmut Veith
(University of Toronto, Canada; Vienna University of Technology, Austria)
Dynamic and Variable Software
Formal Reasoning
Empirical Studies I
Parallel, Concurrent, and Distributed Systems
Software Development Activities
Testing II
Dynamic Analysis
SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Groupon, USA; Federal University of Pernambuco, Brazil)
Info
Models and Features
Test and Analysis
Maintenance and Evolution
Formal Verification
Model Inference and Synthesis
Empirical Studies II
JavaScript
Source Code and Programming
Bug Detection
Tool Demonstrations
Tool Demonstrations I
Tool Demonstrations II
Tool Demonstrations III
New Ideas
Analysis and Testing
Hunting Bugs
Understanding Software Development
Industrial Research
Implementing Sound Software-Engineering Practices in Companies
Approaches to Quality
Effective Industry Use of Software-Engineering Tools
Doctoral Symposium
Doctoral Papers 1
Doctoral Papers 2
Doctoral Papers 3
Doctoral Papers 4
proc time: 0.81