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 (Autor:in, eingeladen)
, Niveditha Manjunath (Vortragende:r, eingeladen)
, Leonardo Mariani (Autor:in, eingeladen)
, Cristinel Mateis (Autor:in, eingeladen)
, Dejan Nickovic (Autor:in, eingeladen)
, Fabrizio Pastore (Autor:in, eingeladen)

TU Wien
University of Milano-Bicocca

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

Originalsprache	Englisch
Titel	ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Seiten	569-572
Seitenumfang	4
Publikationsstatus	Veröffentlicht - 2020
Veranstaltung	ACM SIGSOFT International Symposium on Software Testing and Analysis - Dauer: 22 Juli 2020 → …

Konferenz

Konferenz	ACM SIGSOFT International Symposium on Software Testing and Analysis
Zeitraum	22/07/20 → …

Research Field

Dependable Systems Engineering

Diese Publikation zitieren

@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 (Autor:in, eingeladen); Manjunath, Niveditha (Vortragende:r, eingeladen); Mariani, Leonardo (Autor:in, eingeladen) et al.
ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. 2020. S. 569-572.

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

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 -