USE'15 Call for Paper (colocated with FM 2015) :1st workshop on Usages of Symbolic Execution
1st workshop on Usages of Symbolic Execution USE'15
co-localetd with FM'15
23 June 2015, Oslo, Norway | http://perso.ecp.fr/~gallp/Workshop_USE.html
Symbolic execution is used as a base for implementing structural testing or model based testing algorithms, refinement testing, model or program debugging techniques, 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.
USE aims at being a forum 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 of interests
- Symbolic execution for testing, 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, dysfunctional analyses...)
- Coupling between constraint solving technics and symbolic execution
- Case study analysis
- Tools and benchmarks
Important Dates
- Full paper submission: 1 April 2015
- Notification of acceptance: 1 May 2015
- Final version due: 1 June 2015
- Conference: 23 June 2015
Paper Submission
Papers can be submitted at http://www.easychair.org/conferences/?conf=use2015.
Papers must be written in English, not exceed 15 pages and be conforming to the ENTCS's latex
format (http://www.entcs.org/prelim.html).
The proceedings of the workshop will be published by ENTCS
Organizing Committee
- Christophe Gaston (christophe.gaston@cea.fr)
- Pascale Le Gall (pascale.legall@ecp.fr)
- Alexandre Petrenko (alexandre.petrenko@crim.ca)
Program Committee
- Sebastien Bardin (CEA LIST)
- Francis Bordeleau (Ericsson)
- Juergen Dingel (Queen's University)
- Vijay Ganesh (Waterloo University)
- Christophe Gaston (CEA LIST)
- Arnaud Gotlieb (Simula Research Laboratory)
- Thierry Jeron (IRISA Rennes)
- Pascale Le Gall (ECP)
- Delphine Longuet (Universite Paris Sud)
- Alexandre Petrenko (CRIM)
- Nicolas Rapin (CEA LIST)
- Koushik Sen (University of California, Berkeley)
- Jan Tretmans (TNO - Embedded Systems Innovation)
Contact: pascale.legall@ecp.fr