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 3 months ago
• JordanSamhi / AndroSpecter
  A library to facilitate the static analysis of Android apps
  ☆15Updated 3 weeks 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
• luiscruz / awesome-mobile-app-energy-papers
  A curated list of awesome papers that study energy efficiency for mobile applications.
  ☆23Updated 2 years ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆312Updated this week
• gittrends-app / github-proxy-server
  A tool for massive data collection from GitHub APIs (Rest and GraphQL)
  ☆20Updated 11 months ago
• autonomy-and-verification-uol / ROSMonitoring
  ROSMonitoring: a Runtime Verification Framework for ROS
  ☆41Updated 5 months ago
• git-afsantos / haros
  H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
  ☆195Updated 8 months ago
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System with Docker containers
  ☆35Updated last year
• rosin-project / ros2_fuzz
  An automatic fuzzing tool for ROS 2 C++ projects
  ☆16Updated 4 years ago
• jharwell / sierra
  Automation framework for the scientific method in AI research
  ☆24Updated this week
• tianxiaogu / ape
  ☆55Updated 4 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆62Updated 3 years ago
• cmu-rss-lab / rosdiscover
  ☆17Updated last year
• pkuoslab / Paladin
  Automated Generation of Reproducible Test Cases for Android Apps
  ☆12Updated 6 years ago
• tdurieux / EnergiBridge
  ☆26Updated last year
• micheletufano / DeepMutation
  ☆12Updated 2 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• ros-realtime / reference-system
  A reference system that simulates real-world systems in order to more fairly compare various configurations of executors and other settin…
  ☆91Updated last year
• dynodroid / dynodroid
  Automatic Input Generation System for Android Apps
  ☆36Updated 5 years ago
• se-deadlines / se-deadlines.github.io
  Deadline countdowns for academic conferences in Software Engineering
  ☆45Updated last week
• bvasiles / empirical-methods
  Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University
  ☆137Updated last year
• seal-hub / CraftDroid
  Test Transfer Across Mobile Apps Through Semantic Mapping (ASE'19)
  ☆8Updated last year
• tingsu / Stoat
  Stoat (STochastic model App Tester) - an automatic testing tool for android apps
  ☆150Updated 2 years ago
• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated last year
• columbia / appdoctor
  AppDoctor
  ☆16Updated 8 years ago
• S2-group / robot-runner
  Tool for Automatically Executing Experiments on Robotics Software
  ☆30Updated last year
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆119Updated last year
• benandow / PrivacyPolicyAnalysis
  This repository holds the code for PolicyLint and PoliCheck, which identifies internal contradictions within privacy policies and analyze…
  ☆59Updated 2 years ago
• albertogoffi / toradocu
  Toradocu - automated generation of test oracles from Javadoc documentation
  ☆42Updated last year