Login / Signup

Enhancing Euro NCAP Standards with Metamorphic Testing for Verification of Advanced Driver-Assistance Systems.

Muhammad IqbalJia Cheng HanZhi Quan ZhouDave 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