Tarek, S., Saha, D., Hasan, K. T., Saha, S. K., Tehranipoor, M., & Farahmandi, F. (2026). Assertain: Automated Security Assertion Generation Using Large Language Models.
Chicago Style (17th ed.) CitationTarek, Shams, Dipayan Saha, Khan Thamid Hasan, Sujan Kumar Saha, Mark Tehranipoor, and Farimah Farahmandi. Assertain: Automated Security Assertion Generation Using Large Language Models. 2026.
MLA (9th ed.) CitationTarek, Shams, et al. Assertain: Automated Security Assertion Generation Using Large Language Models. 2026.
Warning: These citations may not always be 100% accurate.