[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
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
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
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."