Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  presents a technique for fully automated generation of test cases for PLC programs adhering to the IEC 61131-3 standard. While previous methods strive for completeness and therefore struggle with the state explosion  pursue a symbolic execution based approach, dropping completeness but nevertheless achieving similar or even better results in practice.
['Dimitri Bohlender', 'Hendrik Simon', 'Nico Friedrich', 'Stefan Kowalewski', 'Stefan Hauck-Stattelmann']
I am writing a research paper on a idea Concolic test generation for PLC programs using coverage metrics
[{"from": "human", "value": "I am writing a research paper on a idea Concolic test generation for PLC programs using coverage metrics"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  presents a technique for fully automated generation of test cases for PLC programs adhering to the IEC 61131-3 standard. While previous methods strive for completeness and therefore struggle with the state explosion  pursue a symbolic execution based approach, dropping completeness but nevertheless achieving similar or even better results in practice."}]