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
- A curated list of awesome papers that study energy efficiency for mobile applications.☆23Updated 2 years ago
- An R package for mining software repositories☆22Updated last week
- ☆23Updated 9 months ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆13Updated 5 years ago
- Open science policies for SIGSOFT venues☆13Updated last year
- Tools and standards for conducting and evaluating research in software engineering☆306Updated 2 weeks ago
- Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University☆133Updated last year
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆30Updated this week
- This Complete Guide Is About To Help Better Understand The Importance of Monitoring Software Energy Consumption & How To Do It.☆13Updated last month
- A dataset of 200+ bugs in the Robot Operating System for BugZoo☆35Updated last year
- ☆53Updated last week
- ☆11Updated 2 years ago
- Deadline countdowns for academic conferences in Software Engineering☆41Updated 2 weeks ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- A tool for massive data collection from GitHub APIs (Rest and GraphQL)☆17Updated 7 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- ☆29Updated last month
- This projects mines maven central and creates a global dependency graph☆32Updated 2 years ago
- A library to facilitate the static analysis of Android apps☆14Updated 8 months ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 8 months ago
- ☆17Updated last year
- An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.☆116Updated last year
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- AppDoctor☆15Updated 8 years ago
- Multi-Objective GP for Automated Repair of Java☆43Updated 2 years ago
- GI in No Time - a Simple Microframework for Genetic Improvement☆44Updated 4 months ago
- 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
- ROSMonitoring: a Runtime Verification Framework for ROS☆39Updated 2 months ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year