chen-zehua
西安交通大学计算机科学与技术在读硕士研究生,主要研究方向为软件测试、符号执行及程序分析等。
Xi'an Jiao Tong UniversityXi'an,Shaanxi,China
Pinned Repositories
bachelor-project
Identify coincidential correctness in fault localization.
convert-ebook
转换电子书格式(azw3、epub、mobi)
ERAS
ERAS工具是论文Explaining Regression via Alignment Slicing 方法的实现。该文档说明ERAS工具的使用方法、使用注意事项以及测试对象应该满足的条件等。
jpf-directed-symbc
The directed symbolic execution implementation based on SPF
jpf-symbc
The symbolic execution extension for Java PathFinder
pyinstxtractor
PyInstaller Extractor
python-exe-unpacker
A helper script for unpacking and decompiling EXEs compiled from python code.
chen-zehua's Repositories
chen-zehua/python-exe-unpacker
A helper script for unpacking and decompiling EXEs compiled from python code.
chen-zehua/pyinstxtractor
PyInstaller Extractor
chen-zehua/convert-ebook
转换电子书格式(azw3、epub、mobi)
chen-zehua/jpf-symbc
The symbolic execution extension for Java PathFinder
chen-zehua/jpf-directed-symbc
The directed symbolic execution implementation based on SPF
chen-zehua/ERAS
ERAS工具是论文Explaining Regression via Alignment Slicing 方法的实现。该文档说明ERAS工具的使用方法、使用注意事项以及测试对象应该满足的条件等。
chen-zehua/bachelor-project
Identify coincidential correctness in fault localization.