Test-based falsification and conformance testing for cyber-physical systems