Rupak Majumdar Indranil Saha 0001 Zilong Wang 0004 Systematic testing for control applications. 1-10 2010 MEMOCODE https://doi.org/10.1109/MEMCOD.2010.5558629 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2010.5558629 conf/memocode/2010 db/conf/memocode/memocode2010.html#MajumdarSW10