Mon 5 Nov 2018 15:30 - 16:00 at Spring Lake - JPF Workshop

Software model checkers, such as JPF, are routinely used to explore executions of programs that have very large state spaces. Sometimes the exploration can take a significant amount of time before a bug is found or the checking is complete, in which case the user must patiently wait, possibly for quite some time, to learn the result of checking. A progress bar that accurately shows the status of the search provides the user useful feedback about the time expected for the search to complete. This paper introduces JPFBar, a novel technique to estimate the percentage of work done by the JPF search by computing weights for the execution paths it explores and summing up the weights. JPFBar is embodied into a listener that prints a progress bar during JPF execution. An experimental evaluation using a variety of Java subjects shows that JPFBar provides accurate information about the search’s progress and fares well in comparison with a state-based progress estimator that is part of the standard JPF distribution.

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

08:30 - 17:00: JPF - JPF Workshop at Spring Lake
jpf-2018-papers09:00 - 09:10
Day opening
jpf-2018-papers09:10 - 10:00
Tevfik BultanUniversity of California, Santa Barbara
jpf-2018-papers10:00 - 10:30
Coffee break
jpf-2018-papers10:30 - 11:00
Research paper
Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
jpf-2018-papers11:00 - 11:30
Research paper
Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
jpf-2018-papers11:30 - 12:00
Research paper
Seemanta SahaUniversity of California Santa Barbara, Ismet Burak KadronUniversity of California at Santa Barbara, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tevfik BultanUniversity of California, Santa Barbara
jpf-2018-papers12:00 - 13:30
jpf-2018-papers13:30 - 14:00
Quoc-Sang PhanFujitsu Laboratories of America
jpf-2018-papers14:00 - 14:30
Research paper
joseph JonesBrigham Young University, James WassonBrigham Young University, Sean BrownBrigham Young University, Seth PoulsenBrigham Young University, Peter AldousBrigham Young University, Eric MercerBrigham Young University
jpf-2018-papers14:30 - 15:00
Research paper
Guolong ZhengUniversity of Nebraska Lincoln, Quang Loc LeSchool of Computing, Teesside University, UK, ThanhVu NguyenUniversity of Nebraska-Lincoln, Quoc-Sang PhanFujitsu Laboratories of America
jpf-2018-papers15:00 - 15:30
Coffee break
jpf-2018-papers15:30 - 16:00
Research paper
Kaiyuan Wang, Hayes ConverseThe University of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
jpf-2018-papers16:00 - 16:50
jpf-2018-papers16:50 - 17:00
Day closing