Papers
4
Total Citations
9
H-Index
2
About
Nadjib Lazaar is a researcher whose work sits at the intersection of software testing, constraint programming, and autonomous systems. His primary contributions focus on the rigorous validation of robotic and autonomous systems, with a particular emphasis on generating meaningful test scenarios that expose weaknesses in complex, multi-subsystem environments. Lazaar has pioneered the application of constraint-based approaches to robot testing, most notably developing RobTest, a constraint programming (CP) framework designed to generate maximal test trajectories for industrial robots — a technically demanding challenge given the coordinated nature of motion control, perception, and anti-collision systems. His 2019 work on stress testing single-arm robots through continuous trajectory generation earned four citations and laid important groundwork in this niche but critical field. More recently, Lazaar has extended his focus to the evaluation of human trajectory prediction systems, applying metamorphic testing techniques to assess stochastic prediction models used in automated driving and mobile robotics. This body of work, spanning from 2019 to 2025, reflects a consistent commitment to making autonomous systems safer and more reliably testable — research increasingly vital as robotics and self-driving technologies move toward real-world deployment.
Research Focus
Key Achievements
Top Papers
- 1
- 2Evaluating Human Trajectory Prediction with Metamorphic Testing2 citations · 2024
- 3
- 4Metamorphic Testing of Multimodal Human Trajectory Prediction1 citations · 2025