Export 5 results:
Filters: Author is Nadjib Lazaar  [Clear All Filters]
2020
M. Collet, A. Gotlieb, N. Lazaar, M. Carlsson, D. Marijan and M. Mossige. RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots In Proc. of the the 26th Int. Conf. on Principles and Practice of Constraint Prog. (CP-2020), Louvain-La-Neuve, Belgium, Sep. 2020., Edited by H. Simonis. LNCS ed. Vol. 12333. Springer, 2020.
2019
C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar. Deploying Smart Program Understanding on a Large Code Base In 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). IEEE, 2019.
M. Collet, A. Gotlieb, N. Lazaar and M. Mossige. Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories In 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). San Francisco, CA, USA: IEEE, 2019.
2018
C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar. Discovering Program Topoi Through Clustering In Proceedings of the Thirty-Second IAAI/AAAI Conference on Innovative Applications of Artificial Intelligence. AAAI Press, 2018.