All Stories

  1. FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis

    Article • Formal Aspects of Computing, May 2024, ACM (Association for Computing Machinery)

    Kaled M Alshmrany, Lucas Cordeiro