Stanislav-Sartasov / Navitas-FrameworkLinks
An open-source power profiling framework for Android
☆12Updated 3 years ago
Alternatives and similar repositories for Navitas-Framework
Users that are interested in Navitas-Framework are comparing it to the libraries listed below
Sorting:
- An R package for mining software repositories☆25Updated 3 months ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆13Updated 6 years ago
- H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.☆195Updated 8 months ago
- A dataset of 200+ bugs in the Robot Operating System with Docker containers☆35Updated last year
- An automatic fuzzing tool for ROS 2 C++ projects☆16Updated 4 years ago
- Tools and standards for conducting and evaluating research in software engineering☆312Updated 3 weeks ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- Deadline countdowns for academic conferences in Software Engineering☆46Updated last month
- A library to facilitate the static analysis of Android apps☆15Updated last month
- 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
- ☆36Updated 3 years ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆47Updated last year
- ROSMonitoring: a Runtime Verification Framework for ROS☆42Updated 6 months ago
- This projects mines maven central and creates a global dependency graph☆32Updated 3 years ago
- Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University☆136Updated last year
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- A vulnerability patch gathering tool☆43Updated 6 years ago
- ☆55Updated 3 months ago
- Open paper reading club @ JetBrains☆38Updated 10 months ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆99Updated 9 months ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆81Updated last year
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆63Updated 3 years ago
- ☆17Updated last year
- Benchmarking suite to evaluate 🤖 robotics computing performance. Vendor-neutral. ⚪Grey-box and ⚫Black-box approaches.☆171Updated last year
- ☆12Updated 2 years ago
- An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.☆121Updated last year
- A curated list of awesome papers that study energy efficiency for mobile applications.☆23Updated 2 years ago
- Tool for Automatically Executing Experiments on Robotics Software☆29Updated last year
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆31Updated last week