Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质量保障感兴趣的小伙伴们撰写的入门小册子。
☆29Jan 17, 2021Updated 5 years ago
Alternatives and similar repositories for Software-Testing-Intro
Users that are interested in Software-Testing-Intro are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.☆15Dec 10, 2017Updated 8 years ago
- ☆17Dec 12, 2021Updated 4 years ago
- 一个常用编码加解密的懒人工具，自动识别，尝试转换所有类型，包括html实体化，base64，base32，32位md5，16位md5，hash，\x,0x等十六进制格式,url编码...☆15Feb 1, 2022Updated 4 years ago
- Teaching and Learning Software Verification via SVF☆36Mar 6, 2026Updated last month
- Getting started with static program analysis. 静态程序分析入门教程。☆1,766Mar 20, 2024Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- learn llvm from scratch☆14Apr 29, 2023Updated 2 years ago
- CSE课程学 习方法搜集☆25Jul 3, 2020Updated 5 years ago
- php7.4.26-internalog☆13Oct 13, 2022Updated 3 years ago
- ☆25Aug 9, 2021Updated 4 years ago
- ☆12Jun 24, 2023Updated 2 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆214Mar 10, 2025Updated last year
- 第三代树洞加密算法概述☆32Mar 28, 2022Updated 4 years ago
- ☆15Nov 28, 2019Updated 6 years ago
- Windows SMBv3 LPE exploit 已编译版☆17Mar 31, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 🔫长亭安全评估工具XRay的PoC功能模块复现Demo☆14Jan 17, 2020Updated 6 years ago
- Hypervisor from scratch in linux☆13May 8, 2022Updated 3 years ago
- notifier is a Go library to send notification to other applications.☆23Mar 7, 2024Updated 2 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 3 years ago
- ☆13Dec 2, 2021Updated 4 years ago
- 对任意http网站添加指定漏洞 目前实现部分漏洞的追加 支持本身http服务 支持反向代理追加☆28Oct 8, 2022Updated 3 years ago
- A Simple VM-based challenge created using the academic tigress obfuscator☆19Jun 30, 2022Updated 3 years ago
- Code that accompanies the PyData New York (2022) talk: Addressing the sensitivity of Large language models☆13Nov 7, 2022Updated 3 years ago
- RepairAgent is an autonomous LLM-based agent for software repair.☆90Feb 12, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- embedding MLIR in LEAN☆48Jun 17, 2024Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Apr 21, 2022Updated 3 years ago
- The collections of MOE (Mixture Of Expert) papers, code and tools, etc.☆12Mar 15, 2024Updated 2 years ago
- ☆61Jun 20, 2022Updated 3 years ago
- Program dependence graph in LLVM☆42Aug 4, 2025Updated 8 months ago
- Cross-Domain Deep Code Search with Few-Shot Learning☆11Jul 5, 2023Updated 2 years ago
- P4 compatible HLS modules☆11Apr 23, 2018Updated 7 years ago
- Sign and verify digital signatures in native Python with RSA☆29Nov 10, 2011Updated 14 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆151Jan 30, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Implementation of "Towards Understanding Mixture of Experts in Deep Learning", NeurIPS 2022☆10Jan 6, 2023Updated 3 years ago
- LLVM Kaleidoscope Compiler☆11Aug 19, 2019Updated 6 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated 8 months ago
- Hope this could be helpful when you're struggling with finding a suitable PhD/postDoc position.☆10Aug 14, 2023Updated 2 years ago
- A symbolic execution engine for Python☆44Dec 4, 2012Updated 13 years ago
- A list of compatible datasets, noting other major repositories containing popular real-world datasets, along with sample code for a range…☆12Mar 18, 2020Updated 6 years ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Dec 7, 2019Updated 6 years ago