Adaptive Testing for Specification Coverage in CPS Models

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

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021
Publication status	Accepted/In press - 2021
Event	7th IFAC Conference on Analysis and Design of Hybrid Systems - Brussels, Hybrider Event, Belgium Duration: 7 Jul 2021 → 9 Jul 2021

Conference

Conference	7th IFAC Conference on Analysis and Design of Hybrid Systems
Abbreviated title	ADHS 2021
Country	Belgium
City	Hybrider Event
Period	7/07/21 → 9/07/21

Access to Document

https://arxiv.org/abs/2010.06674Licence: Unspecified

2 Active

ADVANCED - Adaptive Verification and Anomaly Detection for Complex Designs
Bloem, R.
1/11/19 → 31/10/22
Project: Research project
Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project

Cite this

@inproceedings{d1484be8c8894a828a6c5c6cd34acaa5,

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",

language = "English",

booktitle = "7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021",

}