1. Adaptive testing for specification coverage and refinement in CPS models. (November 2022) Authors: Bartocci, Ezio; Bloem, Roderick; Maderbacher, Benedikt; Manjunath, Niveditha; Ničković, Dejan Journal: Nonlinear analysis Issue: Volume 46(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