In this paper, we report our industrial experience applying concolic testing to automotive software developed by Hyundai Mobis. We have developed an automated ...

In this paper, we report our industrial experience applying concolic testing to automotive software developed by Hyundai. Mobis. We have developed an automated ...

In this paper, we report our industrial experience applying concolic testing to automotive software developed by Hyundai Mobis. We have developed an automated ...

By applying automated testing techniques, MAESTRO can achieve high test coverage for automotive software with significantly reduced manual testing effort.

They concluded that "MAESTRO can achieve high test coverage for automotive software with significantly reduced manual testing effort" [27] . ... ... They want ...

Jul 1, 2020 · MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry.

Apr 25, 2024 · Concolic testing for high test coverage and reduced human effort in automotive industry. ICSE (SEIP) 2019: 151-160; 2016. [j6]. view. electronic ...

Automation White-box SW Testing. Contributions. 2019. ICSE. Author of Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry ...

Concolic testing for high test coverage and reduced human effort in automotive industry. Y Kim, D Lee, J Baek, M Kim. 2019 IEEE/ACM 41st International ...

Sep 25, 2019 · Furthermore, it significantly reduced the cost of coverage testing by reducing the manual effort for coverage testing by 58.8%. Conclusion: By ...