Verification, Testing and Statistics.

Aditya V. Nori, Sriram K. Rajamani

Browse the full TAP paper archive.