On optimality of one‐bug‐look‐ahead policies for a software testing model (Q5433537)
From MaRDI portal
scientific article; zbMATH DE number 5224403
Language | Label | Description | Also known as |
---|---|---|---|
English | On optimality of one‐bug‐look‐ahead policies for a software testing model |
scientific article; zbMATH DE number 5224403 |
Statements
On optimality of one‐bug‐look‐ahead policies for a software testing model (English)
0 references
9 January 2008
0 references
martingale
0 references
software reliability
0 references