Validation und Verifikation von Software durch symbolische Ausführung.
Ralf KneuperPublished in: Testen, Analysieren und Verifizieren von Software (1992)
Keyphrases
- computer systems
- software development
- software systems
- software architecture
- software design
- software maintenance
- commercial software
- high level
- software tools
- test cases
- model validation
- analysis tool
- development process
- real time
- operating system
- source code
- bayesian networks
- web services
- information systems
- data mining