Md Rakib Hossain Misu

机构：University of California, Irvine · ORCID：0000-0002-7931-6782

发表论文 16 篇 · 总被引 75 次 · h-index 5

代表论文

Towards AI-Assisted Synthesis of Verified Dafny Methods (2024 · Proceedings of the ACM on software engineering. · 被引 33)
AutoVerus: Automated Proof Generation for Rust Code (2025 · Proceedings of the ACM on Programming Languages · 被引 9)
Interface Driven Code Clone Detection (2017 · 被引 9)
An Exploratory Study on Interface Similarities in Code Clones (2017 · 被引 7)
DafnyBench: A Benchmark for Formal Software Verification (2024 · arXiv (Cornell University) · 被引 5)
Test smell: A parasitic energy consumer in software testing (2025 · Information and Software Technology · 被引 4)