Search

Light Dark Automatic

Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing [ESEC/FSE 2020]

Mar 29, 2022

Go to Project Site DOI

Paper Symposium

Lingyu Zhang

Ph.D. Student In Computer Science and Technology

© 2024 Me. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite