BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-290969, author = {Bartocci, Ezio and Manjunath, Niveditha and Mariani, Leonardo and Mateis, Cristinel and Nickovic, Dejan and Pastore, Fabrizio}, title = {CPSDebug: a tool for explanation of failures in cyber-physical systems}, booktitle = {Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis}, year = {2020}, pages = {569--572}, publisher = {ACM}, isbn = {978-1-4503-8008-9}, doi = {10.1145/3395363.3404369}, note = {talk: Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA; 2020-07-18 -- 2020-07-22} } 1 Datensatz ausgegeben