qrxqrx Goto Github PK

2021-automatedsoftwaretesting

Experimental objects for implementation in program analysis direction.

2021ast_impl_topics

Implementation topics for Automated Software Testing course 2021

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

actions-njuhealthreport

自动完成 NJU 每日健康填报（Github Actions），So easy

afl

american fuzzy lop - a security-oriented fuzzer

aflplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

aflpp-dipri

A extended AFL++ with distance-based seed prioritization, i.e., DiPri

alphuzz

The implementation of Alphuzz

angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

ara

Agile Regression Analyzer

ats

Atom Test Slicer demo using wala

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

book-doc

books and docments

checker-framework

Pluggable type-checking for Java

cisco_acl

Python module for working with Cisco ACLs

comfort

cs_books

Computer science books Recommended by AzatAI. (Education ONLY)

data-science-notes

数据科学的笔记以及资料搜集

deepstate

A unit test-like interface for fuzzing and symbolic execution

dipri-artifacts

Artifacts of TOSEM'23 submission: *DiPri: Distance-based Seed Prioritization for Greybox Fuzzing*

dtdetector

Tool for "Empirically Revisiting the Test Independence Assumption", ISSTA'14.

easy-coverage

A simple clover.xml parser.

easy-mutation

A simple mutation test result parser.

ebooks-shared

:book: Ebook share

ehbdroid

EHBDroid is an effective and efficient Android Testing tool based on the idea of "event-handler-based" testing. Please cite the following paper if you use this tool: Wei Song, Xiangxing Qian, and Jeff Huang. EHBDroid: Beyond GUI Testing for Android Applications. ASE 2017.

evosuite

EvoSuite - automated generation of JUnit test suites for Java classes

fuck-nju-oj

南京大学软件学院《高级算法》2019课程OJ题目代码

fufuzz-artifacts

fuzz-mut-demos

Demos of mutation testing and fuzz testing prepared for the Software Testing Course of NJU Software Institute.