Combination of Assertion and HSAT Methods For Automated Test Vectors Generation.

Mostafa Naderi, Zainalabedin Navabi

Browse the full FDL paper archive.