ilmiyish

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 431
Sotilgan
352

O'xshash hujjatlar