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
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
N-Way Model Merging
Julia Rubin and Marsha Chechik
(IBM Research, Israel; University of Toronto, Canada)
Test and Analysis
Maintenance and Evolution
Formal Verification
Model Inference and Synthesis
Empirical Studies II
JavaScript
Source Code and Programming
Explaining Inconsistent Code
Martin Schäf, Daniel Schwartz-Narbonne, and Thomas Wies
(United Nations University, China; New York University, USA)
Bug Detection
proc time: 0.94