[ICSME '24 NIER] Artifact for GlueTest: Testing Code Translation via Language Interoperability
-
Updated
Nov 8, 2024 - Java
#
software-validation
Here are 7 public repositories matching this topic...
security
analysis
static-analysis
dds
access-control
ros2
security-automation
rclpy
software-validation
-
Updated
Aug 15, 2024 - 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
Investigates the reproducibility of METEOR scores in scientific papers. Includes a systematic literature review and validation of METEOR implementations.
python
nlp
docker
machine-learning
meteor
jupyter-notebook
rouge
bleu
systematic-literature-review
software-validation
reporducibility
-
Updated
May 17, 2024 - Jupyter Notebook
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
Kurs jedno semestralny wprowadzający do testowania i walidacji oprogramowania
-
Updated
Nov 12, 2022 - JavaScript
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."