Pinned Repositories
AFL
american fuzzy lop - a security-oriented fuzzer
aflfast
AFLFast (extends AFL with Power Schedules)
cbmcmutate
mutation testing meets model checking
cmutate
C mutation tool. A fork of Jamie Andrew's code
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
fuzz
Clone of Bart Miller Fuzzer
pitest-personalized
A personalized version of pitest
pl-course
teaching-fall2018
testevol2
alipourm's Repositories
alipourm/pl-course
alipourm/teaching-fall2018
alipourm/cbmcmutate
mutation testing meets model checking
alipourm/scholarly
Retrieve author and publication information from Google Scholar in a friendly, Pythonic way
alipourm/SDfall2017
alipourm/Alexa-SMAPI-Tester
Allows (partly) automated testing of Alexa skills using Alexa SMAPI
alipourm/anonymizer
alipourm/AppReviewAnalysis
Files and Programs for Analysis of App Data Reviews
alipourm/cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS
alipourm/code2inv
Code2Inv: Learning Loop Invariants for Program Verification
alipourm/code2seq
Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"
alipourm/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
alipourm/dbdc3
alipourm/Deckard
Code clone detection; clone-related bug detection; sematic clone analysis
alipourm/deepxplore
DeepXplore code release
alipourm/delta-debugging
Debugging library to quickly get the minimal crashing test case
alipourm/demo
alipourm/ethereum-etl
Python scripts for ETL (extract, transform and load) jobs for Ethereum blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transactions
alipourm/fastsmt
Learning to Solve SMT Formulas Fast
alipourm/func2vec-fse2018-artifact
alipourm/Generalization_and_Memorization_DNN
alipourm/grcov
Rust tool to collect and aggregate code coverage data for multiple source files
alipourm/ImageCaptioningAttack
Show-and-Fool: Adversarial Examples for Image Captioning task
alipourm/JANA
Java Numeric ANalysis
alipourm/java-smt
JavaSMT - Unified Java API for SMT solvers.
alipourm/jgit-cookbook
Provides examples and code snippets for the JGit Java Git implementation
alipourm/randoop
Automatic test generation for Java
alipourm/singularity
Singularity: Application containers for Linux
alipourm/TaskLights
Better Timeboxing with Lights
alipourm/tweets_analyzer
Tweets metadata scraper & activity analyzer