Powered by
Conference Publishing Consulting

22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), November 16–21, 2014, Hong Kong, China

FSE 2014 – Proceedings

Contents - Abstracts - Authors
Online Calendar - iCal File
Twitter: https://twitter.com/FSEconf

Doctoral Symposium

Technical Presentations 1

Diagnose Crashing Faults on Production Software
Rongxin Wu
(Hong Kong University of Science and Technology, China)
Publisher's Version Article Search

Technical Presentations 2

Integrating Approaches for Feature Implementation
Benjamin Behringer
(University of Luxembourg, Luxembourg; htw saar, Germany)
Publisher's Version Article Search
Numerical Program Analysis and Testing
Zheng Gao
(University College London, UK)
Publisher's Version Article Search
Traceability and Model Checking to Support Safety Requirement Verification
Shuanglong Kan
(Nanjing University of Aeronautics and Astronautics, China)
Publisher's Version Article Search
Dealing with Uncertainty in Verification of Nondeterministic Systems
Yamilet R. Serrano Llerena
(National University of Singapore, Singapore)
Publisher's Version Article Search

Technical Presentations 3

Static Analysis Driven Performance and Energy Testing
Abhijeet Banerjee
(National University of Singapore, Singapore)
Publisher's Version Article Search
Autonomous Compliance Monitoring of Non-functional Properties
Marc Brünink
(National University of Singapore, Singapore)
Publisher's Version Article Search
Detecting, Isolating, and Enforcing Dependencies among and within Test Cases
Jonathan Bell
(Columbia University, USA)
Publisher's Version Article Search
Improving the Software Testing Skills of Novices during Onboarding through Social Transparency
Raphael Pham
(Leibniz Universität Hannover, Germany)
Publisher's Version Article Search

Technical Presentations 4

Minimizing Software Conflicts through Proactive Detection of Conflicts and Task Scheduling
Bakhtiar Khan Kasi
(University of Nebraska-Lincoln, USA)
Publisher's Version Article Search

proc time: 0.14