Write a Blog >>
SPIN 2017
Thu 13 - Fri 14 July 2017 Santa Barbara, California, United States
co-located with ISSTA 2017
ISSTA 2017 (series) / SPIN 2017 (series) / University of California, Santa Barbara /

Room information: Bren 1414

VenueUniversity of California, Santa Barbara
Room nameBren 1414
Floor1
Room number1414
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 10 Jul

Displayed time zone: Tijuana, Baja California change

08:45 - 09:00
ISSTA 2017 OpeningISSTA Agenda at Bren 1414
08:45
15m
Day opening
ISSTA 2017 Opening
ISSTA Agenda
Tevfik Bultan University of California, Santa Barbara, Koushik Sen University of California, Berkeley
09:00 - 10:00
Monday KeynoteISSTA Keynotes at Bren 1414
Chair(s): Koushik Sen University of California, Berkeley
09:00
60m
Talk
Keynote Talk: Advances and Challenges in Program Synthesis
ISSTA Keynotes
Armando Solar-Lezama MIT CSAIL
10:30 - 12:10
Improving TestingISSTA Technical Papers at Bren 1414
Chair(s): Cristian Cadar Imperial College London
10:30
25m
Talk
One Test to Rule Them All
ISSTA Technical Papers
Alex Groce Northern Arizona University, Josie Holmes Pennsylvania State University, USA, Kevin Kellar
DOI
10:55
25m
Talk
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
ISSTA Technical Papers
Helge Spieker Simula Research Laboratory, Norway, Arnaud Gotlieb Simula Research Laboratory, Norway, Dusica Marijan Simula, Morten Mossige University of Stavanger, Norway / ABB Robotics, Norway
DOI
11:20
25m
Talk
PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software
ISSTA Technical Papers
Shaikh Mostafa University of Texas at San Antonio, USA, Xiaoyin Wang University of Texas at San Antonio, USA, Tao Xie University of Illinois at Urbana-Champaign
DOI
11:45
25m
Talk
Compiler-Assisted Test Acceleration on GPUs for Embedded Software
ISSTA Technical Papers
Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh
DOI
13:45 - 14:35
TestingISSTA Technical Papers at Bren 1414
Chair(s): Alex Groce Northern Arizona University
13:45
25m
Talk
Targeted Property-Based Testing
ISSTA Technical Papers
Andreas Löscher , Konstantinos (Kostis) Sagonas
DOI
14:10
25m
Talk
Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2?
ISSTA Technical Papers
Ermira Daka University of Sheffield, UK, José Miguel Rojas University of Sheffield, Gordon Fraser University of Sheffield
DOI
14:35 - 15:05
Lightning TalksISSTA Demonstrations at Bren 1414
Chair(s): Yuriy Brun University of Massachusetts, Amherst, Neha Rungta Amazon Web Services
14:35
2m
Demonstration
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
ISSTA Demonstrations
John-Paul Ore University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA
DOI
14:37
2m
Demonstration
A Suite of Tools for Making Effective Use of Automatically Generated Tests
ISSTA Demonstrations
Josie Holmes Pennsylvania State University, USA, Alex Groce Northern Arizona University
DOI
14:39
2m
Demonstration
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages
ISSTA Demonstrations
Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield
DOI
14:41
2m
Demonstration
CUT: Automatic Unit Testing in the Cloud
ISSTA Demonstrations
Alessio Gambi Saarland University, Germany, Sebastian Kappler Saarland University, Germany, Johannes Lampel Saarland University, Germany, Andreas Zeller Saarland University
DOI
14:43
2m
Demonstration
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
ISSTA Demonstrations
Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California
DOI
14:45
2m
Demonstration
THEMIS: A Tool for Decentralized Monitoring Algorithms
ISSTA Demonstrations
Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria
DOI
14:47
2m
Demonstration
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
ISSTA Demonstrations
Xuan-Bach D. Le Singapore Management University, Singapore, Duc-Hiep Chu National University of Singapore, David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University, Willem Visser Stellenbosch University
DOI
14:49
2m
Demonstration
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
ISSTA Demonstrations
Ben Spencer University of Oxford, Michael Benedikt University of Oxford, UK, Anders Møller Aarhus University, Franck van Breugel York University, Canada
DOI
14:52
2m
Demonstration
ParTeCL: Parallel Testing using OpenCL
ISSTA Demonstrations
Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh
DOI
14:54
2m
Demonstration
Verifying Digital Systems with MATLAB
ISSTA Demonstrations
Lennon Chaves Federal University of Amazonas, Brazil, Iury Bessa Federal University of Amazonas, Brazil, Lucas C. Cordeiro University of Oxford, UK, Eddie Lima Samsung Electronics, Brazil, Daniel Kroening University of Oxford
DOI
14:56
2m
Demonstration
SealTest: A Simple Library for Test Sequence Generation
ISSTA Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada, Raphael Khoury Université du Québec à Chicoutimi, Canada
DOI
14:58
2m
Demonstration
GitcProc: A Tool for Processing and Classifying GitHub Commits
ISSTA Demonstrations
Casey Casalnuovo University of California at Davis, USA, Yagnik Suchak University of California at Davis, USA, Baishakhi Ray , Cindy Rubio-González University of California, Davis
DOI
15:00
2m
Demonstration
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
ISSTA Demonstrations
Dmitry Nurmuradov University of North Texas, USA, Renee Bryce University of North Texas
DOI
15:02
2m
Demonstration
LabPal: Repeatable Computer Experiments Made Easy
ISSTA Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada
DOI
16:00 - 17:15
Symbolic ExecutionISSTA Technical Papers at Bren 1414
Chair(s): Gordon Fraser University of Sheffield
16:00
25m
Talk
Accelerating Array Constraints in Symbolic Execution
ISSTA Technical Papers
David Mitchel Perry Purdue University, Andrea Mattavelli Imperial College London, Xiangyu Zhang Purdue University, Cristian Cadar Imperial College London
DOI
16:25
25m
Talk
Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics
ISSTA Technical Papers
Wei Sun University of Nebraska-Lincoln, USA, Lisong Xu University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA
DOI
16:50
25m
Talk
Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs
ISSTA Technical Papers
Pietro Braione University of Milano-Bicocca, Italy, Giovanni Denaro University of Milano-Bicocca, Italy, Andrea Mattavelli Imperial College London, Mauro Pezzè University of Milano-Bicocca, Italy
DOI

