Adaptive Testing for Specification Coverage in CPS Models

Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic

doi:10.1016/j.ifacol.2021.08.503

Adaptive Testing for Specification Coverage in CPS Models

Ezio Bartocci
, Roderick Bloem
, Benedikt Maderbacher
, Niveditha Manjunath
, Dejan Nickovic (Speaker)

TU Wien
Graz University of Technology

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

Original language	English
Title of host publication	7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021
Pages	229-234
Number of pages	6
DOIs	https://doi.org/10.1016/j.ifacol.2021.08.503
Publication status	Published - 2021
Event	ADHS 2021 - Duration: 7 Jul 2021 → 9 Jul 2021

Conference

Conference	ADHS 2021
Period	7/07/21 → 9/07/21

Research Field

Dependable Systems Engineering

Access to Document

10.1016/j.ifacol.2021.08.503Licence: Unspecified

Cite this

@inproceedings{19e2f957500c46f795554908e4626284,

title = "Adaptive Testing for Specification Coverage in CPS Models",

author = "Ezio Bartocci and Roderick Bloem and Benedikt Maderbacher and Niveditha Manjunath and Dejan Nickovic",

year = "2021",

doi = "10.1016/j.ifacol.2021.08.503",

language = "English",

pages = "229--234",

booktitle = "7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021",

note = "ADHS 2021 ; Conference date: 07-07-2021 Through 09-07-2021",

}

Adaptive Testing for Specification Coverage in CPS Models. / Bartocci, Ezio; Bloem, Roderick; Maderbacher, Benedikt et al.
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. 2021. p. 229-234.

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

TY - GEN

T1 - Adaptive Testing for Specification Coverage in CPS Models

AU - Bartocci, Ezio

AU - Bloem, Roderick

AU - Maderbacher, Benedikt

AU - Manjunath, Niveditha

A2 - Nickovic, Dejan

PY - 2021

Y1 - 2021

U2 - 10.1016/j.ifacol.2021.08.503

DO - 10.1016/j.ifacol.2021.08.503

M3 - Conference Proceedings with Oral Presentation

SP - 229

EP - 234

BT - 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021

T2 - ADHS 2021

Y2 - 7 July 2021 through 9 July 2021

ER -