Stanislav-Sartasov / Navitas-Framework
An open-source power profiling framework for Android
☆12Updated 2 years ago
Alternatives and similar repositories for Navitas-Framework:
Users that are interested in Navitas-Framework are comparing it to the libraries listed below
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆13Updated 5 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- A curated list of awesome papers that study energy efficiency for mobile applications.☆23Updated last year
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- An R package for mining software repositories☆22Updated last month
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- An automated fault localization tool for Python programs.☆22Updated 2 months ago
- 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
- A tool to instrument Android APKs based on Soot☆15Updated 4 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- This projects mines maven central and creates a global dependency graph☆32Updated 2 years ago
- This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.☆29Updated 2 years ago
- ☆54Updated 3 years ago
- ROSMonitoring: a Runtime Verification Framework for ROS☆37Updated 5 months ago
- A tool for massive data collection from GitHub APIs (Rest and GraphQL)☆18Updated 4 months ago
- Building Training Datasets for Deep Learning Models in Software Engineering and Empirical Software Engineering Research☆19Updated 6 months ago
- Energy measurement framework for Mobile Apps☆13Updated 4 years ago
- ☆16Updated 6 months ago
- A framework for testing compilers' type checkers☆17Updated 2 months ago
- Open science policies for SIGSOFT venues☆12Updated 10 months ago
- ☆15Updated 5 years ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆11Updated last year
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆41Updated 11 months ago
- Scalpel: The Python Static Analysis Framework☆300Updated 9 months ago
- This is an informal repo for ASSERT teammates to share awesome stuff.☆21Updated 2 months ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆39Updated 11 months ago
- Official repository for PraPR source code☆14Updated 3 years ago
- A database of crash (exception) bugs for Android apps☆20Updated last year
- ☆18Updated 3 weeks ago
- Open paper reading club @ JetBrains☆36Updated 3 months ago