Hybrid Intelligent Testing in Simulation-Based Verification.

Nyasha Masamba Kerstin Eder Tim Blackmore

Published in: CoRR (2022)

Keyphrases

hybrid intelligent
expert systems
symbolic execution
formal verification
test generation
model checking
neural network
test cases
software testing
computer vision
mobile robot
database
web services
database systems
formal methods