Randomized Property-Based Testing Plugin for Coq
Repository Index
47,133 repositories indexed
97–120 of 193 · Most stars
Enabling Test Automation in Java
property based testing library for Scala
- scalaz
- testing
- scala
- scalaprops
Random testing library for C#
- quickcheck
- testing
- random
- regression-testing
Open source repository for FlexUnit project for Actionscript 3 and Flex projects.
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
Pipit is a Wagtail CMS boilerplate which aims to provide an easy and modern developer workflow with a React-rendered frontend.
A TestNG like dataprovider runner for JUnit with many additional features
A powerful testing framework for ZSH projects
A trusty CLI companion to monitor file changes and automatically run the corresponding Ruby specs. Ready to assist on any Ruby project, no setup needed!
- ruby
- cli
- file-changes
- refactoring
k6 extension to load test Apache Kafka with support for various serialization formats, SASL, TLS, compression, Schema Registry client and beyond
HTTP mock for Golang: record and replay HTTP/HTTPS interactions for offline testing
Simplify software testing, by easily mocking any system using HTTP/HTTPS, allowing a team to test and develop against a service that is not complete or is unstable or just to reproduce planned/edge cases.
Automated Testing for Set-Top Boxes and Smart TVs
- python
- test-automation
- set-top-box
- remote-control
Expertiza is a web application through which students can submit and peer-review learning objects (articles, code, web sites, etc). The Expertiza project is supported by the National Science Foundation.
- ruby
- peer-reviews
- rails-application
- students
A simple framework for compile-time benchmarks
A tool for tracing Lua script execution and analysing time profiles and coverage
Render preact components with access to the produced virtual dom for testing.
Java binding for Hoverfly
- api-simulation
- service-virtualization
- java
- testing
Produces text which, on first glance, looks like real, ponderous, prose; replete with clichés.
Test case generation framework for competitive programming problems
- test-framework
- competitive-programming
BENERATOR is a leading software solution to generate, obfuscate, pseudonymize and migrate data for development, testing, and training purposes with a model-driven approach.
- testdata
- anonymization
- migration
- performance-testing
High-performance, multi-protocol mock server. HTTP, WebSocket, gRPC, MQTT, SSE, GraphQL, SOAP in one binary.
- api-mocking
- cli
- developer-tools
- golang
Test Unit for the Crystal programming language
- crystal
- testing