Chao Zhang, Xiaoying Bai, Junlong Li, Renwei Zhang. Automated Test Case Generation for Embedded Software Using Extended Interface Automata. In 2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013. pages 292-298, IEEE, 2013. [doi]
Abstract is missing.