Giters
zyf0726

zyf0726

Geek Repo

6

followers

1

following

17

stars

Company:Peking University

Location:China

Github PK Tool:Github PK Tool

zyf0726's repositories

zyf0726.github.io

Language:HTMLStargazers:0Issues:0Issues:0

MSeqSynth

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

sushi

The SUSHI test case generator

Language:JavaStargazers:0Issues:0Issues:0

HeapSyn

Language:JavaStargazers:0Issues:0Issues:0

heapsyn-sushi-experiments

Language:JavaStargazers:0Issues:0Issues:0

heapsyn-benchmarks

Language:JavaStargazers:0Issues:0Issues:0

jbse

A symbolic Java virtual machine for program analysis, verification and test generation

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

JOS2019

Language:CStargazers:0Issues:0Issues:0

ICS-Labs

Language:CStargazers:0Issues:0Issues:0

Tetris

Language:C++Stargazers:1Issues:0Issues:0