From typestate verification to interpretable deep models (invited talk abstract).

Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay

Browse the full ISSTA paper archive.