Login / Signup
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis.
Kaled M. Alshmrany
Mohannad Aldughaim
Ahmed Bhayat
Lucas C. Cordeiro
Published in:
Formal Aspects Comput. (2024)
Keyphrases
</>
static analysis
test generation
code coverage
dynamic analysis
test suite
source code
symbolic execution
malicious code
java card
regular expressions
test cases
abstract interpretation
databases
open source
artificial intelligence
data sets
cd rom
query processing
test data generation
high level