Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
VenueUniversity of California, Santa Barbara
Room nameESB 2001
Floor2
Room number2001
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

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
KeynoteISSTA TECPS at ESB 2001
Chair(s): Tingting Yu University of Kentucky
09:00
60m
Talk
Keynote Talk: Test Metrics and Generation Strategies for Next-Generation CPS Software
ISSTA TECPS
Michael Whalen University of Minnesota
10:30 - 12:00
Session 1ISSTA TECPS at ESB 2001
Chair(s): Alex Gyori University of Illinois at Urbana-Champaign, USA
10:30
30m
Talk
Invited Talk: Security by Compilation: An Automated Approach to Side-channel Resistance
ISSTA TECPS
Chao Wang University of Southern California
11:00
30m
Talk
Invited Talk: Detecting Bugs in Robotic Systems
ISSTA TECPS
John-Paul Ore University of Nebraska-Lincoln, USA
11:30
30m
Talk
Discovering Instructions for Robust Binary-Level Coverage Criteria
ISSTA TECPS
Vaibhav Sharma University of Minnesota, Taejoon Byun University of Minnesota, Stephen McCamant University of Minnesota, Sanjai Rayadurgam University of Minnesota, Mats Heimdahl University of Minnesota
13:30 - 15:00
13:30
30m
Talk
Invited Talk: Symbolic Execution as a Flexible Tool for Binary Analysis
ISSTA TECPS
Stephen McCamant University of Minnesota
14:00
30m
Talk
Invited Talk: Testing Evolving Embedded Systems
ISSTA TECPS
Tingting Yu University of Kentucky
14:30
30m
Talk
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
ISSTA TECPS
Alex Groce Northern Arizona University, Paul Flikkema Northern Arizona University, Josie Holmes Pennsylvania State University, USA
15:30 - 17:30
Session 3ISSTA TECPS at ESB 2001
Chair(s): Stephen McCamant University of Minnesota
15:30
30m
Talk
Support for Security and Safety of Programmable IoT Systems
ISSTA TECPS
Alex Gyori University of Illinois at Urbana-Champaign, USA, Earlence Fernandes University of Michigan, Amir Rahmati University of Michigan, Atul Prakash University of Michigan, Darko Marinov University of Illinois at Urbana-Champaign
16:00
30m
Talk
Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution
ISSTA TECPS
Hong-Linh Truong TU Wien, Luca Berardinelli Johannes Kepler University Linz
16:30
30m
Talk
Fault Injection in the Internet of Things Applications
ISSTA TECPS
Amin Alipour University of Houston

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ESB 2001