×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of mohammed-bekkouche
LocFaults, une approche bornée à base de contraintes pour l'aide à la localisation d'erreurs
721 views
LocFaults, a bounded constraint-based approach to aid for error localization
8.700 views
LocFaults: Une nouvelle approche basée sur les contraintes et dirigée par les flux pour la localisation d'erreurs
10.028 views
Constraint-Based Fault-Localization
9.452 views
Error localization
9.538 views
LocFaults: A new flow-driven and constraint-based error localization approach
9.590 views
Une approche incrémentale combinant les techniques BMC et un problème CSP pour l'aide à la localisation d'erreurs
2.333 views
Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded Model Checking and Constraint Programming to aid for error localization"
516 views