3 papers
cs.SE2026
Can Language Models Pass Software Testing Certification Exams? a case study
Fitash Ul Haq, Jordi Cabot
Large Language Models (LLMs) play a pivotal role in both academic research and broader societal applications. LLMs are increasingly used in software testing activities such as test…
cs.SE2025
B-OCL: An Object Constraint Language Interpreter in Python
Fitash Ul Haq, Jordi Cabot
The Object Constraint Language (OCL) has been widely used in the modeling community to complement software models for precisely defining constraints and business rules for the mode…
cs.CV2020
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand +2
Automatically detecting the positions of key-points (e.g., facial key-points or finger key-points) in an image is an essential problem in many applications, such as driver's gaze d…