ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China

Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things

The characteristics of cyber-physical systems and the Internet of things challenge static and dynamic analysis techniques on which traditional testing techniques rely. Classic approaches are not fully adequately for testing cyber-physical systems and new approaches are needed.

The goal of this workshop is to provide a forum for researchers and practitioners to discuss the challenges in testing cyber-physical and the Internet of things software systems, exchange ideas, and propose solutions to the challenges. TAV-CPS/IoT 2019 follows the premier successful editions co-located with ISSTA in 2017 and ECOOP/ISSTA in 2018.

TAV-CPS/IoT is a participatory workshop. Attendees will have the opportunity to actively engage in the discussion activities planned for the workshop. Authors whose abstracts or short papers are accepted will be asked to give short and focused presentations to nourish discussion. Sessions will be organized around the workshop theme, along the main research trends that will emerge from the submitted papers, the focused presentations and the participants’ contribution. The workshop will include keynote presentations, invited talks, paper presentations, and discussion panels around the original vision of TAV-CPS/IoT.

Workshop Format

TAV-CPS/IoT is a participatory workshop, where attendees will have the opportunity to actively engage in the many discussion activities planned for the workshop. The workshop is planned for one day and will be organised in 3 sessions, each focusing on a theme. Each session will include a keynote presentation to frame the problem and open the discussion, a short presentation of papers related to the topic, and a “fishbowl” panel discussion:

  • Keynote Presentation: Each session will start with a 30 minutes keynote about the selected topic. Topics will be refined according to the submissions starting from ‘Environment dependencies in CPS/IoT systems, ‘Dealing with concurrency, distribution, heterogeneity, and non-determinism in CPS/IoT systems’, ‘Security and non-functional properties of CPS/IoT systems’.

  • Paper Presentation: Accepted papers will be clustered and shape the three sessions. We plan to include full papers, new idea papers and extended abstracts, and ask authors for 5 to 15 minutes presentations depending on the maturity or the paper and the number of submissions.

  • Panel Session: Each session will include a “fishbowl” panel ignited with keynote and paper presentations, for in depth discussion of the topic.

Dates
Tracks
Plenary
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
09:00
90m
Talk
SPIN Keynote
Workshop – TAV-CPS/IoT

11:00 - 12:30
Session 1 -Automated Software Testing of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
11:00
20m
Talk
Target-driven Compositional Concolic Testing
Workshop – TAV-CPS/IoT
Yunho Kim KAIST
11:20
20m
Talk
Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking
Workshop – TAV-CPS/IoT
11:40
20m
Talk
The Mobile Test Automation Pyramid
Workshop – TAV-CPS/IoT
12:00
30m
Talk
Panel
Workshop – TAV-CPS/IoT

14:00 - 15:30
Session 2 - Analysis of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
14:00
20m
Talk
Model Checking of Automotive
Workshop – TAV-CPS/IoT
14:20
20m
Talk
Symbolic Execution-based Approach to Extracting a Micro State Transition Table
Workshop – TAV-CPS/IoT
Takahiro Shimizu , Norihiro Yoshida Nagoya University, Ryota Yamamoto Nagoya University, Hiroaki Takada Nagoya University
14:40
15m
Talk
How to Mock and Verify the Billing in Mobile Carrier Payment world
Workshop – TAV-CPS/IoT
14:55
15m
Talk
How to Test Lead a Project and Get the Best out of your Testers
Workshop – TAV-CPS/IoT
15:10
20m
Talk
Panel
Workshop – TAV-CPS/IoT

16:00 - 17:30
Session 3 - Concurrency and Security of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
16:00
20m
Talk
Automated Software Testing
Workshop – TAV-CPS/IoT
Valerio Terragni Università della Svizzera Italiana
16:20
20m
Talk
Scalable Detection of Concurrency Vulnerabilities
Workshop – TAV-CPS/IoT
Yan Cai Institute of Software, Chinese Academy of Sciences
16:40
20m
Talk
Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices
Workshop – TAV-CPS/IoT
17:00
20m
Talk
Panel
Workshop – TAV-CPS/IoT

17:20
10m
Talk
Wrap up
Workshop – TAV-CPS/IoT

17:30 - 20:00
Reception for SPIN and Workshop attendeesCatering at Function Room A
17:30
2h30m
Dinner
Reception for SPIN and Workshop attendees
Catering

Tue 16 Jul

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

Wed 17 Jul

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

17:30 - 20:00
Reception with postersCatering at Grand Ballroom
17:30
2h30m
Dinner
Reception with posters
Catering

Call for Submissions

TAV-CPS/IoT invites submissions of papers describing at least one primary thrust of your prior or current work. Your submission could be a summary of the primary challenge you have addressed in testing and analysis of cyber-physical systems and Internet of Things, or it could describe current work you are engaged in, or it could present a challenge even without any current solution. We invite three kinds of submissions.

  • Full Papers (6 pages): Results of past research, research in progress, tools, experience reports.

  • New Idea Papers (4 pages): Innovative new ideas supported by promising initial evidence.

  • Extended Abstracts (2 pages): Description of an important problem, prediction of potential novel directions, discussion of open research questions.

Topics of interest include, but are not limited to, the following ones:

  • Testing techniques for CPS/IoT
  • Formal verification techniques for CPS/IoT
  • Program analysis techniques for CPS/IoT
  • Tools and infrastructures for CPS/IoT testing, analysis, or verification
  • Using simulation to support testing for CPS/IoT
  • Bug characteristics study for CPS/IoT
  • Testing as a service for CPS/IoT
  • Modeling techniques for CPS/IoT to support testing and verification
  • IoT middleware testing - Empirical study on any of the above topics

Papers are to be submitted via the hotcrp TAV-CPS/IoT 2018 submission website. They must be written in English, provided as PDF documents, and follow the ACM Conference Format.

Each paper will be reviewed by at least three reviewers and all accepted papers will be published in the ACM Digital Library.