Zijing Yin

Latest

• Building Dynamic System Call Sandbox with Partial Order Analysis
• Empirical Evaluation of Smart Contract Testing: What is the Best Choice?