Adaptive Testing for Specification Coverage in CPS Models

Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Adaptive Testing for Specification Coverage in CPS Models'. Together they form a unique fingerprint.

Computer Science