Write a Blog >>
Mon 10 Jul 2017 14:47 - 14:49 at Bren 1414 - Lightning Talks Chair(s): Neha Rungta, Yuriy Brun
Mon 10 Jul 2017 15:05 - 16:00 at Bren 1424 - Demonstrations 1

Recently there has been a proliferation of automated program repair (APR) techniques, targeting various programming languages. Such techniques can be generally classified into two families: syntactic- and semantics-based. Semantics-based APR, on which we focus, typically uses symbolic execution to infer semantic constraints and then program synthesis to construct repairs conforming to them. While syntactic-based APR techniques have been shown successful on bugs in real-world programs written in both C and Java, semantics-based APR techniques mostly target C programs. This leaves empirical comparisons of the APR families not fully explored, and developers without a Java-based semantics APR technique. We present JFix, a semantics-based APR framework that targets Java, and an associated Eclipse plugin. JFix is implemented atop Symbolic PathFinder, a well-known symbolic execution engine for Java programs. It extends one particular APR technique (Angelix), and is designed to be sufficiently generic to support a variety of such techniques. We demonstrate that semantics-based APR can indeed efficiently and effectively repair a variety of classes of bugs in large real-world Java programs. This supports our claim that the framework can both support developers seeking semantics-based repair of bugs in Java programs, as well as enable larger scale empirical studies comparing syntactic- and semantics-based APR targeting Java. The demonstration of our tool is available via the project website at: https://xuanbachle.github.io/semanticsrepair/

Mon 10 Jul
Times are displayed in time zone: Tijuana, Baja California change

14:35 - 15:05
Lightning TalksDemonstrations at Bren 1414
Chair(s): Neha RungtaAmazon Web Services, Yuriy BrunUniversity of Massachusetts, Amherst
14:35
2m
Demonstration
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
Demonstrations
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
14:37
2m
Demonstration
A Suite of Tools for Making Effective Use of Automatically Generated Tests
Demonstrations
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
14:39
2m
Demonstration
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages
Demonstrations
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
14:41
2m
Demonstration
CUT: Automatic Unit Testing in the Cloud
Demonstrations
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
14:43
2m
Demonstration
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
Demonstrations
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
14:45
2m
Demonstration
THEMIS: A Tool for Decentralized Monitoring Algorithms
Demonstrations
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
14:47
2m
Demonstration
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Demonstrations
Xuan-Bach D. LeSingapore Management University, Singapore, Duc-Hiep ChuNational University of Singapore, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University, Willem VisserStellenbosch University
DOI
14:49
2m
Demonstration
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Demonstrations
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
14:52
2m
Demonstration
ParTeCL: Parallel Testing using OpenCL
Demonstrations
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
14:54
2m
Demonstration
Verifying Digital Systems with MATLAB
Demonstrations
Lennon ChavesFederal University of Amazonas, Brazil, Iury BessaFederal University of Amazonas, Brazil, Lucas C. CordeiroUniversity of Oxford, UK, Eddie LimaSamsung Electronics, Brazil, Daniel KroeningUniversity of Oxford
DOI
14:56
2m
Demonstration
SealTest: A Simple Library for Test Sequence Generation
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
14:58
2m
Demonstration
GitcProc: A Tool for Processing and Classifying GitHub Commits
Demonstrations
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzálezUniversity of California, Davis
DOI
15:00
2m
Demonstration
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
Demonstrations
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
15:02
2m
Demonstration
LabPal: Repeatable Computer Experiments Made Easy
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI
15:05 - 16:00
Demonstrations 1Demonstrations at Bren 1424
15:05
55m
Demonstration
GitcProc: A Tool for Processing and Classifying GitHub Commits
Demonstrations
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzálezUniversity of California, Davis
DOI
15:05
55m
Demonstration
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Demonstrations
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
15:05
55m
Demonstration
LabPal: Repeatable Computer Experiments Made Easy
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI
15:05
55m
Demonstration
CUT: Automatic Unit Testing in the Cloud
Demonstrations
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
15:05
55m
Demonstration
A Suite of Tools for Making Effective Use of Automatically Generated Tests
Demonstrations
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
15:05
55m
Demonstration
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
Demonstrations
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
15:05
55m
Demonstration
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Demonstrations
Xuan-Bach D. LeSingapore Management University, Singapore, Duc-Hiep ChuNational University of Singapore, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University, Willem VisserStellenbosch University
DOI