Testing, Verification and Improvements of Timeliness in ROS processes.

Mohammed Y. Hazim Hongyang Qu Sandor M. Veres

Published in: CoRR (2016)

Keyphrases

test set
test data
test cases
test generation
training data
symbolic execution
model checking
formal analysis
information technology
web services
website
information systems
real world
test suite
static analysis
signature verification
formal verification
data sets
real time