hongjun9 / CPinconsistency
Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles
☆10Updated 2 years ago
Alternatives and similar repositories for CPinconsistency:
Users that are interested in CPinconsistency are comparing it to the libraries listed below
- ☆18Updated last month
- Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach☆14Updated 4 years ago
- ☆20Updated 4 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆33Updated last year
- Stealthy Attacks against Robotic Vehicles. Please read the following paper before trying out the attacks.☆15Updated 2 years ago
- SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems☆26Updated last month
- ☆12Updated last month
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆18Updated 2 years ago
- ☆36Updated 4 years ago
- -☆10Updated 2 years ago
- ☆24Updated 2 years ago
- PlanFuzz is a novel dynamic testing tool for discovering semantic DoS vulnerability in AD behavioral planning (NDSS 2022)☆22Updated 2 years ago
- DriveTester: A Unified Platform for Simulation-Based Autonomous Driving Testing☆21Updated 3 weeks ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- ☆79Updated last year
- ☆17Updated last year
- BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems (ISSTA 2023)☆23Updated 11 months ago
- Program dependence graph in LLVM☆34Updated 7 months ago
- An NLP-based fuzzing assitance tool for generating valid option combinations.☆42Updated 11 months ago
- ☆74Updated 2 years ago
- A feedback-driven fuzzing framework for testing autonomous driving systems (by Seulbae Kim)☆16Updated last year
- ☆10Updated last year
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- Artifact for our ADS testing approach published at ICSE 2023☆21Updated this week
- ADAPT is the open source white-box testing framework for deep neural networks☆21Updated last year
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆14Updated 4 years ago
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Updated last month
- ☆14Updated 5 months ago
- Recent Fuzzing Paper☆15Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆90Updated 10 months ago