1. Adaptive Testing for Specification Coverage in CPS Models. Issue 5 (2021) Authors: Bartocci, Ezio; Bloem, Roderick; Maderbacher, Benedikt; Manjunath, Niveditha; Ničković, Dejan Journal: IFAC-PapersOnLine Issue: Volume 54:Issue 5(2021) Page Start: 229 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