Jifeng Wu's Personal Website

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. What is the problem being tackled?Findi

NOTE: This is a Paper Reading for Advanced Software Engineering. The original paper can be found here. What were the primary contributions of the paper as the author sees it? How does this work move t

NOTE: The terms “language” and “word” are used metaphorically in this document. A “language” often has many “words”, and the frequency of each “word” varies. If a “language” $X$ has a total of $n$ “wo

NOTE: This is a Paper Reading for Advanced Software Engineering. The original paper can be found here. What were the primary contributions of the paper as the author sees it? A catalog of 44 types of

NOTE: This is a Paper Reading for Advanced Software Engineering. The original paper can be found here. What were the primary contributions of the paper as the author sees it? How does this work move t

NOTE: This is a Paper Reading for Advanced Software Engineering. The original paper can be found here. How does this work move the research forward?What were the primary contributions of the paper as

NOTE: This is a Paper Reading for Advanced Software Engineering. The original paper can be found here. How does this work move the research forward?What were the primary contributions of the paper as

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. “An empirical study of the reliability