Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation. - Salman Omar Sohail; Alex Mitrevski; Nico Hochgeschwender; Paul G. Plöger (ECMR, 2021)

Automated Testing of Standard Conformance for Robots. - Salman Omar Sohail; Sven Schneider 002; Nico Hochgeschwender (CASE, 2023)