Abstract: Large organizations often deploy isomorphic business subsystems across regions to facilitate uniform business control and expansion. These independent subsystems, which share identical data ...
To address these shortcomings, we introduce SymPcNSGA-Testing (Symbolic execution, Path clustering and NSGA-II Testing), a novel hybrid methodology for mitigating path explosion in symbolic execution.
一些您可能无法访问的结果已被隐去。
显示无法访问的结果