USE 2018 @ ICST 2018

USE 2018 @ ICST 2018 The Second International Workshop on Usages of Symbolic Execution  (USE 2018) is colocated with the 11th IEEE Conference on Software Testing, Verification and  Validation (ICST 2018). April 9 -13, 2018 Aros Congress Center Västerås, Sweden   The first edition of USE (USE’15) was held as a…

Continue reading