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
  ☆25Updated 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 2 years ago
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System with Docker containers
  ☆35Updated last year
• se-deadlines / se-deadlines.github.io
  Deadline countdowns for academic conferences in Software Engineering
  ☆45Updated last week
• autonomy-and-verification-uol / ROSMonitoring
  ROSMonitoring: a Runtime Verification Framework for ROS
  ☆41Updated 4 months ago
• tdurieux / EnergiBridge
  ☆26Updated 11 months ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• Ahmadreza-SY / TCP-CI
  Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts
  ☆18Updated 2 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• se-sic / jdime
  syntactic merge tool for java
  ☆20Updated last year
• rosin-project / ros2_fuzz
  An automatic fuzzing tool for ROS 2 C++ projects
  ☆16Updated 3 years ago
• squaresLab / footpatch
  ☆15Updated 5 years ago
• ipa320 / RosTooling
  ☆34Updated 10 months ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆100Updated 8 months ago
• ASSERT-KTH / assert-gold-mine
  This is an informal repo for ASSERT teammates to share awesome stuff.
  ☆21Updated 2 months ago
• aliasrobotics / ros2_fuzzer
  ☆25Updated 4 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated 7 months 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
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆30Updated last week
• gittrends-app / github-proxy-server
  A tool for massive data collection from GitHub APIs (Rest and GraphQL)
  ☆19Updated 9 months ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆91Updated last year
• verivital / behaverify
  behavior tree verification
  ☆15Updated this week
• jodavimehran / code-tracker
  ☆20Updated last week
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆42Updated last year
• cmu-rss-lab / rosdiscover
  ☆17Updated last year
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆117Updated last year
• wei-le / programanalysiscourse
  COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
  ☆30Updated last year
• STAMP-project / test-runner
  test driver to run JUnit tests isolated in a new JVM
  ☆16Updated 6 months ago