Verification Validation and Testing: Passion and Deployment Challenges in the Italian Eco-System.

Sara Ricciardi Carlo Leardi Luca Stringhetti

Published in: CIISE (2016)

Keyphrases

symbolic execution
test generation
formal verification
key issues
open issues
lessons learned
real world
expert systems
technical challenges
future trends
test cases
model checking
database
decision trees
application scenarios
computer vision
learning algorithm
information retrieval