A. Wakankar, Arindam Khan, G. Aravamuthan, A. K. Bhattacharjee. Experience with testing and rigorous program analysis for qualification of RTOS. In Sugata Ghosal, Gautam Shroff, Satish Chandra, Nachiappan Nagappan, editors, 6th India Software Engineering Conference, ISEC '13, New Delhi, India - February 21 - 23, 2013. pages 83-89, ACM, 2013. [doi]
Abstract is missing.