Pathak, R., Kumar Dewan, V. and Bhat, A. 2019. Random verification Strategy for Microcontroller based Subsystems for faster Convergence. EAI Endorsed Transactions on Cloud Systems. 5, 15 (Jul. 2019), e3. DOI:https://doi.org/10.4108/eai.16-7-2019.162214.