chen-zehua

西安交通大学计算机科学与技术在读硕士研究生，主要研究方向为软件测试、符号执行及程序分析等。

Xi'an Jiao Tong UniversityXi'an,Shaanxi,China

Pinned Repositories

bachelor-project
Identify coincidential correctness in fault localization.
Language:Java00
convert-ebook
转换电子书格式(azw3、epub、mobi)
Language:Python00
ERAS
ERAS工具是论文Explaining Regression via Alignment Slicing 方法的实现。该文档说明ERAS工具的使用方法、使用注意事项以及测试对象应该满足的条件等。
Language:Java00
jpf-directed-symbc
The directed symbolic execution implementation based on SPF
Language:Java00
jpf-symbc
The symbolic execution extension for Java PathFinder
Language:Java00
pyinstxtractor
PyInstaller Extractor
Language:Python00
python-exe-unpacker
A helper script for unpacking and decompiling EXEs compiled from python code.
Language:Python00

chen-zehua/python-exe-unpacker
A helper script for unpacking and decompiling EXEs compiled from python code.
Language:Python
chen-zehua/pyinstxtractor
PyInstaller Extractor
chen-zehua/convert-ebook
转换电子书格式(azw3、epub、mobi)
chen-zehua/jpf-symbc
The symbolic execution extension for Java PathFinder
Language:Java
chen-zehua/jpf-directed-symbc
The directed symbolic execution implementation based on SPF
Language:Java
chen-zehua/ERAS
ERAS工具是论文Explaining Regression via Alignment Slicing 方法的实现。该文档说明ERAS工具的使用方法、使用注意事项以及测试对象应该满足的条件等。
Language:Java
chen-zehua/bachelor-project
Identify coincidential correctness in fault localization.
Language:Java