coverage-guided generation cdeepfuzz coverage

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 ......

express-generator_express-generator脚手架的安装与使用

### 安装 ``` npm install -g express-generator ``` ### 创建一个脚手架 ``` express --no-view express_generator ``` - 如上代码, 在当前目录下的expresss_generator目录创建一个应用 ### ......

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 ......

IIncrementalGenerator 增量 Source Generator 生成代码入门 读取 csproj 项目文件的属性配置

本文告诉大家如何在使用 IIncrementalGenerator 进行增量的 Source Generator 生成代码时,读取项目里的项目文件属性,从而实现为项目定制的逻辑。或者是读取 NuGet 包里面的一些配置,从而方便实现逻辑 使用增量的源代码生成具有更高的门槛。本文属于入门博客,但非编程 ......

IIncrementalGenerator 增量 Source Generator 生成代码入门 从语法到语义 获取类型完全限定名

本文告诉大家如何在使用 IIncrementalGenerator 进行增量的 Source Generator 生成代码时,如何从语法分析过程,将获取的语法 Token 转换到语义分析上,比如获取类型完全限定名。一个使用的例子是在拿到一个 Token 表示某个类型时,本文将演示通过语义分析获取到拿 ......

dotnet 6 在 System.Text.Json 使用 source generation 源代码生成提升 JSON 序列化性能

这是一个在 dotnet 6 早就引入的功能,此功能的使用方法能简单,提升的效果也很棒。使用的时候需要将 Json 序列化工具类换成 dotnet 运行时自带的 System.Text.Json 进行序列化,再加上约 5 行的辅助代码,即可完成对接 官方文档: [如何在 System.Text.Js ......
序列 源代码 generation 性能 dotnet

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 ......

What's the best approach for generating a new API key?

https://stackoverflow.com/questions/14412132/whats-the-best-approach-for-generating-a-new-api-key Edit: I've spoke to a few friends (email/twitter) an ......
generating approach What best API

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 ......

利用text-generation-webui快速搭建chatGLM2-6b/LLAMA2-7B-chat大模型运行环境

text-generation-webui 是一个基于Gradio的LLM Web UI开源项目,可以利用其快速搭建各种文本生成的大模型环境。 一、安装 text-generation-webui的readme其实已写得相当详细了,这里就不再重复,只说1个可能存在的坑: 安装 peft 安装卡住 r ......

text-generation-webui试用 windows平台 以及目前比较好的开源中文模型 Baichuan-13B-Chat测试

随着llama的大模型发布,个人也可以在自己电脑上运行生成文本的大模型,建议用大显存的显卡,比如2080ti11g , 3060 12g , 3090 24g。 找这篇文章操作 https://openai.wiki/text-generation-webui.html 其中最麻烦的是安装依赖,这是 ......

《AUDIOGEN: TEXTUALLY GUIDED AUDIO GENERATION》论文学习

一、INTRODUCTION 神经生成模型挑战了我们创造数字内容的方式。从生成高质量图像和语音,到生成长文本,再到最近提出的文本引导的图像生成,这些模型展示了令人印象深刻的结果。这引出一个问题,对于文本引导的生成模型来说,音频的等效物是什么?可以是文本吗?我们用文本来抽象出世界上纷繁复杂地音频吗? ......
GENERATION TEXTUALLY AUDIOGEN GUIDED 论文

Latent generative landscapes as maps of functional diversity in protein sequence space

## 0. foreword 最近看了一篇比较有意思的文章,而且要讲组会了,认真学习一下顺便做个随笔当做我讲组会的草稿 (文章并不是直接翻译,文章的内容按照自己的理解进行了些改动) ## 1. Abstract 变分自编码器是一种无监督的生成模型,当把它应用在蛋白质数据上的时候,可以利用它按照系统发 ......

MyBatis Generator 学习记录

[TOC] ## 参考资料 - [官方文档](https://mybatis.org/generator/quickstart.html "官方文档") ## 什么是 MyBatis Generator ? > MyBatis Generator 是 MyBatis 代码生成工具。 ## 运行 My ......
Generator MyBatis

oobabooga-text-generation-webui可能是最好的语言模型启动器(包含手把手安装教程)

https://www.bilibili.com/read/cv24006101/ 引言: 问:oobabooga是什么? oobabooga-text-generation-webui是一个用于运行类似Chatglm、RWKV-Raven、Vicuna、MOSS、LLaMA、llama.cpp、G ......

[论文阅读] Neural Transformation Fields for Arbitrary-Styled Font Generation

## Pre title: Neural Transformation Fields for Arbitrary-Styled Font Generation accepted: CVPR 2023 paper: https://openaccess.thecvf.com/content/CVPR2 ......

centos generate uuid,install libuuid-devel,compile -luuid

//install libuuid-devel sudo yum install libuuid libuuid-devel #include <iostream> #include <stdio.h> #include <uuid/uuid.h> char * get_uuid() { uuid_ ......

orz.gif generator

生成器! 选取一个图像文件: 设置两帧的间隔(现在是 45ms): 更新 设置图床: 生成 GIF(预计 3~60s,取决于网络环境):点我 ......
generator orz gif

报错:This generated password is for development use only. Your security configuration must be updated before running your application in production.

项目报错:This generated password is for development use only. Your security configuration must be updated before running your application in production. 导 ......