Template Scripting Testing Language tool: automated test generation for Python
☆107Apr 9, 2024Updated 2 years ago
Alternatives and similar repositories for tstl
Users that are interested in tstl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Hierarchical Delta Debugging Framework☆61Nov 23, 2025Updated 8 months ago
- Regexp based tool for mutating generic source code across numerous languages☆161May 20, 2026Updated 2 months ago
- Implementation of the tarantula fault localisation algorithm☆13May 10, 2021Updated 5 years ago
- A unit test-like interface for fuzzing and symbolic execution☆863Aug 22, 2025Updated 11 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A program repair tool which modifies any bugged Python script based on cues from rest of program.☆20Jun 14, 2021Updated 5 years ago
- Metagenomic Analysis☆11Apr 5, 2021Updated 5 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Jan 9, 2018Updated 8 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jul 10, 2026Updated last month
- ☆11Jun 20, 2023Updated 3 years ago
- Examples of unions, interfaces, and assertions in SystemVerilog☆13Aug 31, 2013Updated 12 years ago
- ☆12May 31, 2018Updated 8 years ago
- Recover mutation graph from an AFL seed☆61Jan 6, 2021Updated 5 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A tree-sitter-grammar for cairo 1.0☆16Dec 14, 2022Updated 3 years ago
- Send messages or files between devices using an encrypted audio transfer.☆13Apr 23, 2024Updated 2 years ago
- Monadic Error Handling for Python☆13Aug 29, 2024Updated last year
- simple static source code analysis tool for C code, with user-definable properties☆29Jul 8, 2024Updated 2 years ago
- PlusCal Cheat Sheet by Stephan Merz☆30Sep 27, 2024Updated last year
- ☆46May 18, 2020Updated 6 years ago
- [ICSE2020] MemLock: Memory Usage Guided Fuzzing☆71Dec 6, 2021Updated 4 years ago
- Outdated API for P2P delegated Proof of Work. New rep: https://github.com/anarkrypto/P2PoW☆10Jan 24, 2021Updated 5 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆19Aug 2, 2021Updated 5 years ago
- RaiBlocks RPC Library for Python☆12May 8, 2017Updated 9 years ago
- A System for Debloating C/C++ Programs☆33Jul 16, 2021Updated 5 years ago
- DBGBench Website:☆19Feb 24, 2021Updated 5 years ago
- Analytic sampler compiler for combinatorial systems☆31Jul 10, 2022Updated 4 years ago
- Turns virtual usbredir connections into physical ones☆14Jun 17, 2020Updated 6 years ago
- A playground for Docker with Express (Gateway) and MongoDB.☆17Apr 21, 2018Updated 8 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆65May 14, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A fuzzer. Work in progress!☆21Sep 8, 2017Updated 8 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- ☆12Jun 20, 2022Updated 4 years ago
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆18Sep 13, 2023Updated 2 years ago
- ☆11Jun 8, 2021Updated 5 years ago
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 3 years ago
- “NodeNamer” program that accepts a lightning public graph as input and attempts to identify the implementation that each node lightning i…☆13Nov 15, 2024Updated last year