zyf0726

Peking UniversityChina

Pinned Repositories

HeapSyn
Language:Java00
heapsyn-benchmarks
Language:Java00
heapsyn-sushi-experiments
Language:Java00
ICS-Labs
Language:C0 0 00
jbse
A symbolic Java virtual machine for program analysis, verification and test generation
Language:Java00
JOS2019
Language:C00
MSeqSynth
Language:Java00
sushi
The SUSHI test case generator
Language:Java00
Tetris
Language:C++10
zyf0726.github.io
Language:HTML00

zyf0726's Repositories

zyf0726/Tetris
Language:C++10
zyf0726/HeapSyn
Language:Java00
zyf0726/heapsyn-benchmarks
Language:Java00
zyf0726/heapsyn-sushi-experiments
Language:Java00
zyf0726/ICS-Labs
Language:C0 0 00
zyf0726/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
Language:Java00
zyf0726/JOS2019
Language:C00
zyf0726/MSeqSynth
Language:Java00
zyf0726/sushi
The SUSHI test case generator
Language:Java00
zyf0726/zyf0726.github.io
Language:HTML00