A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence.
Justus RenkhoffKe FengMarc Meier-DoernbergAlvaro VelasquezHoubing Herbert SongPublished in: IEEE Trans. Artif. Intell. (2024)
Keyphrases
- artificial intelligence
- test generation
- formal verification
- symbolic execution
- intelligent systems
- model based testing
- knowledge representation
- computational intelligence
- ai systems
- test cases
- model checking
- cognitive science
- machine learning
- software engineering
- expert systems
- formal methods
- engineering design
- knowledge based systems
- ai methods
- information systems
- heuristic evaluation
- formal analysis
- signature verification
- web intelligence
- java card
- usability testing
- asynchronous circuits
- ai technologies
- case based reasoning