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

issta-2017-demos
14:35 - 15:05: Demonstrations - Lightning Talks at Bren 1414
Chair(s): Neha RungtaAmazon Web Services, Yuriy BrunUniversity of Massachusetts, Amherst
issta-2017-demos14:35 - 14:37
Demonstration
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
issta-2017-demos14:37 - 14:39
Demonstration
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
issta-2017-demos14:39 - 14:41
Demonstration
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
issta-2017-demos14:41 - 14:43
Demonstration
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
issta-2017-demos14:43 - 14:45
Demonstration
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
issta-2017-demos14:45 - 14:47
Demonstration
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
issta-2017-demos14:47 - 14:49
Demonstration
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
issta-2017-demos14:49 - 14:52
Demonstration
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
issta-2017-demos14:52 - 14:54
Demonstration
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
issta-2017-demos14:54 - 14:56
Demonstration
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
issta-2017-demos14:56 - 14:58
Demonstration
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
issta-2017-demos14:58 - 15:00
Demonstration
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzalezUniversity of California, Davis
DOI
issta-2017-demos15:00 - 15:02
Demonstration
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
issta-2017-demos15:02 - 15:04
Demonstration
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI
issta-2017-demos
15:05 - 16:00: Demonstrations - Demonstrations 1 at Bren 1424
issta-2017-demos15:05 - 16:00
Demonstration
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzalezUniversity of California, Davis
DOI
issta-2017-demos15:05 - 16:00
Demonstration
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
issta-2017-demos15:05 - 16:00
Demonstration
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI
issta-2017-demos15:05 - 16:00
Demonstration
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
issta-2017-demos15:05 - 16:00
Demonstration
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
issta-2017-demos15:05 - 16:00
Demonstration
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
issta-2017-demos15:05 - 16:00
Demonstration
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