Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Repository Index
47,133 repositories indexed
241–264 of 500 · Most stars
Wraps any WSGI application and makes it easy to send test requests to that application, without starting up an HTTP server.
Performance benchmark framework for C++ with nanoseconds measure precision
- benchmark-framework
- benchmarks
- microbenchmarks
- performance
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Generate random data for MongoDB
RR is a test double framework that features a rich selection of double techniques and a terse syntax. ⛺
A simple Swift package for measuring and reporting the time taken for operations
Lightweight and Extensible Infrastructure for Building Web Applications - Web Application Framework
- dotnet-core
- efcore
- aspnet-core
- solid
a socket mock framework - for all kinds of socket animals, web-clients included
Enabling Test Automation in Java
Swift framework containing a set of helpful XCTest extensions for writing UI automation tests
- automation
- ios
- xctest
- uiautomation
Allure integrations for JavaScript test frameworks
- allure
- reporing
- reporting-engine
- jest
Advanced, but minimalistic Next.js and Apollo starter
- typescript
- react
- apollo
- testing-library
Random testing library for C#
- quickcheck
- testing
- random
- regression-testing
Open source repository for FlexUnit project for Actionscript 3 and Flex projects.
Executable Specifications for .Net
recheck for web apps – change comparison tool with local Golden Masters, Git-like ignore syntax and "Unbreakable Selenium" tests.
- selenium-java
- regression
- testing-tools
- test-automation
End to end functional test and automation framework
- automation
- end-to-end-testing
- orchestration-framework
- testing
querySelector that can pierce Shadow DOM roots without knowing the path through nested shadow roots. Useful for automated testing of Web Components. Production use is not advised, this is for test environments/tools such as Web Driver, Playwright, Puppeteer
- webcomponents
- shadow-dom
- javascript
- puppeteer
http integration test framework
- go
- golang
- hacktoberfest
Playwright PHP library for browser automation: navigation, E2E tests, assertions, screenshots, and so much more!
- browser
- browser-automation
- php
- php-browser
A modern testing and behavioural specification framework for Java 8
Assertion library for Lua
A TestNG like dataprovider runner for JUnit with many additional features