Adaptive testing for specification coverage and refinement in CPS models
From MaRDI portal
Publication:2085163
DOI10.1016/j.nahs.2022.101254WikidataQ124212464 ScholiaQ124212464MaRDI QIDQ2085163
Dejan Ničković, Roderick Bloem, Ezio Bartocci, Benedikt Maderbacher, Niveditha Manjunath
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
cyber-physical systems; signal temporal logic; falsification testing; game based testing; specification coverage; specification refinement
Uses Software