Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: One approach to testing concurrent programs, called reachability testing, generates test sequences automatically, and on-the-fly, without constructing any static models. To ensure that every partially-ordered synchronization sequence of a program with a given input is exercised exactly once, existing reachability testing algorithms need to save and search through the history of synchronization sequences that have already been exercised, which is impractical for many applications. ,  present a new reachability testing algorithm which does not save any synchronization sequences but still guarantees that every partially-ordered sequence will be exercised exactly once.  describe a reachability testing tool called RichTest and report some empirical results, including a comparison beten RichTest and a partial order reduction based tool called VeriSoft. RichTest performed significantly better for the programs in our study
['Yu Lei', 'Richard H. Carver']
I am writing a research paper on a idea A new algorithm for reachability testing of concurrent programs
[{"from": "human", "value": "I am writing a research paper on a idea A new algorithm for reachability testing of concurrent programs"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: One approach to testing concurrent programs, called reachability testing, generates test sequences automatically, and on-the-fly, without constructing any static models. To ensure that every partially-ordered synchronization sequence of a program with a given input is exercised exactly once, existing reachability testing algorithms need to save and search through the history of synchronization sequences that have already been exercised, which is impractical for many applications. ,  present a new reachability testing algorithm which does not save any synchronization sequences but still guarantees that every partially-ordered sequence will be exercised exactly once.  describe a reachability testing tool called RichTest and report some empirical results, including a comparison beten RichTest and a partial order reduction based tool called VeriSoft. RichTest performed significantly better for the programs in our study"}]