evosuite-plus-plus
evosuite-plus-plus copied to clipboard
llmhyy
Evosuite++: an enhancement for Evosuite framework supporting new features like optimal object construction and gradient recovering
commit bf86cecdb117b865fbdcde31ff3299c710d31cf8 1.MethodInputs.java Restoration restrictions **2.ObservedConstant.java** modify isCompatible method - If the value type is compatible with the observed constant type，force constant type to value type - If the value...
1.modify isCompatible method 2. add a test case 3. get relevant field writing references in the test
### When a branch is misjudged as static/dynamic: 1. It can be modified according to the type of observed constant 2. It can be corrected according to whether the branch...
### 1.Build the relationship between input and test cases.  - how to get the field value in the test case? - input variables need to put primitive statements ，and...
Bumps logback-classic from 1.1.3 to 1.2.0. [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps commons-io from 2.6 to 2.7. [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a...
### Context 1. When obtaining HeadValue, first determine whether the types of HeadValue and TailValue are compatible If the types are compatible, get HeadValue directly If the types are not...
### Context Some data is not recorded when using MonotonicGA algorithm - Age is always 0 and Missing Branches is always empty ### Steps to Reproduce Run Evosuite with the...
If an uncovered branch can benefit from seeding strategy, what seeds are relevant?
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?