<div dir="ltr">===========================================<br><br>The Fifth Halmstad Summer School on Testing<br><br>Halmstad University, Sweden<br><br>June 8 - June 11, 2015<br><br><a href="http://ceres.hh.se/mediawiki/index.php/HSST_2015">http://ceres.hh.se/mediawiki/index.php/HSST_2015</a><br><br>===========================================<br><br><br>Scope<br>========<br><br>Software testing accounts for a major part of software development cost and effort, <br>yet the current practice of software testing is often insufficiently structured and disciplined. <br>There have been various attempts in the past decades to bring more rigour and structure into this field, <br>resulting in several industrial-strength processes, techniques and tools for different levels of testing. <br>The 5th Halmstad Summer School on Testing provides an overview of the state of the art in testing, <br>including theory, industrial cases, tools and hands-on tutorials by internationally-renowned researchers.<br><br>Tutorials<br>========<br><br>Approximate Formal Verification Using Model-Based Testing (Rance Cleaveland, University of Maryland) <br><br>Taking Search-Based Software Testing to the Real-World (Rober Feldt, Blekinge Inst. of Tech. and Chalmers)<br><br>Differential and Multi-Version Program Verification (Shuvendu Lahiri, Microsoft Research) <br> <br>Learning-based Testing of Procedural and Reactive Systems (Karl Meinke, KTH) <br><br>Model-based Testing of Embedded Real-time Systems under Uncertainty (Brian Nielsen, Aalborg University) <br><br>Model-based Testing of Software Product Lines (Ina Schaefer, TU Braunschweig)<br><br>Automated Fault Prediction: The Ins, The Outs, The Ups, The Downs (Elaine Weyuker, Mälardalen University) <br><br><br>Registration<br>==========<br><br><br>The registration deadline is April 15, 2015.<br><br>To apply to the summer school, please send an email to <a href="mailto:Veronica.Gaspes@hh.se">Veronica.Gaspes@hh.se</a> with &quot;Halmstad Summer School on Testing&quot; in the title. <br>If you have any dietary requirements, or <br>would like to attend only certain days of the summer school, please specify in your email text.<br><br><br>The registration fee is 2300 SEK (approx. 250 EUR) and covers lunches, coffee breaks, and the study material, but <br>it does not include the social event and the social dinner. <br><br>A ticket to the social event and the social dinner costs 500 SEK and can be requested upon registration (please indicate in your email). <br>After sending the registration email, you will receive a confirmation. <br>Please proceed to payment after you receive the confirmation email through the summer school web site. <br>For payment, please also provide the VAT number of your institute.<br><br><br><br>Venue <br>======<br><br>The summer school will be held on the campus of Halmstad University  in Halmstad, Sweden.  <br>Halmstad is a popular summer destination located on the Swedish west coast. <br>Just a few minutes by bicycle or bus takes you from campus to city centre, sandy beaches or forested Galgberget Hill.  <br>Trains take you directly to Göteborg in 75 minutes, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours.  <br>There are also daily flights from Halmstad Airport to Stockholm.<br><br>If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup).  <br>The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly to Halmstad.  <br><br><br>More travel information can be found at the school page: <br><br><a href="http://ceres.hh.se/mediawiki/index.php/HSST_2015#Venue">http://ceres.hh.se/mediawiki/index.php/HSST_2015#Venue</a><br><br><br><br>Organizers<br>========<br><br><br>Veronica Gaspes (Organization Chair,  <a href="mailto:veronica.gaspes@hh.se">veronica.gaspes@hh.se</a>)<br><br>Mohammad Mousavi (Program Co-Chair, <a href="mailto:m.r.mousavi@hh.se">m.r.mousavi@hh.se</a>)<br><br>Eva Nestius (Local Organization)<br><br>Walid Taha (Program Co-Chair, <a href="mailto:walid.taha@hh.se">walid.taha@hh.se</a>)<br><br><br><br>The abstracts of the tutorials and the biographies of the speakers can be found at:<br><br><a href="http://ceres.hh.se/mediawiki/index.php/HSST_2015">http://ceres.hh.se/mediawiki/index.php/HSST_2015</a><br><br>For more information, contact one of the organizers.</div>