Testing Competition
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
VenueCrowne Plaza Beijing Zhongguancun
Room nameMeeting Room 4
Floor4
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 15 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30
Session 1 - Invited TalkSPIN at Meeting Room 4
09:00
90m
Day opening
Constrained Counting and Sampling: From Theory to Practice and Back
SPIN
Kuldeep S. Meel National University of Singapore
09:00 - 10:30
09:00
90m
Talk
SPIN Keynote
ISSTA Workshop – TAV-CPS/IoT

16:00 - 17:30
Session 4 - Software Model Checking (Tools Sessions)SPIN at Meeting Room 4
16:00
30m
Talk
String abstraction for model checking of C programs
SPIN
Agostino Cortesi Università Ca' Foscari Venezia, Henrich Lauko , Martina Olliaro , Petr Ročkai
16:30
30m
Talk
Applying Model Checking Approach with Floating Point Arithmetic
SPIN
Sergey Staroletov Polzunov Altai State Technical University, Nikolay Shilov Innopolis University

Tue 16 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00
Session 1 - Invited TalkSPIN at Meeting Room 4
09:00
60m
Talk
Model Verification Through Dependency Graphs
SPIN
10:00 - 10:30
Session 1.5 - Conformance TestingSPIN at Meeting Room 4
10:00
30m
Talk
Conformance Testing of Schedulers for DSL-based Model Checking
SPIN
11:00 - 12:30
Session 2 - Synthesis and LearningSPIN at Meeting Room 4
11:00
30m
Talk
STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
SPIN
Yuan Liu , Xi Wang Yale University, USA, Lintao Xian , Zhongwen Guo
11:30
30m
Talk
Learning Guided Enumerative Synthesis for Superoptimization
SPIN
Shikhar Singh , Mengshi Zhang University of Texas at Austin, USA, Sarfraz Khurshid University of Texas at Austin
12:00
30m
Talk
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
SPIN
Muhammad Usman , Wenxi Wang The University of Texas at Austin, Texas, USA, Kaiyuan Wang Google Inc., Cagdas Yelen , Nima Dini University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin
14:00 - 15:30
Session 3 - Invited TalkSPIN at Meeting Room 4
14:00
60m
Talk
Efficient Evaluation of Embedded-System Design Alternatives
SPIN
Maxime Cordy SnT, University of Luxembourg