On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems.
Franz WotawaPublished in: SafeAI@AAAI (2021)
Keyphrases
- expert systems
- intelligent systems
- data sets
- preprocessing
- classification systems
- artificial intelligence
- formal verification
- significant improvement
- test cases
- test data generation
- software tools
- statistical tests
- software components
- machine learning methods
- model checking
- retrieval systems
- software systems
- knowledge based systems
- computer systems
- computational intelligence
- information systems
- machine learning