USE 2016 - 2nd Usages of Symbolic Execution Workshop

USE aims at being a forum to cover those needs, both for researchers working in the scope of formal techniques and grounding their analysis techniques on symbolic execution, and for users of technologies based on symbolic execution.
Topics include but are not limited to:
Symbolic execution for testing (white box / black box), consistency checking, verification, model checking, debugging
Symbolic analysis of modelling and programming languages
Taking into account complex data structure in symbolic execution processes
Symbolic execution in the loop of design processes (e.g. refinement correctness assessment, model consistency checking, symbolic execution for dysfunctional analyses…)
Coupling between constraint solving technics and symbolic execution
Case study analysis
Tools and benchmarks