57 citations · 106 across the 10 of their papers we have counts for
4 papers · 1 filter
Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
Norbert Tihanyi, Tamas Bisztray, Mohamed Amine Ferrag +4
Software testing and verification are critical for ensuring the reliability and security of modern software systems. Traditionally, formal verification techniques, such as model ch…
Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models
Ridhi Jain, Rahul Purandare
As concurrent programming becomes increasingly prevalent, effectively identifying and addressing concurrency issues such as data races and deadlocks is critical. This study evaluat…
Handling Communication via APIs for Microservices
Vini Kanvar, Ridhi Jain, Srikanth Tamilselvam
Enterprises in their journey to the cloud, want to decompose their monolith applications into microservices to maximize cloud benefits. Current research focuses a lot on how to par…
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Norbert Tihanyi, Ridhi Jain, Yiannis Charalambous +3
This paper introduces an innovative approach that combines Large Language Models (LLMs) with Formal Verification strategies for automatic software vulnerability repair. Initially,…