tayyorishlar

Mahsulot tavsifi

Testing network protocol implementations and exposing requirement violations using assumptions and assertions, revealing new security vulnerabilities and bugs in them.

#network protocol#symbolic execution#test implementations#security vulnerabilities#bug testing

Muallif

Jamshid Muhammadiyev
Jamshid MuhammadiyevTasdiqlangan muallif
Hujjatlari
7 596
Sotilgan
365

O'xshash hujjatlar