Create minimum MCDC test sets for a boolean expression

Tool for automatic MC/DC in C and in Python.

A Discord ↔️ Minecraft Server Chat exchanger

Test Data Generation and Coverage Evaluation components: Full Predicate Coverage Rules (FPC) and SQL Mutants to assess the coverage of the test data

本项目为一个MCDC覆盖及分析系统，会根据待测代码进行解析，生成决策树，代码插桩，生成测试用例以及执行并计算测试用例

SQL Query Aware Test Data Coverage Evaluation for Java and .Net applications

Analysis tool for graphical post-processing of Coveron code coverage data

Test Data Generation for APIs (TDG): System and Integration Tests

Experimental framework for studying the equivalence between branch outcome coverage and masking MC/DC on homogeneous Boolean chains.

Science-based barbell form coaching — MediaPipe CV pipeline, LangGraph RAG coaching agent, and MC/DC-tested (DO-178C Level A) form scoring. FastAPI + React, source-available under BSL 1.1.

A utility to replicate the Test Vector Indexing algorithm for LLVM MCDC instrumentation

POC Vehicle Management Unit (VMU) for a power-split hybrid powertrain. This supervisory ECU coordinates the ICE and electric motor, selecting EV, ICE, hybrid, and regenerative modes based on driver demand, vehicle speed, battery SOC, and system limits, while applying basic protections for smooth, efficient operation.

Projects developed during the Software Testing course.

Measures RORG coverage of Ada95 software.