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

Software reliability test based on markov usage model

Release Time:2022-11-02  Hits:

Date of Publication: 2022-10-08

Journal: 软件学报

Institution: 软件学院

Volume: 7

Issue: 9

Page Number: 2061-2068

ISSN: 1796-217X

Prev 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