USE 2018


USE 2018 @ ICST 2018

The Second International Workshop on Usages of Symbolic Execution  (USE 2018)

April 9, 2018,Västerås, Sweden

Contact :


USE 2018 is colocated with

the 11th IEEE Conference on Software Testing, Verification and  Validation (ICST 2018)

April 9 -13, 2018

Aros Congress Center


Important dates

To accomodate the deadline with the extended notification of ICST 2018 Tool Papers Track, the deadlines are exended as follows:

Submission of talk proposals : February 28, 2018 (extended)

Notification of acceptance : March 9, 2018 (extended)

Workshop date : April 9, 2018

Confirmed invited speakers

Omer Nguena-Timo                    CRIM – Computer Research Institute of Montreal

Emilio Coppa                              Sapienza University of Rome

Confirmed talks (so far)

« Synthesizing Adapters For Binary Code Using Symbolic Execution », Vaibhav Sharma and Stephen McCamant, University of Minnesota

« DIVERSITY: An Extensible Symbolic Execution Tool », Boutheina Bannour, Arnault Lapitre, CEA List, Saclay, France

« Automatic Testing of Symbolic Execution Engines », Timotej Kapus, Cristian Cadar, Imperial College London

Workshop summary

Symbolic execution was originally defined for programs in the 1970s as a way to analyze feasible paths of programs under analysis and, jointly with solving techniques, to generate test cases for partition structural testing. The scope of programming languages that can be analyzed by tools based on this technique has been extended during the following decades. Symbolic execution has been transposed at the modeling level, to analyze possible executions of models in various modelling languages.

Symbolic execution allows computing program or model semantics and representing them efficiently in an abstract manner.  As such they form a very interesting basis to build formal methods upon them. Symbolic execution has been used as a base for implementing structural testing or model based testing algorithms, refinement testing, model or program debugging techniques (deadlock search, invariant checking), model-checking introducing first order structure. The growing interest on symbolic execution, inducing a growing community of users, is also motivated by the fact that the scalability of this technique has increased thanks to recent advances that have been made in constraint solving techniques.

Although the number of contributors to symbolic execution techniques and the number of its users increase, the different communities working with this technique do not have a common place to share ideas, discuss new challenges, future developments, other usage scenarios, feedbacks on case studies, scalability… USE aims at being a forum to cover those needs, both for researchers and practitioners working on symbolic execution and its applications.

USE 2018 is aimed at encouraging the exchange of ideas and discussions between participants interested in symbolic execution and related topics. USE 2018 will be organized around several invited talks given by experts of the considered domains, several accepted talks based on a lightweight reviewing of submitted extended abstracts, and will feature space for questions and discussions.

The first edition of USE (USE’15) was held as a half-day workshop colocated with FM 2015 on June 23, 2015 in Olso.

Topics of interests

They  include (but are not restricted to) :

  • Symbolic execution and/or constraints for testing, consistency checking, verification, model checking, debugging,
  • Symbolic analysis and constraints for static and dynamic analyses of modelling and programming languages,
  • Taking into account complex data structure in symbolic execution and constraints techniques,
  • Symbolic execution and constraint solving in the loop of design processes (e.g. refinement correctness assessment, model consistency checking, symbolic execution for dysfunctional analyses…),
  • Synergies between constraint solving techniques and symbolic execution,
  • Case studies, tools and benchmarks.

The USE workshop topics are highly relevant to ICST audience since many V&V approaches and tools rely on symbolic execution. Thus ICST will be a perfect venue for the USE workshop for discussing recent improvements, optimizations, experiments and tools as well as future challenges and perspectives related to symbolic execution and its applications.

Call for contributions

All interested participants are invited to submit an abstract of a talk to be presented during the workshop. Talks may present both original or already published work, tool developments, experience reports, position papers as well as work in progress. Talks with emphasis on novel ideas or challenges are particularly welcome. Abstracts of at most three pages (excluding references), in PDF form,  can be submitted by use2018 at

Publications. No official publication of proceedings is planned. The presentations will be posted on the workshop website to share between participants and for future reference.

The workshop will deliver a « best presentation award » to the best commucation during the workshop.


Les commentaires sont clos.