Youcheng Sun

ESBMC-Pythonは、型アノテーションと制約付きモデル検査を使ってPythonコードの正しさを確認するのに役立つよ。

新しい方法が特徴選択と不確実性に基づく優先順位付けを組み合わせることでDNNテストを強化する。

画像分類器がどう働くのか、そしてその決定がなぜ重要なのかを学ぼう。

新しいファズテストフレームワークがドローンの安全性と効率を向上させる。