Stars
Regexp based tool for mutating generic source code across numerous languages
The efficient SMT-based context-bounded model checker (ESBMC)
Graphical modeling and code generation tool based on Hierarchical State Machines (UML Statecharts) and QP Real-Time Event Frameworks
QP-nano real-time embedded framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines
Get started with Quantum! Clone or download this repository to start, contains examples of tests and step definitions.
Generating plausible Strat-O-Matic cards from MLB data
ruptures: change point detection in Python
Mutants for GCC and SpiderMonkey used in ISSRE 2018 paper
Source code and instructions for "(Programs), Proofs and Refutations (and Tests and Mutants)"
Microsoft MakeCode (PXT - Programming eXperience Toolkit)
Mutation testing tool designed for Bitcoin Core
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
QP/C++ Real-Time Event Framework/RTOS implements event-driven Active Object (Actor) model combined with Hierarchical State Machines. Specifically designed for embedded systems (e.g., ARM Cortex-M M…
QP/C Real-Time Event Framework/RTOS implements event-driven Active Object (Actor) model combined with Hierarchical State Machines. Specifically designed for embedded systems (e.g., ARM Cortex-M MCUs).
Slide decks used in courses taught regarding F´
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
RareSkills / vertigo-rs
Forked from JoranHonig/vertigoMutation Testing for Ethereum Smart Contracts, support for Foundry