689 followers
RT @AandVNetwork: The final talk for this session is "SPouT: Symbolic Path Recording during Testing - a Concolic Executor for the JVM" By…
RT @AandVNetwork: The final talk for this session is "SPouT: Symbolic Path Recording during Testing - a Concolic Executor for the JVM" By…
The final talk for this session is "SPouT: Symbolic Path Recording during Testing - a Concolic Executor for the JVM" By Malte Mues, Falk Howar and Simon Dierl URL: https://t.co/Ib2d9a3FtW #SEFM22 https://t.co/WsF2YV2hex