Forskningsdatauppsättningar
- 3 resultat
Sökresultat
-
OGAN Experimental Results
Peltomäki, J. (Skapad av) & Porres Paltor, I. (Skapad av), Zenodo, 27 sep. 2023
DOI: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Dataset
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Skapad av), Arcaini, P. (Skapad av), Baptista, W. (Skapad av), Ernst, G. (Skapad av), Fainekos, G. (Skapad av), Formica, F. (Skapad av), Gon, S. (Skapad av), Khandait, T. (Skapad av), Kundu, A. (Skapad av), Pedrielli, G. (Skapad av), Peltomäki, J. (Skapad av), Porres Paltor, I. (Skapad av), Ray, R. (Skapad av), Waga, M. (Skapad av) & Zhang, Z. (Skapad av), Zenodo, 11 juni 2023
DOI: 10.5281/zenodo.8024426, https://zenodo.org/record/8024426
Dataset
-
Enhanced Westermo dataset - Transformed and Modified for Test case Selection and Priorotization in the context of Continuous Integration and Reinforcement Learning.
Moussaid, A. (Skapad av), Tapia, R. C. (Skapad av), Waseem, S. (Skapad av), Hasan, S. M. Z. (Skapad av), Azimi, S. (Skapad av), Lafond, S. (Skapad av) & Porres Paltor, I. (Skapad av), Zenodo, 23 maj 2023
DOI: 10.5281/zenodo.7941024, https://zenodo.org/record/7941024 och en till länk, https://zenodo.org/record/8401356 (visa färre)
Dataset