Adaptive testing for specification coverage and refinement in CPS models

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

^*Corresponding author for this work

Institute of Applied Information Processing and Communications (7050)

Research output: Contribution to journal › 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