Adaptive Testing for Specification Coverage in CPS Models

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

Institute of Applied Information Processing and Communications (7050)

Research output: Contribution to journal › Conference article › peer-review

2 results

Finished
ADVANCED - Adaptive Verification and Anomaly Detection for Complex Designs
Bloem, R.
1/11/19 → 31/10/22
Project: Research project
Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project