4 citations · 9 across the 14 of their papers we have counts for
14 papers
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei +3
We present FuSeBMC-AI, a test generation tool grounded in machine learning techniques. FuSeBMC-AI extracts various features from the program and employs support vector machine and…
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking
Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva +2
Computer-based systems have solved several domain problems, including industrial, military, education, and wearable. Nevertheless, such arrangements need high-quality software to g…
NeuroCodeBench: a plain C neural network benchmark for software verification
Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov +1
Safety-critical systems with neural network components require strong guarantees. While existing neural network verification techniques have shown great progress towards this goal,…
ESBMC v7.3: Model Checking C++ Programs using Clang AST
Kunjian Song, Mikhail R. Gadelha, Franz Brauße +2
This paper introduces ESBMC v7.3, the latest Efficient SMT-Based Context-Bounded Model Checker version, which now incorporates a new clang-based C++ front-end. While the previous C…
Interventional Probing in High Dimensions: An NLI Case Study
Julia Rozanova, Marco Valentino, Lucas Cordeiro +1
Probing strategies have been shown to detect the presence of various linguistic features in large language models; in particular, semantic features intermediate to the "natural log…
Poisoning Attacks in Federated Edge Learning for Digital Twin 6G-enabled IoTs: An Anticipatory Study
Mohamed Amine Ferrag, Burak Kantarci, Lucas C. Cordeiro +2
Federated edge learning can be essential in supporting privacy-preserving, artificial intelligence (AI)-enabled activities in digital twin 6G-enabled Internet of Things (IoT) envir…