QUEBS: Qualifying Event Based Search in Concolic Testing for Validation of RTL Models.

Alif Ahmed Prabhat Mishra

Published in: ICCD (2017)

Keyphrases

search algorithm
statistical models
search efficiency
model validation
search space
complex systems
data mining
genetic algorithm
video sequences
relational databases
probabilistic model
markov random field
event detection
search strategy
search queries