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 half-day workshop colocated with FM 2015 on June 23, 2015 in Olso.

Les commentaires sont clos.