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/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
alipourm/AppStoreCrawlers
alipourm/ase17
"Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis", In ASE 2017
alipourm/bytecode-examples
Java Bytecode Engineering Examples & Tutorials
alipourm/byteman
Byteman Project main repo
alipourm/cassandra-dtest
Cassandra Distributed Tests
alipourm/cbmc
C Bounded Model Checker
alipourm/Deepthought
Telegram Client written in Java to support multiple custom implementations
alipourm/deflaker
alipourm/DeveloperInteractionLogs
alipourm/evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
alipourm/funfuzz
JavaScript engine & DOM fuzzers
alipourm/GatherDataPlugin
Research Project
alipourm/GloVe
GloVe model for distributed word representation
alipourm/guided-random-testing
Guided Random Testing using Suppression Data
alipourm/junit
A programmer-oriented testing framework for Java.
alipourm/junit-lambda
Prototype for the next generation of JUnit, codenamed "JUnit Lambda".
alipourm/learning_to_execute
Learning to Execute
alipourm/openpilot
open source driving agent
alipourm/politeness
Sample implementation of a politeness model, trained on the Stanford Politeness Corpus
alipourm/poodr
Practical Object-Oriented Design in Ruby
alipourm/research
dataset and code for 2016 paper "Learning a Driving Simulator"
alipourm/SGPlugin
alipourm/statement-history
Finding when a statement changes
alipourm/test-reduction
Non-adequate test reduction
alipourm/travistorrent-tools
Tools used to create the data on TravisTorrent (http://travistorrent.testroots.org).
alipourm/TypeChef
Type checking ifdef variability
alipourm/undefined-mutants
alipourm/whyline
The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
alipourm/yaffstest
Testing Framework for YAFFS2.