Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Test-based model generation by classical automata learning is very expensive. It requires an impractically large number of queries to the system, each of which must be implemented as a system-level test case. Key towards the tractability of observation based model generation are porful optimizations exploiting different kinds of expert knowledge in order to drastically reduce the number of required queries, and thus the testing effort. ,  present a thorough experimental analysis of the second-order effects beten such optimizations in order to maximize their combined impact
['Tiziana Margaria', 'Harald Raffelt', 'Bernhard Steffen']
I am writing a research paper on a idea Analyzing second-order effects between optimizations for system-level test-based model generation
[{"from": "human", "value": "I am writing a research paper on a idea Analyzing second-order effects between optimizations for system-level test-based model generation"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Test-based model generation by classical automata learning is very expensive. It requires an impractically large number of queries to the system, each of which must be implemented as a system-level test case. Key towards the tractability of observation based model generation are porful optimizations exploiting different kinds of expert knowledge in order to drastically reduce the number of required queries, and thus the testing effort. ,  present a thorough experimental analysis of the second-order effects beten such optimizations in order to maximize their combined impact"}]