security analysis static-analysis dds access-control ros2 security-automation rclpy software-validation
-
Updated
Aug 15, 2024 - Java
#
software-validation
Here are 12 public repositories matching this topic...
[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
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
Jun 30, 2026 - Python
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
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
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
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
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
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
Improve this page
Add a description, image, and links to the software-validation topic page so that developers can more easily learn about it.
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."