Tue 11 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
Tuesday KeynoteISSTA Keynotes at Bren 1414
Chair(s): Tevfik Bultan University of California, Santa Barbara
09:00
60m
Talk
Keynote Talk: Finding Vulnerabilities in Embedded Software
ISSTA Keynotes
Christopher Kruegel University of California, Santa Barbara
10:30 - 11:45
ConcurrencyISSTA Technical Papers at Bren 1414
Chair(s): Chao Wang
10:30
25m
Talk
Efficient Computation of Happens-Before Relation for Event-Driven Programs
ISSTA Technical Papers
Pallavi Maiya Indian Institute of Science, Bangalore, Aditya Kanade Indian Institute of Science, Bangalore
DOI
10:55
25m
Talk
Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software
ISSTA Technical Papers
Yu Wang Nanjing University, China, Linzhang Wang , Tingting Yu University of Kentucky, Jianhua Zhao Nanjing University, China, Xuandong Li Nanjing University
DOI
11:20
25m
Talk
Monitoring Decentralized Specifications
ISSTA Technical Papers
Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria
DOI
13:20 - 15:00
Dynamic AnalysisISSTA Technical Papers at Bren 1414
Chair(s): Tao Xie University of Illinois at Urbana-Champaign
13:20
25m
Talk
Effective Online Software Anomaly Detection
ISSTA Technical Papers
Yizhen Chen SUNY Albany, USA, Ming Ying SUNY Albany, USA, Daren Liu SUNY Albany, USA, Adil Alim SUNY Albany, USA, Feng Chen SUNY Albany, USA, Mei-Hwa Chen SUNY Albany, USA
DOI
13:45
25m
Talk
Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications
ISSTA Technical Papers
William Koch Boston University, USA, Abdelberi Chaabane Northeastern University, USA, Manuel Egele Boston University, USA, William Robertson Northeastern University, USA, Engin Kirda Northeastern University, USA
DOI
14:10
25m
Talk
CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program
ISSTA Technical Papers
Yonghwi Kwon Purdue University, Weihang Wang Purdue University, Yunhui Zheng IBM Research, Xiangyu Zhang Purdue University, Dongyan Xu Purdue University, USA
DOI
14:35
25m
Talk
An Actionable Performance Profiler for Optimizing the Order of Evaluations
ISSTA Technical Papers
Marija Selakovic TU Darmstadt, Germany, Thomas Glaser TU Darmstadt, Germany, Michael Pradel TU Darmstadt
DOI
16:00 - 17:15
The WebISSTA Technical Papers at Bren 1414
Chair(s): Frank Tip Northeastern University
16:00
25m
Talk
Testing and Analysis of Web Applications using Page Models
ISSTA Technical Papers
Snigdha Athaiya , Raghavan Komondoor Indian Institute of Science, Bangalore
DOI
16:25
25m
Talk
Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle
ISSTA Technical Papers
Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield
DOI
16:50
25m
Talk
Test Execution Checkpointing for Web Applications
ISSTA Technical Papers
Marco Guarnieri ETH Zurich, Switzerland, Petar Tsankov ETH Zurich, Tristan Buchs EPFL, Switzerland, Mohammad Torabi Dashti ETH Zurich, Switzerland, David Basin ETH Zurich, Switzerland
DOI

