This document provides an overview of symbolic execution and concolic testing techniques. It introduces the author and their background. It then discusses black-box versus white-box testing approaches. Several symbolic execution and concolic testing tools are described, including CUTE, KLEE, CREST, CREST-BV, Mayhem, BitBlaze, BuzzFuzz, and AEG. Finally, it briefly mentions code reuse and clone detection techniques.