1. 2020-11-19 [3] [Soot-list] SPARK analysis with JUnit test suite as e soot-list Patrick Lam 2. 2020-11-17 [4] [Soot-list] soot-build.cs.uni-paderborn.de availabili soot-list Eric Ortega 3. 2020-11-12 [1] Re: [Soot-list] EmptySwitchEliminator soot-list Arzt, Steven 4. 2020-11-09 [1] [Soot-list] Callgraph construction memory in Flowdroi soot-list Abdelrahman B