A generic formal framework for protocol interoperability test and test cases minimization

  • Authors:
  • Ning Zhong;Zun-wen He;Jing-ming Kuang

  • Affiliations:
  • Beijing Institute of Technology, Beijing.China;Beijing Institute of Technology, Beijing.China;Beijing Institute of Technology, Beijing.China

  • Venue:
  • Proceedings of the 3rd international workshop on Automation of software test
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract