Table of Contents Author Guidelines Submit a Manuscript
The Scientific World Journal
Volume 2014, Article ID 731041, 12 pages
Research Article

Real-Time Extended Interface Automata for Software Testing Cases Generation

1School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China
2Science & Technology on Reliability & Environmental Engineering Laboratory, Beijing 100191, China

Received 8 March 2014; Accepted 1 April 2014; Published 29 April 2014

Academic Editor: Guiwu Wei

Copyright © 2014 Shunkun Yang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Citations to this Article [2 citations]

The following is the list of published articles that have cited the current article.

  • Bo Wang, Xiao-Ying Bai, Chao Zhang, Fei He, and Xiao-Yu Song, “Test case generation for embedded software using interface automata and symbolic execution,” Jisuanji Xuebao/Chinese Journal of Computers, vol. 38, no. 11, pp. 2125–2144, 2015. View at Publisher · View at Google Scholar
  • Wenguang Chen, Xiaoyu Song, Bo Wang, and Xiaoying Bai, “Temporal test generation for embedded system based on correlation analysis of timing constraints,” Communications in Computer and Information Science, vol. 675, pp. 211–226, 2016. View at Publisher · View at Google Scholar