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
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.
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.
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
Projects developed during the Software Testing course.
Modified Condition/Decision Coverage for Python. The criterion DO-178C Level A requires and coverage.py does not measure.
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.
Measures RORG coverage of Ada95 software.
To associate your repository with the mcdc topic, visit your repo's landing page and select "manage topics."