mcdc

Coverage, security and code quality for coding agents

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

AI-native Code-OSS workbench for safety-critical firmware. DO-178C evidence, MISRA, CBMC, CodeQL, measured MC/DC and hardware tooling in one window — with compliance runs that record what was actually measured, and claim nothing else.

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

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

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

Witness — MC/DC-style branch coverage measured on the WebAssembly the runtime executes. Part of PulseEngine.

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.

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

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.

Black-box and white-box testing study in Java and JUnit 5: boundary values, JaCoCo coverage, MC/DC and PIT.

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.

TradingApp for eToro account

Interactive dashboard and Python analysis that ranks 12 Saudi Vision 2030 giga-projects using AHP, Fuzzy AHP, BWM, TOPSIS and VIKOR, with robustness tests (Monte Carlo weights, Kendall τ, VIKOR validity).

Projects developed during the Software Testing course.

Browser-based MC/DC analyzer for JavaScript and TypeScript: finds the minimal tests that prove each condition matters, traces paths through your code, measures real coverage, and exports shareable reports with AI test prompts.