NAME

王洁

Paper Publications

Software reliability test based on markov usage model
  • Hits:
  • First Author:

    Frank Zhou

  • Correspondence Author:

    Wang X.,houguangfeng,Wang Jie,Ai S.

  • Date of Publication:

    2022-10-08

  • Journal:

    软件学报

  • Affiliation of Author(s):

    软件学院

  • Document Type:

    J

  • Volume:

    7

  • Issue:

    9

  • Page Number:

    2061-2068

  • ISSN No.:

    1796-217X

Pre One:Real-Time System Fault-Tolerant Scheme Based on Improved Chaotic Genetic Algorithm

Next One:Software verification acceleration by integrating theorem proving and model checking