Zhiqiang Zuo

Latest

• Toward More Efficient Statistical Debugging with Abstraction Refinement
• Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation