TAV-CPS/IoT 20

Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 20)

held at ISSTA 2020

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 2020 follows the premier successful editions co-located with ISSTA in 2017, ECOOP/ISSTA in 2018, and ISSTA in 2019.

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.