FSE 2016
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016)
Powered by
Conference Publishing Consulting
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016)
,
November 13–18, 2016
,
Seattle, WA, USA
FSE 2016 – Proceedings
Contents
-
Abstracts
-
Authors
Twitter:
https://twitter.com/FSEconf
Student Research Competition
Tue, Nov 15, 15:30 - 16:30, Foyer 3rd/4th Floor
Graduate Submissions
Effective Assignment and Assistance to Software Developers and Reviewers
Motahareh Bahrami Zanjani
(Wichita State University, USA)
RABIEF: Range Analysis Based Integer Error Fixing
Xi Cheng
(Tsinghua University, China)
Fine-Grained Binary Code Authorship Identification
Xiaozhu Meng
(University of Wisconsin-Madison, USA)
Identifying Participants for Collaborative Merge
Catarina Costa
(Federal Fluminense University, Brazil)
Cozy: Synthesizing Collection Data Structures
Calvin Loncaric
(University of Washington, USA)
Constraint-Based Event Trace Reduction
Jie Wang
(University of Chinese Academy of Sciences, China)
Automatic Trigger Generation for End User Written Rules for Home Automation
Chandrakana Nandi
(University of Washington, USA)
Hotspot Symbolic Execution of Floating-Point Programs
Minghui Quan
(National University of Defense Technology, China)
Evaluation of Fault Localization Techniques
Spencer Pearson
(University of Washington, USA)
How Should Static Analysis Tools Explain Anomalies to Developers?
Titus Barik
(North Carolina State University, USA)
Repairing Test Dependence
Wing Lam
(University of Illinois at Urbana-Champaign, USA)
Combining Bug Detection and Test Case Generation
Martin Kellogg
(University of Washington, USA)
SmartDebug: An Interactive Debug Assistant for Java
Xinrui Guo
(Tsinghua University, China)
Static Loop Analysis and Its Applications
Xie Xiaofei
(Tianjin University, China)
Social Health Cues Developers Use when Choosing Open Source Packages
Andrew Head
(University of California at Berkeley, USA)
Finding and Breaking Test Dependencies to Speed Up Test Execution
Sebastian Kappler
(Saarland University, Germany)
Automatic Performance Testing using Input-Sensitive Profiling
Qi Luo
(College of William and Mary, USA)
Undergraduate Submissions
Enforcing Correct Array Indexes with a Type System
Joseph Santino
(University of Washington, USA)
Discovering Additional Violations of Java API Invariants
Waylon Huang
(University of Washington, USA)
Preventing Signedness Errors in Numerical Computations in Java
Christopher A. Mackie
(University of Washington, USA)
Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling
Felipe R. Monteiro
(Federal University of Amazonas, Brazil)
Info
Atlas: An Intelligent, Performant Framework for Web-Based Grid Computing
Sachith Gullapalli
(Yale University, USA)
proc time: 0.83