Runtime verification framework for software systems
-
Updated
Oct 6, 2026 - TypeScript
Runtime verification framework for software systems
RETORCH: Resource-aware End-to-End Test Orchestration
Extends the basic-kafka-streams-demo with a second service
End to end functional test and automation framework
Post-deployment integration testing for Java microservices. Verify real service dependencies from inside your running application.
Exact-pin Happy Wakey topology, Bluetooth, security, resilience, integration, system, and live acceptance tests
A test framework for black-box testing MicroProfile and Jakarta EE applications
HPC System and Software Testing Framework
Bud by EmbedLabs: Test management and execution for software, hardware, continuous integration, laboratory, and complete-system verification.
A testing framework for containerized and cloud services
Route optimization tool (C) validated through a full QA lifecycle — requirements traceability, unit/integration/system testing, and formal user acceptance sign-off across 6 Agile milestones.
Risk-driven fitness app verification project with full test plan, use cases, and 30 system test cases traced from Q1/Q2/Q3 behavioral analysis to requirements — CISC 593 Software Verification & Validation
This repository is an architecture for projects with the DDD approach, developed by Vahid Nazari.
Modular bash suite to verify system integrity after installing a custom Linux kernel — modules, boot, dmesg, hardware, and CI-ready checks.
A Python-based Library Management System implementing object-oriented design, automated software testing, business rule enforcement, and comprehensive quality assurance using the unittest framework.
Linux-based Python/C++ system-test automation framework with CLI-driven test execution, structured JSON logs, pass/fail reporting, pytest regression tests, and GitHub Actions CI.
System QA engineering case studies and testing methodology notes focused on distributed systems, requirements analysis and production investigations.
Data Science Portfolio showcasing projects in Data Analytics, Business Intelligence, Python, Power BI, SQL, SAS, and Business Analysis.
To associate your repository with the system-testing topic, visit your repo's landing page and select "manage topics."