This book describes efficient techniques for production testing as well as for periodic maintenance testing (specifically in terms of multi-cell faults) in modern semiconductor memory. Formal methods for multi-run test generation and many solutions to increase their efficiency are described in detail.