☆19Jun 9, 2023Updated 2 years ago
Alternatives and similar repositories for LawBreaker-SourceCode
Users that are interested in LawBreaker-SourceCode are comparing it to the libraries listed below
Sorting:
- ☆40Sep 12, 2025Updated 5 months ago
- A Unified and Extensible Infrastructure for Autonomous Driving Testing☆39Jan 16, 2026Updated last month
- An open-source software package for fuzzing autonomous driving systems in high-fidelity simulators☆34Jul 13, 2022Updated 3 years ago
- BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems (ISSTA 2023)☆25Mar 16, 2024Updated last year
- Local SVL Cloud☆150Feb 27, 2025Updated last year
- SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems☆26May 21, 2025Updated 9 months ago
- ☆14Oct 9, 2024Updated last year
- ☆13Apr 7, 2025Updated 10 months ago
- PCLA: A framework for testing autonomous agents in the CARLA simulator☆68Jan 19, 2026Updated last month
- ☆13Jun 27, 2022Updated 3 years ago
- ScenarioGenerator - Search-based Software Testing of Baidu Apollo in SVL☆18May 11, 2022Updated 3 years ago
- A Benchmark for Evaluating Autonomous Vehicles in Safety-critical Scenarios☆148Feb 23, 2024Updated 2 years ago
- A feedback-driven fuzzing framework for testing autonomous driving systems (by Seulbae Kim)☆21Apr 5, 2023Updated 2 years ago
- PlanFuzz is a novel dynamic testing tool for discovering semantic DoS vulnerability in AD behavioral planning (NDSS 2022)☆22May 2, 2022Updated 3 years ago
- scenoRITA: Generating Diverse, Fully-Mutable, Safety-Critical and Motion Sickness-Inducing Scenarios for Autonomous Vehicles☆25Jul 26, 2022Updated 3 years ago
- LLM-based Test Case Generation for PLC Control Logic☆33Oct 31, 2024Updated last year
- Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution☆13Jul 24, 2022Updated 3 years ago
- ☆10Mar 16, 2023Updated 2 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles☆10Oct 13, 2022Updated 3 years ago
- ☆14Aug 18, 2025Updated 6 months ago
- A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"☆13Dec 11, 2024Updated last year
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 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
- The repo works as a archive for the SVL simulator without Git LFS initialized.☆12Jan 25, 2022Updated 4 years ago
- Lydia: Who's Your Enemy in the Dark Forrest☆13Aug 24, 2025Updated 6 months ago
- The workspace for directly downloading and installing Autoware.AI versions with the latest OpenPlanner 2.5 updates☆50Oct 18, 2024Updated last year
- ☆13May 19, 2024Updated last year
- Các vấn đề hiện đại CNTT☆11Dec 4, 2017Updated 8 years ago
- OpenCore for GL553VD.☆10Aug 28, 2021Updated 4 years ago
- Workshop material on Rust iterators, pattern matching and creative coding☆12Sep 8, 2022Updated 3 years ago
- Program Slicing. Experimental library.☆13Feb 2, 2022Updated 4 years ago
- An open benchmark for evaluating smart contracts verification tools.☆16Oct 5, 2025Updated 5 months ago
- ☆11Apr 7, 2025Updated 10 months ago
- [Archived - See https://github.com/rustsbi/rustsbi/] RustSBI prototyper☆12Feb 16, 2025Updated last year
- A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models☆11Sep 18, 2025Updated 5 months ago
- ☆12Jun 27, 2025Updated 8 months ago
- Ethereum stateless book☆16Feb 12, 2026Updated 3 weeks ago
- ERC20 in K☆49Apr 25, 2019Updated 6 years ago