Write a Blog >>
SPIN 2017
Thu 13 - Fri 14 July 2017
Santa Barbara, California, United States
co-located with
ISSTA 2017
Toggle navigation
Attending
Venue: University of California, Santa Barbara
Registration and Accommodations
Visas and Travel
Program
Complete Program
Your Program
Call for Papers
Accepted Papers
Keynote Speakers
Proceedings
Thu 13 Jul
Fri 14 Jul
Tracks
SPIN 2017
SPIN Agenda
SPIN Keynote
SPIN Full Paper
SPIN Short Paper
RERS
Organization
SPIN 2017 Committees
Organizing Committee
Steering Committee
Program Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ISSTA 2017
(
series
) /
SPIN 2017
(
series
) /
University of California, Santa Barbara
/
Room information: ESB 2003
Venue
University of California, Santa Barbara
Room name
ESB 2003
Floor
2
Room number
2003
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Keynote
ISSTA Doctoral Symposium
at
ESB 2003
Chair(s):
Ben Liblit
University of Wisconsin–Madison
09:00
60m
Talk
What makes useful research?
ISSTA Doctoral Symposium
K:
Andreas Zeller
Saarland University
Media Attached
10:30 - 12:00
Analysis
ISSTA Doctoral Symposium
at
ESB 2003
Chair(s):
Mary Lou Soffa
University of Virginia
10:30
30m
Talk
Consistency Checking in Requirements Analysis
ISSTA Doctoral Symposium
A:
Jaroslav Bendík
Masaryk University
11:00
30m
Talk
Inferring Page Models for Web Application Analysis
ISSTA Doctoral Symposium
A:
Snigdha Athaiya
11:30
30m
Talk
Path Cost Analysis for Side Channel Detection
ISSTA Doctoral Symposium
A:
Tegan Brennan
13:30 - 15:00
Modeling and Learning
ISSTA Doctoral Symposium
at
ESB 2003
Chair(s):
Alex Orso
Georgia Institute of Technology
13:30
30m
Talk
Automatically Inferring and Enforcing User Expectations
ISSTA Doctoral Symposium
A:
Jenny Hotzkow
Saarland University
14:00
30m
Talk
Understanding Intended Behavior Using Models of Low-level Signals
ISSTA Doctoral Symposium
A:
Deborah S. Katz
Carnegie Mellon University
14:30
30m
Talk
Version Space Learning for Verification on Temporal Differentials
ISSTA Doctoral Symposium
A:
Mark Santolucito
15:30 - 17:00
Testing
ISSTA Doctoral Symposium
at
ESB 2003
Chair(s):
Alex Groce
Northern Arizona University
15:30
30m
Talk
Data Flow Oriented UI Testing
ISSTA Doctoral Symposium
Nataniel Borges Jr.
Saarland University
16:00
30m
Talk
Dynamic Tainting for Automatic Test Case Generation
ISSTA Doctoral Symposium
A:
Björn Mathis
Saarland University
16:30
30m
Talk
Oracle Problem in Software Testing
ISSTA Doctoral Symposium
A:
Gunel Jahangirova
Fondazione Bruno Kessler
Thu 13 Jul
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
ESB 2003
ISSTA Doctoral Symposium
Keynote
ISSTA Doctoral Symposium
Analysis
ISSTA Doctoral Symposium
Modeling and Learning
ISSTA Doctoral Symposium
Testing
Thu 13 Jul
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
ESB 2003
ISSTA Doctoral Symposium
What makes useful research?
09:00 - 10:00
ISSTA Doctoral Symposium
Consistency Checking in Requirements Analysis
10:30 - 11:00
ISSTA Doctoral Symposium
Inferring Page Models for Web Application Analysis
11:00 - 11:30
ISSTA Doctoral Symposium
Path Cost Analysis for Side Channel Detection
11:30 - 12:00
ISSTA Doctoral Symposium
Automatically Inferring and Enforcing User Expectations
13:30 - 14:00
ISSTA Doctoral Symposium
Understanding Intended Behavior Using Models of Low-level Signals
14:00 - 14:30
ISSTA Doctoral Symposium
Version Space Learning for Verification on Temporal Differentials
14:30 - 15:00
ISSTA Doctoral Symposium
Data Flow Oriented UI Testing
15:30 - 16:00
ISSTA Doctoral Symposium
Dynamic Tainting for Automatic Test Case Generation
16:00 - 16:30
ISSTA Doctoral Symposium
Oracle Problem in Software Testing
16:30 - 17:00
x
Thu 25 Apr 04:30