Results 51 to 60 of about 116 (111)
Automated Vulnerability Discovery and Exploitation in the Internet of Things. [PDF]
Wang Z +9 more
europepmc +1 more source
Concolic Testing of Full-Stack JavaScript Applications. [PDF]
Recent years have seen the rise of so-called full-stack JavaScript web applications, where both the client and the server side of the web application are developed in JavaScript. Both sides communicate with each other via asynchronous messages, as enabled by e.g., WebSockets.
Vandercammen, Maarten +3 more
openaire +1 more source
Ffuzz: Towards full system high coverage fuzz testing on binary executables. [PDF]
Zhang B, Ye J, Bi X, Feng C, Tang C.
europepmc +1 more source
A model-guided symbolic execution approach for network protocol implementations and vulnerability detection. [PDF]
Wen S, Meng Q, Feng C, Tang C.
europepmc +1 more source
LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification. [PDF]
Deng L, Zhong Q, Song J, Lei H, Li W.
europepmc +1 more source
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. [PDF]
Brubaker C +4 more
europepmc +1 more source
Heuristics for concolic software testing
Yazılım testi, yazılım geliştirme sürecinin ayrılmaz bir parçasıdır. Konkolik test üzerinde sistematik testin daha büyük yazılımlara uygulanabilmesi amacıyla on yıllarca süren çalışmaların sonucu geliştirilmiş bir birim test yaratma tekniğidir. Ancak kısıt çözümü gibi darboğazlar konkolik testçilerin büyük projelerde kullanılmasına engel teşkil ...
openaire +1 more source

