1 citations · 1 across the 5 of their papers we have counts for
5 papers
PromptMark: A Prompt-Guided Iterative-Feedback Framework for Source Code Watermarking
Istiaq Ahmed Fahad, Mridha Md. Nafis Fuad, Kazi Sakib
Watermarking has become a crucial technique for ensuring provenance and accountability in AI-generated source code. As large language models (LLMs) are increasingly integrated into…
A Heuristic Approach to Localize CSS Properties for Responsive Layout Failures
Tasmia Zerin, B M Mainul Hossain, Kazi Sakib
Responsive Layout Failures (RLFs) typically arise from CSS properties that hinder proper layout behavior in different screen sizes. To find an accurate and effective solution for r…
Repairing Responsive Layout Failures Using Retrieval Augmented Generation
Tasmia Zerin, Moumita Asad, B. M. Mainul Hossain +1
Responsive websites frequently experience distorted layouts at specific screen sizes, called Responsive Layout Failures (RLFs). Manually repairing these RLFs involves tedious trial…
Reduction of Test Re-runs by Prioritizing Potential Order Dependent Flaky Tests
Hasnain Iqbal, Zerina Begum, Kazi Sakib
Flaky tests can make automated software testing unreliable due to their unpredictable behavior. These tests can pass or fail on the same code base on multiple runs. However, flaky…
Towards Bridging Formal Methods and Human Interpretability
Abhijit Paul, Proma Chowdhury, Kazi Sakib
Labeled Transition Systems (LTS) are integral to model checking and design repair tools. System engineers frequently examine LTS designs during model checking or design repair to d…