Abstract: Program verification is one of the most important methods to ensuring the correctness of concurrent programs. However, due to the path explosion problem, concurrent program verification is ...
Abstract: Several automated program repair techniques have been proposed to reduce the time and effort spent in bug-fixing. While these repair tools are designed to be generic such that they could ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results