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.☆16Dec 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☆36May 2, 2026Updated 2 weeks ago
- Getting started with static program analysis. 静态程序分析入门教程。☆1,761Mar 20, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- learn llvm from scratch☆14Apr 29, 2023Updated 3 years ago
- A parser lib that can help your routing rules more readable and understandable for users.☆10Feb 19, 2022Updated 4 years ago
- CSE课程学习方法搜集☆26Jul 3, 2020Updated 5 years ago
- Script to merge directories in / into /usr☆11Dec 12, 2025Updated 5 months ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- ☆18Nov 14, 2021Updated 4 years ago
- php7.4.26-internalog☆13Oct 13, 2022Updated 3 years ago
- ☆25Aug 9, 2021Updated 4 years ago
- ☆10Mar 20, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Jun 24, 2023Updated 2 years ago
- A downward counter (CountDownLatch) which can be used to synchronize threads or coordinate tasks☆14Feb 19, 2024Updated 2 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆215Mar 10, 2025Updated last year
- ☆11Sep 14, 2020Updated 5 years ago
- 第三代树洞加密算法概述☆32Mar 28, 2022Updated 4 years ago
- 一款支持微信和QQ、UC手机浏览器的分享工具，可以自定义标题、链接、icon等☆12Apr 19, 2018Updated 8 years ago
- ☆15Nov 28, 2019Updated 6 years ago
- 经验构件库（Java版）☆16Mar 7, 2022Updated 4 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Aug 23, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Windows SMBv3 LPE exploit 已编译版☆17Mar 31, 2020Updated 6 years ago
- 🔫长亭安全评估工具XRay的PoC功能模块复现Demo☆14Jan 17, 2020Updated 6 years ago
- ADD extracts features from patches such as repair patterns.☆13Oct 2, 2023Updated 2 years ago
- Source code, datasets and models of the paper "Efficient White-box Fairness Testing through Gradient Search" by Lingfeng Zhang, Yueling Z…☆11Jul 24, 2021Updated 4 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
- Use to perform Microsoft exchange account brute-force.☆73Apr 17, 2021Updated 5 years ago
- Karaoke subtitle template helper for aegisub☆19Feb 19, 2025Updated last year
- ☆13Dec 2, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 带你畅游《软件分析》☆275Aug 1, 2022Updated 3 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
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆48Dec 31, 2024Updated last year
- Code that accompanies the PyData New York (2022) talk: Addressing the sensitivity of Large language models☆13Nov 7, 2022Updated 3 years ago
- Open-Source EDA workshop for RISC-V community☆12Jul 27, 2022Updated 3 years ago
- embedding MLIR in LEAN☆48Jun 17, 2024Updated last year