Proj EULibHarn Paper Reading: FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing

Abstract

对象：C programs
基于: Bounded Model Checking + Evolutionary Fuzzing engines
BMC能通过需要复杂计算的条件，
效果：在Test-Comp的每个分类下都赢了奖