What does the combination of unsound static anlysis and test case generation typically do?
Combintaions of unsound static analysis and test case generation typically guide testing toward executions for which an analysis warning was emitted
Last changed6 days ago