Abstract Model: Slither test tool

[Sentient-XII]

Good Day, in your paper you mention developing a tool to enhance efficiency, that generates operation sequences that can reach specific functions, using Slither. Is that is perhaps publicly available?

[melody27]

that's a question