|
Volumn 30, Issue 10, 2000, Pages 1095-1106
|
Generating transition probabilities to support model-based software testing
|
Author keywords
[No Author keywords available]
|
Indexed keywords
CONSTRAINT THEORY;
ITERATIVE METHODS;
MARKOV PROCESSES;
MATHEMATICAL MODELS;
MATHEMATICAL PROGRAMMING;
MATRIX ALGEBRA;
PROBABILITY;
SOFTWARE ENGINEERING;
MODEL BASED TESTING;
TEST AUTOMATION;
TEST PLANNING;
TRANSITION PROBABILITIES;
COMPUTER SOFTWARE SELECTION AND EVALUATION;
|
EID: 0034245469
PISSN: 00380644
EISSN: None
Source Type: Journal
DOI: 10.1002/1097-024X(200008)30:10<1095::AID-SPE328>3.0.CO;2-H Document Type: Article |
Times cited : (37)
|
References (12)
|