Mohammad (Amin) Alipour's repositories
cbmcmutate
mutation testing meets model checking
Alexa-SMAPI-Tester
Allows (partly) automated testing of Alexa skills using Alexa SMAPI
AppReviewAnalysis
Files and Programs for Analysis of App Data Reviews
cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS
code2inv
Code2Inv: Learning Loop Invariants for Program Verification
code2seq
Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"
Deckard
Code clone detection; clone-related bug detection; sematic clone analysis
deepxplore
DeepXplore code release
delta-debugging
Debugging library to quickly get the minimal crashing test case
ethereum-etl
Python scripts for ETL (extract, transform and load) jobs for Ethereum blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transactions
fastsmt
Learning to Solve SMT Formulas Fast
grcov
Rust tool to collect and aggregate code coverage data for multiple source files
ImageCaptioningAttack
Show-and-Fool: Adversarial Examples for Image Captioning task
JANA
Java Numeric ANalysis
java-smt
JavaSMT - Unified Java API for SMT solvers.
jgit-cookbook
Provides examples and code snippets for the JGit Java Git implementation
randoop
Automatic test generation for Java
singularity
Singularity: Application containers for Linux
TaskLights
Better Timeboxing with Lights
tweets_analyzer
Tweets metadata scraper & activity analyzer