Résultat de recherche par an
Résultat de recherche par an
Résultat de recherche
Résultats de recherche
-
2024
You Can REST Now: Automated Specification Inference and Black-Box Testing of RESTful APIs with Large Language Models
Decrop, A., Perrouin, G., Papadakis, M., Devroey, X. & Schobbens, P-Y., 7 févr. 2024.Résultats de recherche: Papier de travail › Préprint
File3 Téléchargements (Pure) -
2023
Industrial and Medical Anomaly Detection Through Cycle-Consistent Adversarial Networks
Bougaham, A., Delchevalerie, V., Adoui, M. E. & Frénay, B., 10 févr. 2023.Résultats de recherche: Papier de travail › Préprint
27 Téléchargements (Pure) -
SO(2) and O(2) Equivariance in Image Recognition with Bessel-Convolutional Neural Networks
Delchevalerie, V., Mayer, A., Bibal, A. & Frénay, B., avr. 2023.Résultats de recherche: Papier de travail › Préprint
File20 Téléchargements (Pure) -
2018
ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
Amrani, M., Lúcio, L. & Bibal, A., 10 juin 2018.Résultats de recherche: Papier de travail › Préprint
File107 Téléchargements (Pure)