Results 51 to 60 of about 308 (122)
Sequence-Based Incremental Concolic Testing of RTL Models [PDF]
, 2023 Hasini Witharana +2 more
openalex +1 more source
Enhancing Security of Web-Based IoT Services via XSS Vulnerability Detection. [PDF]
Sensors (Basel), 2023 Kim J, Park J.
europepmc +1 more source
CVDF DYNAMIC-A Dynamic Fuzzy Testing Sample Generation Framework Based on BI-LSTM and Genetic Algorithm. [PDF]
Sensors (Basel), 2022 Ma M, Han L, Qian Y.
europepmc +1 more source
Cybersecurity Testing for Automotive Domain: A Survey. [PDF]
Sensors (Basel), 2022 Luo F +6 more
europepmc +1 more source
Heuristics for concolic software testing
, 2020 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
An Extension Strategy of Concolic Testing for Intentionally Non-Terminating Programs
, 2018 W.-Y. Park +31 more
openalex +1 more source
Automated Vulnerability Discovery and Exploitation in the Internet of Things. [PDF]
Sensors (Basel), 2019 Wang Z +9 more
europepmc +1 more source
Ffuzz: Towards full system high coverage fuzz testing on binary executables. [PDF]
PLoS One, 2018 Zhang B, Ye J, Bi X, Feng C, Tang C.
europepmc +1 more source
A Target-Oriented Path Generation Method based on Concolic Testing
, 2016 Xu-Zhou Zhang +3 more
openalex +1 more source
Influence-Guided Concolic Testing of Transformer Robustness
Concolic testing for deep neural networks alternates concrete execution with constraint solving to search for inputs that flip decisions. We present an {influence-guided} concolic tester for Transformer classifiers that ranks path predicates by SHAP-based estimates of their impact on the model output.
Hong, Chih-Duo +3 more
openaire +2 more sources