PINCETTE - Validating changes and upgrades in networked software.

Hana Chockler

Browse the full FMCAD paper archive.