Wed 12 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 09:30
ISSTA 2017 Impact Paper AwardISSTA Agenda at Bren 1414
Chair(s): Andreas Zeller Saarland University
09:00
30m
Talk
ISSTA 2017 Impact Paper Award: Dytan: a generic dynamic taint analysis framework
ISSTA Agenda
James Clause University of Delaware, Wanchun Li , Alessandro Orso Georgia Tech
Link to publication DOI
09:30 - 09:55
Experience ReportISSTA Technical Papers at Bren 1414
Chair(s): Andreas Zeller Saarland University
09:30
25m
Talk
Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries
ISSTA Technical Papers
Shaikh Mostafa University of Texas at San Antonio, USA, Rodney Rodriguez University of Texas at San Antonio, USA, Xiaoyin Wang University of Texas at San Antonio, USA
DOI
09:55 - 10:00
ISSTA 2018 PreviewISSTA Agenda at Bren 1414
09:55
5m
Other
ISSTA 2018 Preview
ISSTA Agenda
Frank Tip Northeastern University
10:30 - 11:45
Program Repair and PatchingISSTA Technical Papers at Bren 1414
Chair(s): Michael Pradel TU Darmstadt
10:30
25m
Talk
Identifying Test-Suite-Overfitted Patches through Test Case Generation
ISSTA Technical Papers
Qi Xin Brown University, USA, Steven P. Reiss Brown University, USA
DOI
10:55
25m
Talk
Impact of Tool Support in Patch Construction
ISSTA Technical Papers
Anil Koyuncu University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, Jacques Klein University of Luxembourg, Martin Monperrus , Yves Le Traon University of Luxembourg
DOI
11:20
25m
Talk
Automated Repair of Layout Cross Browser Issues using Search-Based Techniques
ISSTA Technical Papers
Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California
DOI
13:20 - 15:00
Fault Localization and Mutation TestingISSTA Technical Papers at Bren 1414
Chair(s): Alex Orso Georgia Institute of Technology
13:20
25m
Talk
Boosting Spectrum-Based Fault Localization using PageRank
ISSTA Technical Papers
Mengshi Zhang University of Texas at Austin, USA, Xia Li University of Texas at Dallas, USA, Lingming Zhang , Sarfraz Khurshid University of Texas at Austin
DOI
13:45
25m
Talk
FLUCCS: Using Code and Change Metrics to Improve Fault Localization
ISSTA Technical Papers
Jeongju Sohn KAIST, South Korea, Shin Yoo Korea Advanced Institute of Science and Technology
DOI
14:10
25m
Talk
Inferring Mutant Utility from Program Context
ISSTA Technical Papers
René Just University of Massachusetts, USA, Bob Kurtz George Mason University, USA, Paul Ammann George Mason University, USA
DOI Pre-print
14:35
25m
Talk
Faster Mutation Analysis via Equivalence Modulo States
ISSTA Technical Papers
Bo Wang Peking University, China, Yingfei Xiong Peking University, Yangqingwei Shi Peking University, Lu Zhang Peking University, Dan Hao Peking University
DOI Pre-print
15:30 - 17:10
Static AnalysisISSTA Technical Papers at Bren 1414
Chair(s): William G.J. Halfond University of Southern California
15:30
25m
Talk
Just-in-Time Static Analysis
ISSTA Technical Papers
Lisa Nguyen Quang Do Fraunhofer IEM, Karim Ali University of Alberta, Benjamin Livshits Imperial College London, UK, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Justin Smith North Carolina State University, Emerson Murphy-Hill North Carolina State University
DOI
15:55
25m
Talk
Refining Interprocedural Change-Impact Analysis using Equivalence Relations
ISSTA Technical Papers
Alex Gyori University of Illinois at Urbana-Champaign, USA, Shuvendu K. Lahiri Microsoft Research, Nimrod Partush Technion
DOI
16:20
25m
Talk
Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++
ISSTA Technical Papers
Xiaokang Fan , Yulei Sui , Liao Xiangke National University of Defense Technology, China, Jingling Xue UNSW Australia
DOI
16:45
25m
Talk
Lightweight Detection of Physical Unit Inconsistencies without Program Annotations
ISSTA Technical Papers
John-Paul Ore University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA
DOI

