6 citations · 12 across the 3 of their papers we have counts for
4 papers
LogicEval: A Systematic Framework for Evaluating Automated Repair Techniques for Logical Vulnerabilities in Real-World Software
Syed Md Mukit Rashid, Abdullah Al Ishtiaq, Kai Tu +7
Logical vulnerabilities in software stem from flaws in program logic rather than memory safety, which can lead to critical security failures. Although existing automated program re…
State Machine Mutation-based Testing Framework for Wireless Communication Protocols
Syed Md Mukit Rashid, Tianwei Wu, Kai Tu +5
This paper proposes Proteus, a protocol state machine, property-guided, and budget-aware automated testing approach for discovering logical vulnerabilities in wireless protocol imp…
CoDesc: A Large Code-Description Parallel Dataset
Masum Hasan, Tanveer Muttaqueen, Abdullah Al Ishtiaq +6
Translation between natural language and source code can help software development by enabling developers to comprehend, ideate, search, and write computer programs in natural lang…
BERT2Code: Can Pretrained Language Models be Leveraged for Code Search?
Abdullah Al Ishtiaq, Masum Hasan, Md. Mahim Anjum Haque +5
Millions of repetitive code snippets are submitted to code repositories every day. To search from these large codebases using simple natural language queries would allow programmer…