Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation.
| Autor: | Carvalho, Cassia de Souza, Tsuchiya, Tatsuhiro |
|---|---|
| Zdroj: | 2014 Second International Symposium on Computing & Networking; 2014, p596-598, 3p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|