Mon 10 Jul

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bren 1414

ISSTA Agenda

ISSTA 2017 Opening

ISSTA Keynotes

Monday Keynote

ISSTA Technical Papers

Improving Testing

ISSTA Technical Papers

Testing

ISSTA Demonstrations

Lightning Talks

ISSTA Technical Papers

Symbolic Execution

Tue 11 Jul

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bren 1414

ISSTA Keynotes

Tuesday Keynote

ISSTA Technical Papers

Concurrency

ISSTA Technical Papers

Dynamic Analysis

ISSTA Technical Papers

The Web

Wed 12 Jul

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bren 1414

ISSTA Agenda

ISSTA 2017 Impact Paper Award

ISSTA Technical Papers

Experience Report

ISSTA Agenda

ISSTA 2018 Preview

ISSTA Technical Papers

Program Repair and Patching

ISSTA Technical Papers

Fault Localization and Mutation Testing

ISSTA Technical Papers

Static Analysis

Mon 10 Jul

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bren 1414
ISSTA Agenda
ISSTA 2017 Opening
08:45 - 09:00
ISSTA Keynotes
Keynote Talk: Advances and Challenges in Program Synthesis
09:00 - 10:00
ISSTA Technical Papers
One Test to Rule Them All
10:30 - 10:55
ISSTA Technical Papers
Reinforcement Learning for Automatic Test Case Prioritization and Selec ...
10:55 - 11:20
ISSTA Technical Papers
PerfRanker: Prioritization of Performance Regression Tests for Collecti ...
11:20 - 11:45
ISSTA Technical Papers
Compiler-Assisted Test Acceleration on GPUs for Embedded Software
11:45 - 12:10
ISSTA Technical Papers
Targeted Property-Based Testing
13:45 - 14:10
ISSTA Technical Papers
Generating Unit Tests with Descriptive Names Or: Would You Name Your Ch ...
14:10 - 14:35
ISSTA Demonstrations
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistenc ...
14:35 - 14:37
ISSTA Demonstrations
A Suite of Tools for Making Effective Use of Automatically Generated Tests
14:37 - 14:39
ISSTA Demonstrations
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively D ...
14:39 - 14:41
ISSTA Demonstrations
CUT: Automatic Unit Testing in the Cloud
14:41 - 14:43
ISSTA Demonstrations
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
14:43 - 14:45
ISSTA Demonstrations
THEMIS: A Tool for Decentralized Monitoring Algorithms
14:45 - 14:47
ISSTA Demonstrations
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
14:47 - 14:49
ISSTA Demonstrations
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
14:49 - 14:52
ISSTA Demonstrations
ParTeCL: Parallel Testing using OpenCL
14:52 - 14:54
ISSTA Demonstrations
Verifying Digital Systems with MATLAB
14:54 - 14:56
ISSTA Demonstrations
SealTest: A Simple Library for Test Sequence Generation
14:56 - 14:58
ISSTA Demonstrations
GitcProc: A Tool for Processing and Classifying GitHub Commits
14:58 - 15:00
ISSTA Demonstrations
Caret-HM: Recording and Replaying Android User Sessions with Heat Map G ...
15:00 - 15:02
ISSTA Demonstrations
LabPal: Repeatable Computer Experiments Made Easy
15:02 - 15:04
ISSTA Technical Papers
Accelerating Array Constraints in Symbolic Execution
16:00 - 16:25
ISSTA Technical Papers
Improving the Cost-Effectiveness of Symbolic Testing Techniques for Tra ...
16:25 - 16:50
ISSTA Technical Papers
Combining Symbolic Execution and Search-Based Testing for Programs with ...
16:50 - 17:15

