Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质量保障感兴趣的小伙伴们撰写的入门小册子。
☆30Jan 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
- Getting started with static program analysis. 静态程序分析入门教程。☆1,769Mar 20, 2024Updated 2 years ago
- Teaching and Learning Software Verification via SVF☆36Oct 20, 2026Updated last week
- 一个常用编码加解密的懒人工具，自动识别，尝试转换所有类型，包括html实体化，base64，base32，32位md5，16位md5，hash，\x,0x等十六进制格式,url编码...☆15Feb 1, 2022Updated 4 years ago
- php7.4.26-internalog☆13Oct 13, 2022Updated 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.
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- ☆10Mar 20, 2020Updated 6 years ago
- ☆25Aug 9, 2021Updated 5 years ago
- Tool & data on the correctness of Defects4 patches generated by program repair tools http://arxiv.org/pdf/1909.13694☆12May 29, 2023Updated 3 years ago
- A fast and extensible memory profiler☆10Oct 25, 2024Updated 2 years ago
- 一些Python安全开发的小demo。☆15Dec 14, 2021Updated 4 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆24Aug 23, 2022Updated 4 years ago
- Use to perform Microsoft exchange account brute-force.☆73Apr 17, 2021Updated 5 years ago
- Windows SMBv3 LPE exploit 已编译版☆17Mar 31, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 第三代树洞加密算法概述☆32Mar 28, 2022Updated 4 years ago
- ADD extracts features from patches such as repair patterns.☆13Oct 2, 2023Updated 3 years ago
- ☆12Aug 24, 2026Updated 2 months ago
- 经验构件库（Java版）☆16Mar 7, 2022Updated 4 years ago
- notifier is a Go library to send notification to other applications.☆24May 25, 2026Updated 5 months ago
- LLM inference with HuggingFace (experimental)☆11Feb 6, 2025Updated last year
- ☆13Dec 2, 2021Updated 4 years ago
- 一款支持微信和QQ、UC手机浏览器的分享工具，可以自定义标题、链接、icon等☆12Apr 19, 2018Updated 8 years ago
- Ocolos is the first open-sourced online code layout optimization system for unmodified applications written in unmanaged languages.☆54Apr 9, 2026Updated 6 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Code that accompanies the PyData New York (2022) talk: Addressing the sensitivity of Large language models☆13Nov 7, 2022Updated 3 years ago
- 基于爬虫式对FoFa数据进行爬取，无需FoFa高级会员和F币，未登录，普通用户，基础会员，高级会员均可使用。☆11Jan 15, 2022Updated 4 years ago
- Open-Source EDA workshop for RISC-V community☆12Jul 27, 2022Updated 4 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆49Jun 1, 2026Updated 4 months ago
- 论如何使用GPT协助考研复试准备工作☆12Mar 23, 2024Updated 2 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆215Mar 10, 2025Updated last year
- Answer Tree workspace for nested follow-up questions in OpenCode☆17Jun 15, 2026Updated 4 months ago
- Red Team Tools for Emulated Adversary Techniques with MITRE ATT&CK☆31Sep 21, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Apr 16, 2022Updated 4 years ago
- Hope this could be helpful when you're struggling with finding a suitable PhD/postDoc position.☆10Aug 14, 2023Updated 3 years ago
- Implementation of "Towards Understanding Mixture of Experts in Deep Learning", NeurIPS 2022☆10Jan 6, 2023Updated 3 years ago
- P4 compatible HLS modules☆11Apr 23, 2018Updated 8 years ago
- source code of the paper "[CIKM 2023] Task-Difficulty-Aware Meta-Learning with Adaptive Update Strategies for User Cold-Start Recommendat…☆10Oct 27, 2023Updated 3 years ago
- IDE Integration of Facebook Infer☆14Nov 9, 2022Updated 3 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