Youcheng Sun

ESBMC-Python helps verify Python code correctness using type annotations and bounded model checking.

A new method enhances DNN testing by combining feature selection with uncertainty-based prioritization.

Learn how image classifiers work and why their decisions matter.

A new fuzz testing framework boosts drone safety and efficiency.