Alternatives and similar repositories for cps-tool-competition

Users that are interested in cps-tool-competition are comparing it to the libraries listed below

• se2p / tool-competition-av
  The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.
  ☆20Updated 2 years ago
• cclinus / AV-Fuzzer
  ☆36Updated last month
• BerkeleyLearnVerify / VerifAI
  VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…
  ☆194Updated 6 months ago
• alessiogambi / AsFault
  Evolutionary test case generation for simulation testing of autonomous vehicles.
  ☆28Updated 2 years ago
• AIasd / ADFuzz
  An open-source software package for fuzzing autonomous driving systems in high-fidelity simulators
  ☆33Updated 3 years ago
• Software-Aurora-Lab / DoppelTest
  Artifact for our ADS testing approach published at ICSE 2023
  ☆21Updated 6 months ago
• ssbse2021 / SPECTRE
  ☆10Updated 2 years ago
• BerkeleyLearnVerify / Scenic
  A compiler and scenario generator for the Scenic scenario description language.
  ☆337Updated this week
• simplexity-lab / DeepCollision
  Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions
  ☆19Updated 2 years ago
• lawbreaker2022 / LawBreaker-SourceCode
  ☆19Updated 2 years ago
• STLInspector / STLInspector
  Tool for STL specification validation
  ☆20Updated 5 years ago
• nickovic / rtamt
  Specification-based real-time monitoring library
  ☆63Updated 2 months ago
• testingautomated-usi / selforacle
  The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator
  ☆22Updated 4 years ago
• MingfeiCheng / BehAVExplor
  BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems (ISSTA 2023)
  ☆25Updated last year
• decyphir / breach
  ☆60Updated last year
• skhatiri / UAV-Testing-Competition
  Tool Competion on Testing Unmanned Aerial Vehicles
  ☆13Updated 5 months ago
• ASGuard-UCI / PlanFuzz
  PlanFuzz is a novel dynamic testing tool for discovering semantic DoS vulnerability in AD behavioral planning (NDSS 2022)
  ☆23Updated 3 years ago
• dk-kling / drivefuzz
  A feedback-driven fuzzing framework for testing autonomous driving systems (by Seulbae Kim)
  ☆20Updated 2 years ago
• Software-Aurora-Lab / scenoRITA
  scenoRITA: Generating Diverse, Fully-Mutable, Safety-Critical and Motion Sickness-Inducing Scenarios for Autonomous Vehicles
  ☆26Updated 3 years ago
• MingfeiCheng / AV-Fuzzer-Reimplement
  Reimplementation of AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems (2020 ISSRE)
  ☆22Updated 3 years ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆100Updated 2 years ago
• autofuzz2020 / AutoFuzz
  ☆19Updated 2 years ago
• seclab-fudan / SCTrans
  SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems
  ☆27Updated 3 months ago
• MoonLightSuite / moonlight
  MoonLight: a light-weight framework for runtime monitoring.
  ☆15Updated last year
• MissMeriel / DeepManeuver
  Tool, paper, and study data for DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.
  ☆11Updated 2 years ago
• testingautomated-usi / deepjanus
  Tools and data of the paper "Model-based Exploration of the Frontier of Behaviours for Deep Learning System Testing"
  ☆15Updated last year
• verivital / nnv
  Neural Network Verification Software Tool
  ☆131Updated last week
• amirhosseinzlf / STARLA
  Search-based Testing Approach of Reinforcement Learning Agent
  ☆13Updated 9 months ago
• AIasd / FusED
  ☆12Updated 3 years ago
• dlfaults / deepcrime
  DeepCrime - Mutation Testing Tool for Deep Learning Systems
  ☆15Updated last year