CDeepFuzz

Proj CDeepFuzz Paper Reading: POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis

Abstract 本文: PolyCruise Method: 跨编程语言的holistic dynamic information flow analysis(DIFA) use a light language-specific analysis和language-agnostic online ......

Proj CDeepFuzz Paper Reading: NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types

Abstract 背景:hypervisor(virtual machine monitor, VMM) 保障了不同虚拟机之间的安全隔离(security boundaries) 用户:攻击场景:在云服务上运行自身的VM instances, 提升权限 本文:Nyx 目的:coverage guid ......

Proj CDeepFuzz Paper Reading: Metamorphic Testing of Deep Learning Compilers

## Abstract 背景:Compiling DNN models into high-efficiency executables is not easy: the compilation procedure often involves converting high-level model ......

Proj CDeepFuzz Paper Reading: A Comprehensive Study of Deep Learning Compiler Bugs

## Abstract 背景:深度学习编译器处理的深度学习模型与命令式程序有根本的不同,因为深度学习模型中的程序逻辑是隐式的。(the DL models processed by DL compilers differ fundamentally from imperative programs ......

Proj CDeepFuzz Paper Reading: DeepMutation: Mutation Testing of Deep Learning Systems

## Abstract 本文:DeepMutation Github: https://github.com/berkuva/mutation-testing-for-DNNs Task: mutation testing framework specialized for DL systems t ......

Proj CDeepFuzz Paper Reading: Testing Deep Neural Networks

## Abstract 本文:DeepCover Github: https://github.com/TrustAI/DeepCover Task: propose 4 novel test criteria to test DNNs Method: inspired by MC/DC cover ......
CDeepFuzz Networks Reading Testing Neural

Proj CDeepFuzz Paper Reading: TensorFlow: a system for Large-Scale machine learning

## Abstract 本文:Tensorflow Github: https://github.com/tensorflow/tensorflow Task: Detail on Tensorflow dataflow model 特点: 1. operates at large scale an ......

Proj CDeepFuzz Paper Reading: SparseProp: Efficient Sparse Backpropagation for Faster Training of Neural Networks

## Abstract 本文:SparseProp Github: https://github.com/IST-DASLab/sparseprop Task: a back-propagation algo for sparse training data, a fast vectorized i ......

Proj CDeepFuzz Paper Reading: PyTorch: an imperative style, high-performance deep learning library

## Abstract 本文: PyTorch Task: detail the implementation and architecture of PyTorch Github: https://github.com/pytorch/pytorch 特点: 1. PyTorch同时关注可用性和速 ......

Proj CDeepFuzz Paper Reading: Software Testing with Large Language Model: Survey, Landscape, and Vision

## Abstract 本文: Task: Review on the use of LLMs in software testing Method: 1. analyzes 52 relevant studies ## 1. Intro ![](https://img2023.cnblogs.co ......

Proj CDeepFuzz Paper Reading: PELICAN: Exploiting Backdoors of Naturally Trained Deep Learning Models In Binary Code Analysis

## Abstract 背景: 1. 本文研究的不是被恶意植入的后门,而是products of defects in training 2. 攻击模式: injecting some small fixed input pattern(backdoor) to induce misclassifi ......

Proj CDeepFuzz Paper Reading: Decompiling x86 Deep Neural Network Executables

## Abstract 本文: BTD github: https://github.com/monkbai/DNN-decompiler/ Task: a decompiler for DNN models to output DNN specifications including: opera ......

Proj CDeepFuzz Paper Reading: Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests

## Abstract 背景:In fact, some of the latest findings suggest that the existence of adversarial attacks may be an inherent weakness of deep learning mod ......

Proj CDeepFuzz Paper Reading: NeuRI: Diversifying DNN Generation via Inductive Rule Inference

## Abstract 背景:The correctness of DL systems is crucial for trust in DL applications 本文: NeuRI BaseTool: FreeFuzz Github: https://github.com/ise-uiuc/ ......

Proj CDeepFuzz Paper Reading: Natural attack for pre-trained models of code

## Abstract 背景:目前大多数的adversarial attack method on pre-trained models of code忽略了perturbations should be natural to human judges(naturalness requirement ......

Proj CDeepFuzz Paper Reading: COMET: Coverage-guided Model Generation For Deep Learning Library Testing

