Cheng's blogs

Sharing my experience.

Paper Reading Notes for More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes

Paper Reading Notes for More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes

1 min read · December 22, 2023

2023 · regression-test-selection · paper-reading
Paper Reading Notes for Translating Natural Language Comments to Formal Program Specifications

Paper Reading Notes for Translating Natural Language Comments to Formal Program Specifications

3 min read · December 12, 2023

2023 · formal-methods · paper-reading
Hackergame 2023 Writeup

记录参加Hackergame 2023的经历以及题解

2 min read · November 20, 2023

2023 · hackergame · experience