C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated Activation of Multiple Targets in RTL Models using Concolic Testing.
Yangdi Lyu
Alif Ahmed
Prabhat Mishra
Published in:
DATE (2019)
Keyphrases
</>
multiple targets
visual tracking
real time
video sequences
data association