Based on the author's real-world development experiences, this text shows developers how to make sure the code that they write actually works as expected, and how to make these verifications as automated as possible.