Alternatives and similar repositories for Navitas-Framework

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

• luiscruz / awesome-mobile-app-energy-papers
  A curated list of awesome papers that study energy efficiency for mobile applications.
  ☆23Updated 2 years 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
• sailuh / kaiaulu
  An R package for mining software repositories
  ☆26Updated last month
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆318Updated 3 months ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆65Updated 4 years ago
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆127Updated 2 years ago
• autonomy-and-verification-uol / ROSMonitoring
  ROSMonitoring: a Runtime Verification Framework for ROS
  ☆44Updated 9 months ago
• dspinellis / awesome-msr
  A curated repository of software engineering repository mining data sets
  ☆458Updated last month
• TestingResearchIllinois / starts
  STARTS - A tool for STAtic Regression Test Selection
  ☆31Updated last year
• albertogoffi / toradocu
  Toradocu - automated generation of test oracles from Javadoc documentation
  ☆44Updated last year
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System with Docker containers
  ☆36Updated last year
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆101Updated last year
• jodavimehran / code-tracker
  ☆22Updated last week
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆49Updated last year
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆86Updated last year
• tsantalis / JDeodorant
  JDeodorant
  ☆146Updated 11 months ago
• gittrends-app / github-proxy-server
  A tool for massive data collection from GitHub APIs (Rest and GraphQL)
  ☆20Updated last year
• tianxiaogu / ape
  ☆56Updated 4 years ago
• clowee / The-Technical-Debt-Dataset
  ☆30Updated 3 years ago
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆97Updated last year
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• se-deadlines / se-deadlines.github.io
  Deadline countdowns for academic conferences in Software Engineering
  ☆62Updated 3 weeks ago
• electricalwind / data7
  A vulnerability patch gathering tool
  ☆44Updated 6 years ago
• git-afsantos / haros
  H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
  ☆196Updated last year
• tingsu / Stoat
  Stoat (STochastic model App Tester) - an automatic testing tool for android apps
  ☆153Updated 2 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 5 months ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆71Updated 2 years ago
• JetBrains / reading-club
  Open paper reading club @ JetBrains
  ☆38Updated last year
• JordanSamhi / AndroSpecter
  A library to facilitate the static analysis of Android apps
  ☆15Updated 4 months ago
• gliga / ekstazi
  Software testing optimization tool
  ☆34Updated last year