Keywords
| taxonomy (1) | temporal logic (1) | termination (1) |
| Test classification (1) | test comparator (1) | test coverage (1) |
| test evaluation (1) | test generation (1) | testing (2) |
| time (1) | tool contest (1) | tool integration (1) |
| Tool support (1) | traceability (2) | Trans-IMA (1) |
| transformation generation (1) | transformation rule derivation (1) | type checking (5) |
