Keywords of "Formal test-case generation for UML statecharts"
- Label
- Keywords of "Formal test-case generation for UML statecharts" (literal)
- Parole chiave di "Formal test-case generation for UML statecharts" (literal)
- Insieme di parole chiave di
- Formal test-case generation for UML statecharts (Contributo in atti di convegno) (Prodotto della ricerca)
- Ha membro
- Formal Testing Theories (Parola chiave)
- D.2.5 Testing and Debugging (Parola chiave)
- UML (Parola chiave)
- Automatic Test Case Generation (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Formal test-case generation for UML statecharts (Contributo in atti di convegno) (Prodotto della ricerca)
- Membro di
- D.2.5 Testing and Debugging (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
- UML (Parola chiave)
- Formal Testing Theories (Parola chiave)
- Automatic Test Case Generation (Parola chiave)