8 citations · 10 across the 4 of their papers we have counts for
4 papers
The Vampire Diary
Filip Bártek, Ahmed Bhayat, Robin Coutelier +10
During the past decade of continuous development, the theorem prover Vampire has become an automated solver for the combined theories of commonly-used data structures. Vampire now…
Superposition with Delayed Unification
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of…
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat +1
Bounded model checking (BMC) and fuzzing techniques are among the most effective methods for detecting errors and security vulnerabilities in software. However, there are still sho…
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat +1
FuSeBMC is a test generator for finding security vulnerabilities in C programs. In earlier work [4], we described a previous version that incrementally injected labels to guide Bou…