evosuite-plus-plus
evosuite-plus-plus copied to clipboard
Published
20 hours ago •
llmhyy
llmhyy
Static Analysis for Smart Seed
given a method, we need to verify whether it can benefit from seeding strategy? which branch can be benefited? what if none of the branches is beneficial?
@Cheng-017
- how many method effect can be replicable?
- if replicable, which branch manifests the difference? and which event is the most important?
Given the method, get the uncovered branches and randomly select one of them, evaluate the branch and get the type of the branch. If the type of the branch is NO_POOL, it means that the branch has no benefit. If the branch type of the method is all NO_POOL, the original seeding strategy is used to generate the test suite.
