<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p class="MsoNormal">================================================<o:p></o:p><br>
|
|<br>
| 1<sup>st</sup> workshop on Usages of Symbolic Execution
USE'15 |<br>
| 23 June 2015,
Olso
| <br>
| co-localetd with the 20th Int. Symposium on Formal Method
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>
================================================<br>
</p>
<p class="MsoNormal"><br>
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.<br>
</p>
<p class="MsoNormal">USE aims at being a forum both for researchers
working in the scope of formal techniques and grounding their
analysis <br>
techniques on symbolic execution, and for users of technologies
based on symbolic execution.<br>
<br>
Topics of interests<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>
<br>
<br>
Important Dates<br>
==========<br>
Full paper submission: 1 April 2015<br>
Notification of acceptance: 1 May 2015<br>
Final version due: 1 June 2015<br>
Conference: 23 June 2015<br>
<br>
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>
<pre class="moz-signature" cols="72">--
Pascale Le Gall
Professeur
Département TISA - Laboratoire MAS
Ecole Centrale Paris
01 41 13 19 05 - 06 73 38 47 98</pre>
</body>
</html>