raye's starred repositories
Fastbot_Android
Fastbot(2.0) is a model-based testing tool for modeling GUI transitions to discover app stability problems
analyzing_github
Analyzing GitHub with BigQuery and other tools
AndroidSlicer
AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.
Astor4Android
Astor4Android is an adaptation of the original Astor to work with Android applications.
Android-specific-Crash-Bugs
A dataset of Android-specific crash bugs.
genprog-code
GenProg: heuristic, GP-based automatic program repair for C.
coffeecatch
CoffeeCatch, a tiny native POSIX signal catcher (especially useful for JNI code on Android/Dalvik)
user_quality
Dataset for Software Evolution and Quality Improvement
document_summaries
CS182 Final Project: Summarizing Text Documents
RecursiveNN
Tensorflow implementation of Recursive Neural Networks using LSTM units