security analysis static-analysis dds access-control ros2 security-automation rclpy software-validation
-
Updated
Aug 15, 2024 - Java
#
software-validation
Here are 15 public repositories matching this topic...
Local-first, event-driven AI software factory for building, modernizing, debugging, securing, porting, validating, and optimizing applications through task-activated specialist agents, multi-provider model routing, isolated workspaces, runtime QC, and audit-ready evidence.
debugging ai nextjs postgresql code-analysis minio observability software-factory event-driven-architecture multi-agent-system fastapi redis-streams local-first app-modernization qdrant software-validation code-porting agentic-ai
-
Updated
Aug 31, 2026 - Python
[ICSME '24 NIER] Artifact for GlueTest: Testing Code Translation via Language Interoperability
-
Updated
Feb 9, 2025 - Java
The Learn In Depth Embedded Diploma enhanced my expertise in C programming, Embedded C, microcontroller peripherals like GPIO, UART, SPI, I2C, TIMERS, and ADC. Additionally, I gained proficiency in automotive communication protocols such as CAN and Ethernet. Developed Linker scripts, Startup code, Makefiles, and RTOS custom scheduler from scratch.
c gpio microcontrollers i2c spi can-bus usart interrupts rtos software-testing uart-protocol arm-cortex-m3 embedded-c socs can-fd arm-cortex-m4 free-rtos software-validation mcu-drivers
-
Updated
Aug 29, 2024 - C
Reproducibility audit of METEOR across 73k ACL papers. Compared 8 Python/Java implementations; found up to 10-point score divergence from undocumented parameter choices. Includes Docker test harness and systematic literature review.
python nlp docker machine-learning meteor jupyter-notebook rouge bleu systematic-literature-review software-validation reporducibility
-
Updated
Nov 20, 2025 - Jupyter Notebook
Formal verification and validation project for an IoT Smart Home Controller System using Z Notation, VDM-SL, Alloy, GitHub Actions, and OWASP ZAP.
-
Updated
May 25, 2026 - Alloy
Kurs jedno semestralny wprowadzający do testowania i walidacji oprogramowania
-
Updated
Nov 12, 2022 - JavaScript
Projects and assignments done during Master's Degree course in Informatics Engineering, with specialisation in Software Engineering, at Faculty of Sciences of the University of Lisbon.
internet-of-things concurrent-programming cloud-computing software-engineering software-verification software-testing mobile-development parallel-programming software-design web-applications software-validation
-
Updated
Jun 25, 2022 - Java
CSE 565: Software Verification and Validation @ Arizona State University
software-verification asu mscs arizona-state-university software-validation cse-565-asu cse565-asu svvt asu-svvt cse-asu
-
Updated
Dec 28, 2024
This repository contains an analysis of a Compound Unit student project. Analysis was done using tools for static and dynamic software verification. The repository is created for the purpose of Software Verification master's studies course at the Faculty of Mathematics.
-
Updated
Feb 14, 2024 - HTML
Coverage-based JUnit 5 test suite for the Student Management System — applying Logic Coverage, Input Space Partitioning, and Graph Coverage. CCSW 323 class project at the University of Jeddah.
java unit-testing university-project test-automation code-coverage software-testing junit5 graph-coverage logic-coverage software-validation input-space-partitioning
-
Updated
May 27, 2026 - Java
An operating contract for AI-assisted software and pipeline development in regulated environments. Most AI governance documents describe; this one gates — risk-tier before building, human-owned acceptance tests, and the model never grades its own homework.
bioinformatics compliance quality-assurance test-driven-development hipaa ai-safety ai-agents data-governance gxp medical-devices clinical-genomics llm software-validation ai-governance evals nist-ai-rmf iso-42001 verification-and-validation regulated-industries
-
Updated
Aug 15, 2026
Medical Device Software Verification & Validation Framework for requirements-based testing, risk-based verification, automated Pytest testing, traceability, alarm validation, logging, and data integrity.
python test-automation pytest quality-assurance software-verification medical-device qa-testing software-validation requirements-traceability risk-based-testing medical-device-testing medical-device-validation
-
Updated
Aug 26, 2026 - Python
Worked as a project-based AI Agent Specialist with Handshake AI through the Dynamo project, working on structured software engineering tasks involving AI coding agents, GitHub repositories, task execution, testing, validation, and evaluation.
github git docker debugging docker-container artificial-intelligence software-engineering software-testing task-automation ai-agents task-orchestration automated-validation github-workflows prompt-engineering software-validation ai-software-engineering coding-agent agent-workflows instruction-engineering artifact-validation
-
Updated
Aug 13, 2026
Synthetic CGM analytics system for glucose trend detection, risk classification, simulated alerts, validation testing, and Streamlit dashboard visualization.
python dashboard pytest healthcare data-analysis cgm synthetic-data github-actions streamlit software-validation diabetes-care medical-device-software
-
Updated
Jun 30, 2026 - Python
Add this topic to your repo
To associate your repository with the software-validation topic, visit your repo's landing page and select "manage topics."