5 papers · 1 filter
Investigating Developer-Reported Software Security Testing Challenges
Md Erfan, Ahmed Ryan, Md Rayhanur Rahman
Software security testing (SST) is essential for identifying vulnerabilities and improving software security, but developers often face practical challenges when selecting tools, c…
A Large-Scale Measurement of AI Bill of Materials Completeness in Hugging Face Models
Md Erfan, Ahmed Ryan, Md Rayhanur Rahman
Pretrained machine learning (ML) models help developers build ML-intensive software systems without training models from scratch. However, model repositories often provide incomple…
A Dataset of Reproducible Flaky-Test Failures
Suzzana Rafi, Mahbub-Ul-Hoque Sumon, Md Erfan +3
Flaky tests pass and fail non-deterministically when run on the same version of code. Although many techniques have been proposed to detect, debug, and repair flaky tests, reproduc…
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
Md Erfan, Md Kamal Hossain Chowdhury, Ahmed Ryan +1
Large Language Models (LLMs) show promise in automated software engineering, yet their guarantee of correctness is frequently undermined by erroneous or hallucinated code. To enfor…
What Are Adversaries Doing? Automating Tactics, Techniques, and Procedures Extraction: A Systematic Review
Mahzabin Tamanna, Shaswata Mitra, Md Erfan +4
Adversaries continuously evolve their tactics, techniques, and procedures (TTPs) to achieve their objectives while evading detection, requiring defenders to continually update thei…