3 papers
cs.SE2025
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…
cs.SE2025
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…
cs.SE2025
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…