Metamorphic testing of Advanced Driver-Assistance System (ADAS) simulation platforms: Lane Keeping Assist System (LKAS) case studies
Muhammad Iqbal, Jia Cheng Han, Zhi Quan Zhou, Dave Towey, Tsong Yueh Chen
Topics & Concepts
Advanced driver assistance systemsOracleComputer scienceCorrectnessAutomotive industrySoftwareEmbedded systemTransformation (genetics)SimulationEngineeringArtificial intelligenceSoftware engineeringAlgorithmProgramming languageAerospace engineeringChemistryBiochemistryGeneSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchFormal Methods in Verification