Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Testing software based on symbolic execution is a promising and ll-researched approach. Recently, various dynamic symbolic execution approaches have been proposed that are of interest for industrial practice. Hover, the corresponding tools are typically not directly usable on model-based languages that are predominantly used in the automotive sector. To this end,  use an internal software analysis framework for model-based, embedded software that allows us to easily integrate various approaches leveraging static and dynamic symbolic execution. In our case study,  describe idiosyncrasies of automotive embedded software and show the benefits of leveraging symbolic information to generate test cases.  study and compare different techniques for generating test cases.  evaluate all techniques empirically on relevant, real-world programs from engine control.
['Andreas Hoffmann', 'Jochen Quante', 'Matthias Woehrle']
I am writing a research paper on a idea Experience Report: White Box Test Case Generation for Automotive Embedded Software
[{"from": "human", "value": "I am writing a research paper on a idea Experience Report: White Box Test Case Generation for Automotive Embedded Software"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Testing software based on symbolic execution is a promising and ll-researched approach. Recently, various dynamic symbolic execution approaches have been proposed that are of interest for industrial practice. Hover, the corresponding tools are typically not directly usable on model-based languages that are predominantly used in the automotive sector. To this end,  use an internal software analysis framework for model-based, embedded software that allows us to easily integrate various approaches leveraging static and dynamic symbolic execution. In our case study,  describe idiosyncrasies of automotive embedded software and show the benefits of leveraging symbolic information to generate test cases.  study and compare different techniques for generating test cases.  evaluate all techniques empirically on relevant, real-world programs from engine control."}]