## Abstract 背景:已有的方法(Muffin, Lemon, Cradle) can cover at most 34.1% layer inputs, 25.9% layer parameter values, and 15.6% layer sequences. 本文:COMET Gi ......

Proj CDeepFuzz Paper Reading: IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks

## Abstract 本文:IvySyn Task: discover memory error vulnerabilities in DL frameworks BugType: memory safety errors, fatal runtime errors Method: 1. 利用na ......

Proj CDeepFuzz Paper Reading: Invariance-inducing regularization using worst-case transformations suffices to boost accuracy and spatial robustness

## Abstract 本文: Task: 1. prove invariance-inducing regularizers can increase predictive accuracy for worst-case spatial transformations 2. prove that ......

Proj CDeepFuzz Paper Reading: Framework for Evaluating Faithfulness of Local Explanations

## Abstract 本文: Task: 1. study the faithfulness of an explanation system to the underlying prediction model on consistency and sufficiency 2. introduc ......

Proj CDeepFuzz Paper Reading: Differential Testing of Cross Deep Learning Framework APIs: Revealing Inconsistencies and Vulnerabilities

## Abstract 背景:目前对cross-framework conversion中的inconsistencies和security bugs的研究少有 本文:TensorScope Task: test cross-frame APIs in Machine Learning Librar ......

Proj CDeepFuzz Paper Reading: DeepTest: automated testing of deep-neural-network-driven autonomous cars

## Abstract 本文: DeepTest Task: a systematic testing tool for DNN-driven vehicles Method: 1. generated test cases with real-world changes like rain, fo ......

Proj CDeepFuzz Paper Reading: DeepGauge: multi-granularity testing criteria for deep learning systems

## Abstract 本文: DeepGauge Task: provide multi-granularity testing criteria for DL systems Method: multi-granularity testing criteria for DL systems: 1 ......

Proj CDeepFuzz Paper Reading: Combinatorial Testing for Deep Learning Systems

## Abstract 本文:DeepCT Task: Testing DL Models with Combinatorial Testing Method: 1. 将输出值的空间离散化为区间,以便覆盖每个区间,对不同层内的神经元交互进⾏采样,并减少必须执⾏的测试输⼊的数量。 2. a set o ......

Proj CDeepFuzz Paper Reading: Automatic differentiation in PyTorch

## Abstract 本文:描述automatic differentiation module of PyTorch 包括:Lua Torch, Chainer, HIPS Autograd Task: Provides a high-performance environment on dif ......

Proj CDeepFuzz Paper Reading: ACETest: Automated Constraint Extraction for Testing Deep Learning Operators

## Abstract Github: https://github.com/shijy16/ACETest 背景: 1. DL operators 用来计算多维tensors,很重要 本文:ACETest Task: automatically extract input validation c ......

Proj CDeepFuzz Paper Reading: AutoML: A survey of the state-of-the-art

## Abstract Github: https://github.com/marsggbo/automl_a_survey_of_state_of_the_art 本文: 1. intro AutoML methods: data preparation, feature engineering ......

Proj CDeepFuzz Paper Reading: Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation

## Abstract 背景: 1. the de facto standard to assess the quality of DNNs in the industry is to check their performance (accuracy) on a collected set of ......

Proj CDeepFuzz Paper Reading: An Extensive Study on Pre-trained Models for Program Understanding and Generation

## Abstract ## 1. Intro ## 2. Background ### 2.1 Program Understanding and Generation Tasks ### 2.2 NL-PL Pre-Trained Models ![](https://img2023.cnblo ......

Proj CDeepFuzz Paper Reading: SyRust: automatic testing of Rust libraries with semantic-aware program synthesis

## Abstract 背景: 1. unsafe能够绕开rust type system 2. rust libraries中常有许多unsafe keyword 本文:SyRust Task: fuzz Rust library APIs Challenge: synthesize well-t ......

Proj CDeepFuzz Paper Reading: Deepxplore: Automated whitebox testing of deep learning systems

## Abstract 背景:现有的深度学习测试在很⼤程度上依赖于⼿动标记的数据,因此通常⽆法暴露罕⻅输⼊的错误⾏为。 本文:DeepXplore Task: a white-box framework to test DL Models 方法: 1. neuron coverage 2. diff ......
共30篇  :1/1页 首页上一页1下一页尾页