Yang-Zhao Li

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Test case generation is essential to software test. Software test efficiency can be greatly improved through test case automatic generation. AADL Behavior Annex is an extension of AADL which can describe detailed behavior of AADL component. In this paper, we discuss a test case automatic generation method based on the AADL Behavior Annex. This method(More)
  • 1