Login / Signup
Demo abstract: AutoPlug - An automotive test-bed for ECU testing, validation and verification.
Utsav Drolia
Zhenyan Wang
Srinivas Vemuri
Madhur Behl
Rahul Mangharam
Published in:
IPSN (2011)
Keyphrases
</>
test bed
computer vision systems
test generation
symbolic execution
formal verification
model checking
space station
test beds
genetic algorithm
test data
higher level
case study
software testing
formal methods
test cases
vision system
trust management
low level
model based testing
neural network