A generalization of the Yates and Hennel algorithm (branch coverage software testing)
-
Updated
Feb 15, 2020 - C
A generalization of the Yates and Hennel algorithm (branch coverage software testing)
test code
RIOT example applications for symex-vp
Le projet consiste en la réalisation d'un programme informatique permettant d'interpreter le code source d'un progamme en C.
Complete Embedded System Diploma
A showcase of advanced software testing for a delivery optimization system in a grid-based city layout. This repo highlights extensive testing methods, including black-box and white-box approaches, within a collaborative project framework.
Prime Path Finder in C
This Embedded Systems Nanodegrees repository offers a comprehensive program providing practical, hands-on experience in the exciting field of embedded systems. It caters to both beginners and those looking to advance their skills with two distinct tracks: the Embedded Systems Professional Nanodegree and the Embedded Systems Advanced Nanodegree.
Tool for mutation testing of C programs
A FUSE-based fault injection filesystem.
Add a description, image, and links to the software-testing topic page so that developers can more easily learn about it.
To associate your repository with the software-testing topic, visit your repo's landing page and select "manage topics."