Adaptive Model Checking (Q3424119)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Adaptive Model Checking |
scientific article |
Statements
Adaptive Model Checking (English)
0 references
15 February 2007
0 references
black box testing
0 references
learning regular languages
0 references
model checking
0 references