A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence.
Justus RenkhoffKe FengMarc Meier-DoernbergAlvaro VelasquezHoubing Herbert SongPublished in: CoRR (2024)
Keyphrases
- artificial intelligence
- test generation
- symbolic execution
- formal verification
- test cases
- model based testing
- software engineering
- formal methods
- intelligent systems
- knowledge based systems
- knowledge representation
- verification method
- cognitive psychology
- model checking
- heuristic evaluation
- cognitive science
- software testing
- ambient intelligence
- expert systems
- machine learning
- knowledge engineering
- face verification
- static analysis
- real time
- intelligent agents
- artificial life
- test set
- person identification
- model validation
- computer science
- information systems