Using the NuSMV Model Checker for Test Generation from Statecharts.
| Autor: | Kadono, M., Tsuchiya, T., Kikuno, T. |
|---|---|
| Zdroj: | 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing; 2009, p37-42, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|