The efficient SMT-based context-bounded model checker (ESBMC)
kotlin python c cpp smt-solver k-induction automated-testing incremental-learning bmc solidity-contracts cheri automated-verification cp-solver
- Updated
Nov 24, 2025 - C
#
automated-testing
Test automation or automated testing as compared to manual testing is a way to write test scenarios beforehand that can be repeatedly executed without involving a human element. This is often done by having a set of test data as input that can be compared to certain expectations. In agile software development approaches, this can be even based on user stories and/or acceptance critera.
Here are 11 public repositories matching this topic...
This repository contains every testor for the Epitech second year projects
python c testing coverage haskell asm wolfram tester epitech 42born2code 42 automated-testing 42school epitech-intra epitech-project myftp piscine-c tek2 assemblyx86
- Updated
Feb 21, 2024 - C
Getting started with SIMULINK for electronics/mechanical/electrical engineers.
automation matlab simulink automated-testing simulink-model simulink-toolbox simulink-coder simulink-python
- Updated
Feb 16, 2025 - C
Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Application (FSE 2021)
- Updated
Sep 24, 2021 - C
A scriptable program to control the Signal Hound VSG25A signal generator using its C++ API
- Updated
Mar 1, 2023 - C
A file comparison and automated grading system for Operating Systems course, Bar Ilan University.
- Updated
May 24, 2023 - C
Grupo de Programação Modular (INF1031)
- Updated
Nov 3, 2019 - C
How 2 TDD 4 embedded
testing unit-testing tdd test esp32 assertions test-driven-development automated-testing unit-test testing-framework espidf unit-testing-espidf
- Updated
Feb 7, 2023 - C
Example workflow project for firmware development in Vitis.
- Updated
Feb 19, 2023 - C
A PKCS#11-based CAVS test harness for validating HSM and cryptographic module operations.
- Updated
Oct 10, 2025 - C
- Followers
- 180 followers
- Website
- github.com/topics/test-automation
- Wikipedia
- Wikipedia