Sign in

Repository Index

47,133 repositories indexed

Tags: Testing
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–19 of 19 · Most stars

Mock Alamofire and URLSession requests without touching your code implementation

  • wt-branch-protection-two-approvals
  • wt-branch-protection-exempt

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Shift-left API Integration | Auto-fix integration drift before integration. Specmatic turns API specifications into executable contracts, continuously verifying that every change made by AI coding agents and engineers stays true to the desired behaviour. Ship AI-ready APIs 10x faster, from intent to implementation, with Spec-Driven API Development.

The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.

  • safety
  • scenario

Code for ASE'21 Paper "CorbFuzz: Checking Browser Security Policies with Fuzzing"

  • fuzzing
  • concolic-execution
  • browser-security