location: Current position: Home >> Scientific Research >> Paper Publications

Software reliability test based on markov usage model

Hits:

Date of Publication:2022-10-08

Journal:软件学报

Affiliation of Author(s):软件学院

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