This page is to post unordered articles, software developments, and software engineering (including several talk slides).

How to prepare technical interviews

This slide is a lecture material that I have used to inform how we can prepare software engineer technical interviews.

Software development life cycle

It includes basic knowledge about software development life cycle.

Code review

It includes why we need code review and basic principles of the code review process. It also contains two simple code review examples with C++.

Software testing and testing frameworks

It includes why we need software testing, kinds of software testings, and introduction to Googletest and Python unittest frameworks.

The necessity and the introduction to formal verification

It includes why we need formal verification, and what formal verification is.