Integrating formal methods with testing for reliability estimation of component based systems.

Debasmita Lohar, Soumyajit Dey

Browse the full ISSRE paper archive.