Tue 11 Jul

Displayed time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bren 1414
ISSTA Keynotes
Keynote Talk: Finding Vulnerabilities in Embedded Software
09:00 - 10:00
ISSTA Technical Papers
Efficient Computation of Happens-Before Relation for Event-Driven Programs
10:30 - 10:55
ISSTA Technical Papers
Automatic Detection and Validation of Race Conditions in Interrupt-Driv ...
10:55 - 11:20
ISSTA Technical Papers
Monitoring Decentralized Specifications
11:20 - 11:45
ISSTA Technical Papers
Effective Online Software Anomaly Detection
13:20 - 13:45
ISSTA Technical Papers
Semi-Automated Discovery of Server-Based Information Oversharing Vulner ...
13:45 - 14:10
ISSTA Technical Papers
CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Pr ...
14:10 - 14:35
ISSTA Technical Papers
An Actionable Performance Profiler for Optimizing the Order of Evaluations
14:35 - 15:00
ISSTA Technical Papers
Testing and Analysis of Web Applications using Page Models
16:00 - 16:25
ISSTA Technical Papers
Automated Layout Failure Detection for Responsive Web Pages without an ...
16:25 - 16:50
ISSTA Technical Papers
Test Execution Checkpointing for Web Applications
16:50 - 17:15

Wed 12 Jul

Displayed time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bren 1414
ISSTA Agenda
ISSTA 2017 Impact Paper Award: Dytan: a generic dynamic taint analysis ...
09:00 - 09:30
ISSTA Technical Papers
Experience Paper: A Study on Behavioral Backward Incompatibilities of J ...
09:30 - 09:55
ISSTA Agenda
ISSTA 2018 Preview
09:55 - 10:00
ISSTA Technical Papers
Identifying Test-Suite-Overfitted Patches through Test Case Generation
10:30 - 10:55
ISSTA Technical Papers
Impact of Tool Support in Patch Construction
10:55 - 11:20
ISSTA Technical Papers
Automated Repair of Layout Cross Browser Issues using Search-Based Tech ...
11:20 - 11:45
ISSTA Technical Papers
Boosting Spectrum-Based Fault Localization using PageRank
13:20 - 13:45
ISSTA Technical Papers
FLUCCS: Using Code and Change Metrics to Improve Fault Localization
13:45 - 14:10
ISSTA Technical Papers
Inferring Mutant Utility from Program Context
14:10 - 14:35
ISSTA Technical Papers
Faster Mutation Analysis via Equivalence Modulo States
14:35 - 15:00
ISSTA Technical Papers
Just-in-Time Static Analysis
15:30 - 15:55
ISSTA Technical Papers
Refining Interprocedural Change-Impact Analysis using Equivalence Relations
15:55 - 16:20
ISSTA Technical Papers
Boosting the Precision of Virtual Call Integrity Protection with Partia ...
16:20 - 16:45
ISSTA Technical Papers
Lightweight Detection of Physical Unit Inconsistencies without Program ...
16:45 - 17:10