Adaptive Testing for Specification Coverage in CPS Models

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

Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

Original languageEnglish
Title of host publication7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021
Pages229-234
Number of pages6
DOIs
Publication statusPublished - 2021
EventADHS 2021 -
Duration: 7 Jul 20219 Jul 2021

Conference

ConferenceADHS 2021
Period7/07/219/07/21

Research Field

  • Dependable Systems Engineering

Cite this