Jeong Seok Kang, Hong Seong Park. RPIST: Required and provided interface specification-based test case generation and execution methodology for robot software component. In 8th International Conference on Ubiquitous Robots and Ambient Intelligence, URAI 2011, Incheon, Korea (South), November 23-26, 2011. pages 647-651, IEEE, 2011. [doi]
Abstract is missing.