Jesús Gorroñogoitia Cruz

Hi @danglotb I've been able to fix this issue in our Jenkins CI by setting correctly the default settings.xml. Nonetheless, if you don't mind, I prefer to keep it open,...

Hi @pderakhshanfar See model generator logs [here](https://github.com/supersede-project/integration/blob/stamp-baseline/IF/API/eu.supersede.if.api/Botsing/supersede-if-botsing/results/generate_behavioral_models.log.tgz)

Hi @pderakhshanfar , Your feedback is about the exception when the target frame is 3. Sincerely, you are suggesting me to read your paper? Cannot you provide me some hints,...

Hi @pderakhshanfar Thanks for clarifications. So, target frame 3 is not possible, understood. So, for success in Botsing test generation, is there something we can do? If not, I will...

Thanks @pderakhshanfar keep me informed of incoming Botsing releases

Hi @pderakhshanfar Thinking on the Botsing (Evocrash) security manager restrictions, and after browsing the paper you referred to, I wonder if some of these restrictions could not be disable by...

Hi @pderakhshanfar I do not refer to remove all the security manager restrictions but only those that refer to java.net.SocketPermissions. In other words, could be possible to configure the restrictions...

Hi @pderakhshanfar I've resumed this issue about using Botsing for Atos Supersede IF crash reproduction. In order to run Botsing with security manager disabled, I've run it within a Docker...

Hi @pderakhshanfar I detected that there was not network access within my Docker container sandbox executing Botsing, so I enabled it. After that, I executed within the container a handcrafted...

Hi @pderakhshanfar , @xdevroey I've conducted new Botsing experiments feeding it with behavioural model seeding, but still I am getting no crash replicating tests, keeping the best fitness value in...