Coverage Criteria based Testing of Industrial Robots. - Ameena K. Ashraf; Meenakshi D'Souza; Raoul Jetley (CASE, 2020)

Static Data Race Detection in Multi-task Programs for Industrial Robots. - Ameena K. Ashraf; Meenakshi D'Souza (ICDCIT, 2023)