中文
相关论文

相关论文: BeDivFuzz: Integrating Behavioral Diversity into G…

200 篇论文

Generative Models (GMs), particularly Large Language Models (LLMs), have garnered significant attention in machine learning and artificial intelligence for their ability to generate new data by learning the statistical properties of…

人工智能 · 计算机科学 2025-12-03 Hailong Yang , Zhaohong Deng , Wei Zhang , Zhuangzhuang Zhao , Guanjin Wang , Kup-sze Choi

Machine learning models are notoriously difficult to interpret and debug. This is particularly true of neural networks. In this work, we introduce automated software testing techniques for neural networks that are well-suited to discovering…

机器学习 · 统计学 2018-07-31 Augustus Odena , Ian Goodfellow

Library fuzzing is essential for hardening the software supply chain, but adopting it at scale remains expensive. Practitioners still spend substantial effort on environment setup, struggle to generate harnesses that respect intricate API…

软件工程 · 计算机科学 2026-05-15 Yunlong Lyu , Peng Chen , Fengyi Wu , Junzhe Yu , Kit Long Hon , Hao Chen

Fuzzing has proven to be very effective for discovering certain classes of software flaws, but less effective in helping developers process these discoveries. Conventional crash-based fuzzers lack enough information about failures to…

密码学与安全 · 计算机科学 2024-11-04 Allison Naaktgeboren , Sean Noble Anderson , Andrew Tolmach , Greg Sullivan

Given a dataset of expert trajectories, standard imitation learning approaches typically learn a direct mapping from observations (e.g., RGB images) to actions. However, such methods often overlook the rich interplay between different…

机器人学 · 计算机科学 2026-04-14 Zixuan Huang , Huaidian Hou , Dmitry Berenson

This paper introduces Pythia, the first fuzzer that augments grammar-based fuzzing with coverage-guided feedback and a learning-based mutation strategy for stateful REST API fuzzing. Pythia uses a statistical model to learn common usage…

软件工程 · 计算机科学 2020-05-26 Vaggelis Atlidakis , Roxana Geambasu , Patrice Godefroid , Marina Polishchuk , Baishakhi Ray

Data-driven dynamics prediction often fails under environmental shifts, while traditional fine-tuning remains computationally prohibitive for hardware-constrained or data-scarce applications. We propose DynaDiff, a generative meta-learning…

计算工程、金融与科学 · 计算机科学 2026-05-05 Ruikun Li , Huandong Wang , Jingtao Ding , Yuan Yuan , Qingmin Liao , Yong Li

Diffusion models have emerged as powerful generative frameworks by progressively adding noise to data through a forward process and then reversing this process to generate realistic samples. While these models have achieved strong…

机器学习 · 计算机科学 2025-03-04 Xingzhuo Guo , Yu Zhang , Baixu Chen , Haoran Xu , Jianmin Wang , Mingsheng Long

The flock-guidance problem enjoys a challenging structure where multiple optimization objectives are solved simultaneously. This usually necessitates different control approaches to tackle various objectives, such as guidance, collision…

系统与控制 · 电气工程与系统科学 2023-03-20 Shuzheng Qu , Mohammed Abouheaf , Wail Gueaieb , Davide Spinello

Software vulnerabilities continue to undermine the reliability and security of modern systems, particularly as software complexity outpaces the capabilities of traditional detection methods. This study introduces a genetic algorithm-based…

软件工程 · 计算机科学 2025-08-11 Yanusha Mehendran , Maolin Tang , Yi Lu

Guided fuzzing has, in recent years, been able to uncover many new vulnerabilities in real-world software due to its fast input mutation strategies guided by path-coverage. However, most fuzzers are unable to achieve high coverage in deeper…

软件工程 · 计算机科学 2019-10-14 Saahil Ognawala , Fabian Kilger , Alexander Pretschner

Side-channel attacks allow an adversary to uncover secret program data by observing the behavior of a program with respect to a resource, such as execution time, consumed memory or response size. Side-channel vulnerabilities are difficult…

密码学与安全 · 计算机科学 2019-02-27 Shirin Nilizadeh , Yannic Noller , Corina S. Pasareanu

Characteristics of a benchmarking setup clearly can have some impact on the benchmark outcome. In this paper, we explore two methodologies to quantify the impact of the specific properties on the benchmarking outcome. Our first methodology…

软件工程 · 计算机科学 2025-04-15 Dylan Wolff , Marcel Böhme , Abhik Roychoudhury

Recent research has sought to improve fuzzing performance via parallel computing. However, researchers focus on improving efficiency while ignoring the increasing cost of testing resources. Parallel fuzzing in the distributed environment…

密码学与安全 · 计算机科学 2022-11-16 Xu Zhou , Pengfei Wang , Chenyifan Liu , Tai Yue , Yingying Liu , Congxi Song , Kai Lu , Qidi Yin , Xu Han

Greybox fuzzing has achieved success in revealing bugs and vulnerabilities in programs. However, randomized mutation strategies have limited the fuzzer's performance on structured data. Specialized fuzzers can handle complex structured…

密码学与安全 · 计算机科学 2026-03-18 Hongxiang Zhang , Yuyang Rong , Yifeng He , Hao Chen

Generative models often treat continuous data and discrete events as separate processes, creating a gap in modeling complex systems where they interact synchronously. To bridge this gap, we introduce JointDiff, a novel diffusion framework…

机器学习 · 计算机科学 2026-01-30 Guillem Capellera , Luis Ferraz , Antonio Rubio , Alexandre Alahi , Antonio Agudo

Coverage-guided fuzzing has proven effective for software testing, but targeting library code requires specialized fuzz harnesses that translate fuzzer-generated inputs into valid API invocations. Manual harness creation is time-consuming…

软件工程 · 计算机科学 2026-03-10 Nils Loose , Nico Winkel , Kristoffer Hempel , Felix Mächtle , Julian Hans , Thomas Eisenbarth

Directed grey-box fuzzing (DGF) aims to discover vulnerabilities in specific code areas efficiently. Distance metric, which is used to measure the quality of seed in DGF, is a crucial factor in affecting the fuzzing performance. Despite…

密码学与安全 · 计算机科学 2024-09-20 Tingke Wen , Yuwei Li , Lu Zhang , Huimin Ma , Zulie Pan

4G and 5G represent the current cellular communication standards utilized daily by billions of users for various applications. Consequently, ensuring the security of 4G and 5G network implementations is critically important. This paper…

密码学与安全 · 计算机科学 2024-10-29 Ilja Siroš , Dave Singelée , Bart Preneel

The characterization of plasticity, robustness, and evolvability, an important issue in biology, is studied in terms of phenotypic fluctuations. By numerically evolving gene regulatory networks, the proportionality between the phenotypic…

种群与进化 · 定量生物学 2015-06-15 Kunihiko Kaneko