Alternatives and similar repositories for Navitas-Framework:

Users that are interested in Navitas-Framework are comparing it to the libraries listed below

• sailuh / kaiaulu
  An R package for mining software repositories
  ☆22Updated 3 weeks ago
• JordanSamhi / AndroSpecter
  A library to facilitate the static analysis of Android apps
  ☆13Updated 7 months ago
• autonomy-and-verification-uol / ROSMonitoring
  ROSMonitoring: a Runtime Verification Framework for ROS
  ☆38Updated last month
• ucr-riple / AndroidSlicer
  AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.
  ☆13Updated 5 years ago
• luiscruz / awesome-mobile-app-energy-papers
  A curated list of awesome papers that study energy efficiency for mobile applications.
  ☆23Updated last year
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System for BugZoo
  ☆35Updated last year
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆42Updated 4 years ago
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆29Updated 2 weeks ago
• fpalomba / aDoctor
  Code Smell Detector able to detect a set of 16 Android-specific design flaws
  ☆24Updated 5 years ago
• wasp-sweden / wara-sw
  WASP Research Arena for Software
  ☆12Updated 2 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 3 weeks ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆70Updated last year
• tdurieux / EnergiBridge
  ☆23Updated 8 months ago
• diverse-project / maven-miner
  This projects mines maven central and creates a global dependency graph
  ☆32Updated 2 years ago
• ASSERT-KTH / yajta
  Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…
  ☆15Updated 2 years ago
• gitbugactions / gitbug-java
  A Reproducible Benchmark of Recent Java Bugs
  ☆34Updated last week
• micheletufano / DeepMutation
  ☆11Updated 2 years ago
• jharwell / sierra
  Automation framework for the scientific method in AI research
  ☆21Updated 2 months ago
• ASSERT-KTH / assert-gold-mine
  This is an informal repo for ASSERT teammates to share awesome stuff.
  ☆21Updated this week
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 5 months ago
• atom-sw / fauxpy
  An automated fault localization tool for Python programs.
  ☆23Updated this week
• git-afsantos / haros
  H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
  ☆194Updated 3 months ago
• tingsu / DroidDefects
  A database of crash (exception) bugs for Android apps
  ☆20Updated last year
• rosin-project / ros2_fuzz
  An automatic fuzzing tool for ROS 2 C++ projects
  ☆13Updated 3 years ago
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆26Updated last year
• S2-group / robot-runner
  Tool for Automatically Executing Experiments on Robotics Software
  ☆29Updated 8 months ago
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆115Updated last year
• squaresLab / footpatch
  ☆15Updated 5 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• S2-group / icse-seip-2020-replication-package
  Replication package of the paper titled "How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems" pu…
  ☆102Updated 4 years ago