Stanislav-Sartasov / Navitas-Framework
An open-source power profiling framework for Android
☆12Updated 2 years ago
Related projects: ⓘ
- An R package for mining software repositories☆18Updated this week
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆13Updated 5 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆60Updated 2 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- An automated fault localization tool for Python programs.☆21Updated last month
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆39Updated 7 months ago
- ☆70Updated 6 years ago
- A database of crash (exception) bugs for Android apps☆20Updated 8 months ago
- Ptidej v5.2☆9Updated 6 years ago
- Open science policies for SIGSOFT venues☆12Updated 6 months ago
- ☆11Updated last year
- A curated list of awesome papers that study energy efficiency for mobile applications.☆22Updated last year
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆27Updated 10 months ago
- WASP Research Arena for Software☆13Updated 2 years ago
- ☆52Updated 3 years ago
- Tools and standards for conducting and evaluating research in software engineering☆289Updated 2 weeks ago
- Automatic Input Generation System for Android Apps☆36Updated 4 years ago
- EHBDroid is an effective and efficient Android Testing tool based on the idea of "event-handler-based" testing. Please cite the followi…☆17Updated 5 years ago
- A framework for testing compilers' type checkers☆17Updated this week
- Analyze the history of Android code smells at scale.☆14Updated last year
- KLEE with floating point support (unmaintained)☆18Updated 2 years ago
- Tool to determine metrics for specified npm packages and/or JavaScript github repos☆13Updated 11 months ago
- Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University☆123Updated 6 months ago
- ☆21Updated last week
- Binary Instrumentation of Android Apps☆69Updated 8 years ago
- ☆13Updated 7 years ago
- Deadline countdowns for academic conferences in Software Engineering☆14Updated this week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆141Updated last year
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆28Updated last week