Verification and validation of high integrity software generated by automatic code generators.

V. N. Malepati, H. Li, Krishna R. Pattipati, Somnath Deb, Ann Patterson-Hine

Browse the full SMC paper archive.