Mohammed BEKKOUCHE, profile picture

Mohammed BEKKOUCHE

7 Slideshow
Sort by
Supervised Machine Learning Approaches for Log-Based Anomaly Detection: A Case Study on the Spirit Dataset
byMohammed BEKKOUCHE
 
Log-based anomaly detection using BiLSTM-Autoencoder
byMohammed BEKKOUCHE
 
Log-Based Anomaly Detection: Enhancing System Reliability with Machine Learning
byMohammed BEKKOUCHE
 
Combining Model Checking and Spectrum-Based Fault Localization with Multiple Counterexamples
byMohammed BEKKOUCHE
 
Model Checking-Enhanced Spectrum-Based Fault Localization
byMohammed BEKKOUCHE
 
Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults
byMohammed BEKKOUCHE
 
Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded Model Checking and Constraint Programming to aid for error localization".
byMohammed BEKKOUCHE