NGHIEM TRUONG X

System and method for feedback-guided test generation for cyber-physical systems using monte-carlo