Login / Signup
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis.
Kaled M. Alshmrany
Mohannad Aldughaim
Ahmed Bhayat
Fedor Shmarov
Fatimah Aljaafari
Lucas C. Cordeiro
Published in:
CoRR (2022)
Keyphrases
</>
static analysis
test generation
code coverage
test suite
dynamic analysis
source code
symbolic execution
regression testing
malicious code
test cases
software testing
java card
data integration
regular expressions
abstract interpretation
test data generation