A family of test selection criteria for Timed Input-Output Symbolic Transition System models
| Autor: | Moraes, Alan, Andrade, Wilkerson L., Machado, Patrícia D.L. |
|---|---|
| Zdroj: | In Science of Computer Programming 15 September 2016 126:52-72 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect