<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p class="MsoNormal">[Apologies for multiple copies]<br>
</p>
<p class="MsoNormal"> New submission deadline : April
10th<br>
USE Workshop colocated with FM<br>
</p>
<p class="MsoNormal"><br>
Second Call for Paper<br>
USE'15 <br>
1<sup>st</sup> workshop on Usages of Symbolic Execution USE'15<br>
23 June 2015, Olso, Norway
<br>
co-localetd with FM'15 <br>
<a class="moz-txt-link-freetext"
href="http://perso.ecp.fr/%7Egallp/Workshop_USE.html">http://perso.ecp.fr/~gallp/Workshop_USE.html</a>
<br>
<br>
Important Dates<br>
==========<br>
Full paper submission (extended): 10 April 2015<br>
Notification of acceptance: 1 May 2015<br>
Final version due: 1 June 2015<br>
Conference: 23 June 2015<br>
</p>
<p class="MsoNormal">Topics of interests<br>
===========</p>
<p class="MsoNormal">Symbolic execution is used as a base for
implementing structural testing or model based testing algorithms,
<br>
refinement testing, model or program debugging techniques,
model-checking introducing first order structure. <br>
The growing interest on symbolic execution, inducing a growing
community of users, is also motivated by the <br>
fact that the scalability of this technique has increased thanks
to recent advances that have been made in constraint <br>
solving techniques. USE aims at being a forum both for researchers
working in the scope of formal techniques and grounding their <br>
analysis techniques on symbolic execution, and for users of
technologies based on symbolic execution.<br>
<o:p></o:p></p>
<ul type="disc">
<li class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level1 lfo1"> Symbolic execution for testing, consistency
checking, verification, model checking, debugging<o:p></o:p></li>
<li class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level1 lfo1"> Symbolic analysis of modelling and programming
languages<o:p></o:p></li>
<li class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level1 lfo1"> Taking into account complex data structure in
symbolic execution processes<o:p></o:p></li>
<li class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level1 lfo1"> Symbolic execution in the loop of design processes
(e.g. refinement correctness assessment, model consistency
checking, dysfunctional analyses…)<o:p></o:p></li>
<li class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level1 lfo1"> Coupling between constraint solving technics and
symbolic execution<o:p></o:p></li>
<li class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level1 lfo1"> Case<span class="apple-converted-space"> </span><span
class="spelle">study</span><span class="apple-converted-space"> </span>analysis<o:p></o:p></li>
<li class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level1 lfo1"> <span lang="FR">Tools and benchmarks</span><span
lang="FR"> </span><o:p></o:p></li>
</ul>
Paper Submission<br>
===========<br>
<br>
Papers can be submitted at <a
href="http://www.easychair.org/conferences/?conf=icgt2015">
http://www.easychair.org/conferences/?conf=use2015</a>. <br>
Papers must be written in English, not exceed 15 pages and be
conforming to the ENTCS's latex<br>
format (<a href="http://www.springer.com/lncs">http://www.entcs.org/prelim.html</a>).<br>
<br>
The proceedings of the workshop will be published by ENTCS<br>
<br>
Organizing Committee<br>
==============<br>
<br>
Christophe Gaston (<a href="mailto:christophe.gaston@cea.fr">christophe.gaston@cea.fr</a>)<br>
Pascale Le Gall (<a href="mailto:pascale.legall@ecp.fr">pascale.legall@ecp.fr</a>)<br>
Alexandre Petrenko (<a href="mailto:alexandre.petrenko@crim.ca">alexandre.petrenko@crim.ca</a>)<br>
<br>
<br>
Program Committee<br>
============<br>
<br>
Sébastien Bardin (CEA LIST)<br>
Francis Bordeleau (Ericsson)<br>
Juergen Dingel (Queen’s University)<br>
Vijay Ganesh (Waterloo University) <br>
Christophe Gaston (CEA LIST)<br>
Arnaud Gotlieb (Simula Research Laboratory)<br>
Thierry Jéron (IRISA Rennes)<br>
Pascale Le Gall (ECP)<br>
Delphine Longuet (Université Paris Sud)<br>
Alexandre Petrenko (CRIM) <br>
Nicolas Rapin (CEA LIST)<br>
Koushik Sen (University of California, Berkeley) <br>
Jan Tretmans (TNO - Embedded Systems Innovation) <span
style="font-size:10.0pt;font-family:"Verdana","sans-serif";color:#333333;background:#EEFFEE"><br>
</span><br>
<br>
Contact: <a href="mailto:pascale.legall@ecp.fr">pascale.legall@ecp.fr</a>
</body>
</html>