CPSDebug: a tool for explanation of failures in cyber-physical systems

Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic; Fabrizio Pastore

CPSDebug: a tool for explanation of failures in cyber-physical systems

Ezio Bartocci (Author, Invited)
, Niveditha Manjunath (Speaker, Invited)
, Leonardo Mariani (Author, Invited)
, Cristinel Mateis (Author, Invited)
, Dejan Nickovic (Author, Invited)
, Fabrizio Pastore (Author, Invited)

TU Wien
Università di Milano-Bicocca

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation

Original language	English
Title of host publication	ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Pages	569-572
Number of pages	4
Publication status	Published - 2020
Event	ACM SIGSOFT International Symposium on Software Testing and Analysis - Duration: 22 Jul 2020 → …

Conference

Conference	ACM SIGSOFT International Symposium on Software Testing and Analysis
Period	22/07/20 → …

Research Field

Dependable Systems Engineering

Cite this

@inproceedings{03e48e6934884012ae64509585b16bd9,

title = "CPSDebug: a tool for explanation of failures in cyber-physical systems",

author = "Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Nickovic and Fabrizio Pastore",

year = "2020",

language = "English",

isbn = "978-1-4503-8008-9",

pages = "569--572",

booktitle = "ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis",

note = "ACM SIGSOFT International Symposium on Software Testing and Analysis ; Conference date: 22-07-2020",

}

CPSDebug: a tool for explanation of failures in cyber-physical systems. / Bartocci, Ezio (Author, Invited); Manjunath, Niveditha (Speaker, Invited); Mariani, Leonardo (Author, Invited) et al.
ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. 2020. p. 569-572.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation

TY - GEN

T1 - CPSDebug: a tool for explanation of failures in cyber-physical systems

A2 - Bartocci, Ezio

A2 - Manjunath, Niveditha

A2 - Mariani, Leonardo

A2 - Mateis, Cristinel

A2 - Nickovic, Dejan

A2 - Pastore, Fabrizio

PY - 2020

Y1 - 2020

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-4503-8008-9

SP - 569

EP - 572

BT - ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis

T2 - ACM SIGSOFT International Symposium on Software Testing and Analysis

Y2 - 22 July 2020

ER -