Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

If these strings are in your code, you might have a problem!

Simple general-purpose embedded system code coverage test tool

Test Case Generator Based on Branch Coverage and Fuzzing

Damn Vulnerable PHP Application (DVPA) - It is Lab Written in The PHP lang, Which Contains PHP Type Juggling - RCE Challenges

TriLane: autonomous AI pentester and multi-agent security auditor for authorized gray-box testing of web apps and APIs. Built with Rust and Tauri.

ADAPT is the open source white-box testing framework for deep neural networks

高效能、高品质的 React 前端研发实践

Prototype tree-walking interpreter back when Mu was a high-level statement-oriented language, c. 2018

🚀 Explore Mu (µ), a minimal, self-hostable programming language that prioritizes clarity and ease of understanding while emphasizing dynamic typing.

Test Case Design

Writing Unit Tests Using White-Box Testing Approach and JUnit Tool

A showcase of advanced software testing for a delivery optimization system in a grid-based city layout. This repo highlights extensive testing methods, including black-box and white-box approaches, within a collaborative project framework.

In this project, I have applied three white-box techniques to the ATM system.

Java 源码离线审计工具 — 面向 100MB+ 反编译 Spring Boot 源码包的自动化安全审计。零依赖纯 Python，项目代码识别 | API 端点提取 | CVE 漏洞匹配 | 攻击利用链分析 | 10 章中文 Markdown 报告。适用于安全测试、CTF、代码审查、白盒审计。

Todo o conteúdo produzido para a unidade curricular TVVS (Teste, Verificação e Validação de Software), para o curso em Engenharia Informática e Computação na FEUP

Zara Sentinel is the evolution of the open-source autonomous security agent paradigm, optimized specifically for the Gemini architecture.

A Software Quality Assurance project for a Simple Banking System demonstrating black-box and white-box testing, functional validation, and comprehensive test case execution using Python.

Java banking system tested end-to-end with black-box, white-box, integration, GUI testing, and JaCoCo coverage analysis — built with a TDD approach.