Login / Signup
Enhancing Euro NCAP Standards with Metamorphic Testing for Verification of Advanced Driver-Assistance Systems.
Muhammad Iqbal
Jia Cheng Han
Zhi Quan Zhou
Dave Towey
Published in:
MET@ICSE (2021)
Keyphrases
</>
advanced driver assistance systems
formal verification
test generation
symbolic execution
model checking
web services
test cases
vehicle detection
computer vision