Adaptive testing for specification coverage and refinement in CPS models

From MaRDI portal
Publication:2085163

DOI10.1016/j.nahs.2022.101254OpenAlexW4290785394WikidataQ124212464 ScholiaQ124212464MaRDI QIDQ2085163

Roderick Bloem, Benedikt Maderbacher, Ezio Bartocci, Niveditha Manjunath, Dejan Ničković

Publication date: 14 October 2022

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2022.101254





Uses Software


Cites Work




This page was built for publication: Adaptive testing for specification coverage and refinement in CPS models