DSE functionality

[claudeyj]

Dear EvoSuite authors,

I've been using EvoSuite for some time and it's really amazing. Recently I noticed EvoSuite even contains a DSE module which means it may do what klee can do for llvm. That's thrilling! But later I found when I configure EvoSuite with DSE strategy for a target class and it generated 0 tests. Then I figured out that it seems the DSE functionality is limited to static methods, and I found one comment mentioning this: #366 (comment). I also looked into the source code and found the potentially corresponding code here:

evosuite/client/src/main/java/org/evosuite/symbolic/dse/algorithm/ExplorationAlgorithm.java

Line 198 in c82d3b1

List<Method> targetStaticMethods = ClassUtil.getTargetClassStaticMethods(targetClass);

. So here I just wish to confirm with you: is EvoSuite currently partly supporting DSE (only for static methods)? If so, do you have any plans to extend this module?

[jose]

@ilebrero, @jgaleotti, any chance you could answer @claudeyj's question?

[claudeyj]

Sorry for bringing this up again, I wonder whether there's some updated information regarding this question? Thank you so much for your time.