Login / Signup
Automated system for testing and verification of control access kernel functionality in set-top boxes.
Vukota Pekovic
Vladimir Zlokolica
Jan Zloh
Mihajlo Katona
Nikola Teslic
Published in:
ICCE (2012)
Keyphrases
</>
formal verification
symbolic execution
human operators
semi automated
fully automated
support vector
search based testing
dynamic allocation
fully functional
control method
kernel function
control system
information access
data acquisition
model checking
test cases
remote access
feature space
database