Results 41 to 50 of about 116 (111)

Concolic Testing Heap-Manipulating Programs

, 2019
Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on numeric programs. Heap-manipulating programs make extensive use of complex heap objects like trees and lists.
PHAM, Long H., LOC LE, Quang, PHAN, Quoc-Sang, SUN, Jun   +3 more
openaire   +3 more sources

Enhancing Security of Web-Based IoT Services via XSS Vulnerability Detection. [PDF]

Sensors (Basel), 2023
Kim J, Park J.
europepmc   +1 more source

Concolic Testing of JavaScript using Sparkplug

CoRR
JavaScript is prevalent in web and server apps, handling sensitive data. JS testing methods lag behind other languages. Insitu concolic testing for JS is effective but slow and complex. Our method enhances tracing with V8 Sparkplug baseline compiler and remill libraries for assembly to LLVM IR conversion.
Zhe Li, Fei Xie
openaire   +2 more sources

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, Zhang X, Yang Z, Jiang Y, Wang J, Wu M, Feng W.   +6 more
europepmc   +1 more source

Influence-Guided Concolic Testing of Transformer Robustness

CoRR
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.
Chih-Duo Hong, Yu Wang, Yao-Chen Chang, Fang Yu   +3 more
openaire   +2 more sources

Concolic Execution and Test Case Generation in Prolog [PDF]

, 2015
Symbolic execution extends concrete execution by allowing symbolic input data and then exploring all feasible execution paths. It has been defined and used in the context of many different programming languages and paradigms. A symbolic execution engine is at the heart of many program analysis and transformation techniques, like partial evaluation ...
openaire   +3 more sources

A methodology for applying concolic testing

, 2016
Las pruebas de software, conocidas como “testing”, son el método predominante en la industria para asegurar que un programa es correcto y fiable. Como resultado de la creciente complejidad del software existen errores cada vez más difíciles de encontrar, lo que requiere técnicas de “testing” más sofisticadas.
openaire   +2 more sources

Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs

Annals of computer science and information systems, 2016
Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra   +2 more
doaj   +1 more source