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
  ☆26Updated 4 months ago
• ucr-riple / AndroidSlicer
  AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.
  ☆13Updated 6 years ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆312Updated 2 weeks ago
• luiscruz / awesome-mobile-app-energy-papers
  A curated list of awesome papers that study energy efficiency for mobile applications.
  ☆23Updated 2 years ago
• JordanSamhi / AndroSpecter
  A library to facilitate the static analysis of Android apps
  ☆15Updated 2 months ago
• MatHeartGaming / G-Repo
  GUI for GHRepoSearcher. It allows to search online repositories on github.
  ☆10Updated 3 years ago
• git-afsantos / haros
  H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
  ☆195Updated 9 months ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆63Updated 3 years ago
• tdurieux / EnergiBridge
  ☆28Updated last year
• skhatiri / UAV-Testing-Competition
  Tool Competion on Testing Unmanned Aerial Vehicles
  ☆13Updated this week
• autonomy-and-verification-uol / ROSMonitoring
  ROSMonitoring: a Runtime Verification Framework for ROS
  ☆43Updated 7 months ago
• TestingResearchIllinois / starts
  STARTS - A tool for STAtic Regression Test Selection
  ☆30Updated last year
• JetBrains-Research / Matroskin
  A library for the large scale analysis of Jupyter notebooks
  ☆21Updated 2 years ago
• wei-le / programanalysiscourse
  COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
  ☆30Updated last year
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆121Updated last year
• se-deadlines / se-deadlines.github.io
  Deadline countdowns for academic conferences in Software Engineering
  ☆47Updated 2 weeks ago
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆47Updated last year
• tum-i4 / deadlines
  Deadline countdowns for academic conferences relevant to the SSE chair.
  ☆11Updated 3 weeks ago
• SERG-Delft / serg-delft.github.io
  SERG web site
  ☆10Updated 2 weeks ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• bvasiles / empirical-methods
  Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University
  ☆138Updated last year
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System with Docker containers
  ☆35Updated last year
• woc-hack / tutorial
  ☆56Updated 4 months ago
• dynodroid / dynodroid
  Automatic Input Generation System for Android Apps
  ☆36Updated 5 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated 10 months ago
• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated last year
• atom-sw / fauxpy
  An automated fault localization tool for Python programs.
  ☆29Updated 3 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 8 months ago
• yixin-09 / AutoRNP
  AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries
  ☆11Updated 6 years ago
• sola-da / StaticBugCheckers
  StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…
  ☆11Updated 6 years ago