An Approach for Specification based Testing for Platforms. - Ranzan Nadaf; R. P. Jagadeesh Chandra Bose; Pranav Singh (IASTED Conf. on Software Engineering, 2006)