The efficient SMT-based context-bounded model checker (ESBMC)
-
Updated
Sep 23, 2026 - C++
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.
The efficient SMT-based context-bounded model checker (ESBMC)
UI test automation library for QtQuick/QML/QtWidgets Apps
OI代码仓库、复习笔记、代码模板、本地Judger
FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
End-to-end-tests automation framework
A demo featuring the Gauntlet Automation Framework integrated into Unreal Engine 5 utilized for performance analysis.
CCDX-WIFI账号密码测试程序,这是目前为长春大学校园网开发的完成度最高、功能最完善的工具。它通过自动化的方式(使用不同的用户名和密码组合)尝试登录账户,避免了低效的密码穷举法,转而利用密码字典和科学的用户名生成方法,尤其针对弱密码实施有效检测。此外,程序还封装了多个辅助组件,以更全面地支持整个测试流程,旨在提升校园网账户的安全性。
Maestro makes us write E2E testing easily
Maestro is a good option for E2E testing in CICD
Aquarium monitor, PlatformIO project, ESP32/Arduino, water parameter sensing, automated control, GitHub repository, complete project structure
C++ Integration Test Framework using Google Test and Delegates
A cross-platform C++17 console game engine with zero dependencies, featuring 2-player co-op, custom physics, LOS explosions, and a built-in automated QA testing pipeline.
Neste repositório estão alguns códigos para controlar um motor de passo Nema através de um Arduino
An automated tool for finding if the site is up and running, finding all the open ports, finding all the directories in a web target, finding all the interested files, finding the subdomains , finding the possible vulnerabilities , finding the email addresses of an organization, finding the web technologies and for generating a report about all …
Description Short description of this repository 350 characters remaining Website Enter a valid URL Topics Add topics Type to search topics Include in the home page Releases Deployments Packages.基于 Lely CANopen 的 CANopen 自动协议测试框架,运行于 Linux/aarch64,通过 SocketCAN 验证 RT-Thread + CANopenNode MCU 节点。
C++20 custom Set implementation using dynamic memory, operator overloading, Rule of Three, set operations, stream I/O, and automated testing.
infrastructure for flash_display engine that includes Unit Tests, automated rendering tests in Python, benchmarks and examples
Lightweight CEF-based rendering and automation runtime controlled via WebSockets
C++ aircraft telemetry and mission-command simulator using UDP, JSON, fault detection, command acknowledgment, and automated testing.
A C++ framework for automated testing