Simulating operational memory models using off-the-shelf program analysis tools

Seq2Seq-AFL: Fuzzing via sequence-to-sequence model

L Yang, C Wei, J Yang, J Ma, H Guo, L Cheng… - International Journal of …, 2024 - Springer
Fuzzing is a technique in which anomalous data is fed into software to find potential bugs. It
is mainly used to discover vulnerabilities including but not limited to buffer overflows …
保存 引用 被引用次数：1 相关文章
[Free GPT-4]
[PDF] core.ac.uk

[PDF][PDF] Memory Models for Heterogeneous Systems

D Iorga - 2022 - core.ac.uk
Heterogeneous systems, in which a CPU and an accelerator can execute together while
sharing memory, are becoming popular in several computing sectors. Nowadays …
保存 引用 相关文章 HTML 版
[Free GPT-4]
[PDF] ic.ac.uk

[PDF][PDF] Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing

M Carrasco, C Cadar, AF Donaldson - doc.ic.ac.uk
SMT sampling involves finding numerous satisfying assignments (samples), for an SMT
formula, and is increasingly finding applications in software testing. An effective SMT …
保存 引用 相关文章 所有 2 个版本 HTML 版