<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-2">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Boldi, Máté!<br>
Nem kellene az alábbi konferencián a model level testing téma
valamelyik részét megmutatni a PhD Symposiumon? Korutinok
felhasználása, akciók megszakítása a valós végrehajtási útvonalak
előállítása érdekében stb...<br>
Sőt, most látom, hogy van egy Workshop on Advances in Model Based
Testing (AMOST 2015)
workshop is.<br>
Gergő<br>
<br>
<div class="moz-forward-container"><br>
<br>
-------- Original Message --------
<table class="moz-email-headers-table" border="0" cellpadding="0"
cellspacing="0">
<tbody>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">Subject:
</th>
<td>FW: [ecoop-info] ICST 2015: Call for Papers to Special
Tracks</td>
</tr>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">Date: </th>
<td>Wed, 3 Dec 2014 21:46:33 +0000</td>
</tr>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">From: </th>
<td>Horváth Zoltán <a class="moz-txt-link-rfc2396E" href="mailto:hz@inf.elte.hu"><hz@inf.elte.hu></a></td>
</tr>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:pnyf-l@plc.inf.elte.hu">pnyf-l@plc.inf.elte.hu</a> <a class="moz-txt-link-rfc2396E" href="mailto:pnyf-l@plc.inf.elte.hu"><pnyf-l@plc.inf.elte.hu></a></td>
</tr>
</tbody>
</table>
<br>
<br>
<pre>
-----Original Message-----
From: <a class="moz-txt-link-abbreviated" href="mailto:ecoop-info-bounces@ecoop.org">ecoop-info-bounces@ecoop.org</a> [<a class="moz-txt-link-freetext" href="mailto:ecoop-info-bounces@ecoop.org">mailto:ecoop-info-bounces@ecoop.org</a>] On Behalf Of Bernhard Aichernig
Sent: Wednesday, December 3, 2014 12:01 PM
To: <a class="moz-txt-link-abbreviated" href="mailto:ecoop-info@ecoop.org">ecoop-info@ecoop.org</a>
Subject: [ecoop-info] ICST 2015: Call for Papers to Special Tracks
ICST 2015 - CALL FOR PAPERS to SPECIAL TRACKS
Ph.D. Symposium - Testing in Practice Track - Testing Tools Track
======================================================
8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015)
April 13-17, 2015, Graz, Austria
<a class="moz-txt-link-freetext" href="http://icst2015.ist.tugraz.at">http://icst2015.ist.tugraz.at</a>
======================================================
----------------------
Important Dates
----------------------
* Ph.D. Symposium
Paper submission: January 16th, 2015
Notification: February 5th, 2015
<a class="moz-txt-link-freetext" href="http://icst2015.ist.tugraz.at/?page_id=30">http://icst2015.ist.tugraz.at/?page_id=30</a>
* Testing Tools Track
Paper submission: February 16, 2015
Notification: March 9, 2015
<a class="moz-txt-link-freetext" href="http://icst2015.ist.tugraz.at/?page_id=32">http://icst2015.ist.tugraz.at/?page_id=32</a>
* Testing in Practice Track
Abstract submission: February 23, 2015
Notification: March 9, 2015
<a class="moz-txt-link-freetext" href="http://icst2015.ist.tugraz.at/?page_id=26">http://icst2015.ist.tugraz.at/?page_id=26</a>
-------------------------
Ph.D. Symposium
-------------------------
Goals:
As a separate track of ICST, the PhD symposium has four goals: (1) to provide constructive feedback and guidance to doctoral students who are performing their dissertation research in the field of software testing, verification, and validation; (2) to help students aligning their research interests with the hottest topics of the scientific community; (3) to develop a supportive community of researchers and potential collaborators; (4) to help doctoral students interact with established researchers and practitioners in the field.
Submissions:
A research summary of at most two pages. Your summary must include:
Student name, university or institution, research advisor, and title (to clarify: The student is the author of this document, and the advisor is acknowledged); The scientific and technical objectives and the problem to be addressed by the PhD, with a justification of its importance; The expected contributions of the PhD research, and its positioning in the state-of-the-art; Summary of results to date; An overview of the experimental/empirical evaluation of the proposed contributions
Accepted research summaries will be included in the conference proceedings.
Ph.D. Symposium Chairs:
Arnaud Gottlieb, SIMULA Research Laboratory, Norway Sudipto Ghosh, CSU, USA
For further details regarding the process, scholarships, review process, and format we refer to the conference website:
<a class="moz-txt-link-freetext" href="http://icst2015.ist.tugraz.at/?page_id=30">http://icst2015.ist.tugraz.at/?page_id=30</a>
---------------------------
Testing Tools Track
---------------------------
Goals:
The ICST Tools Track seeks to bridge the gap between software testing, verification, and validation practitioners and researchers with a goal of improving both the state-of-the-art and the state-of-the-practice.
Submissions:
In their submissions of maximal 8 pages, software tool developers should explain how they deal with the complexity and challenges of transferring research ideas into practice. At the same time, researchers are welcome to submit papers in which they describe how academic research helps tool developers apply new approaches to solving complex industry problems. Participants of the Tools Track will be exposed to different techniques, and they will be connected with potential collaborators. We actively seek quality non-academic submissions, so that this track enables leading researchers and practitioners to discuss and solve important problems.
We invite submission that include but not limited to the following areas:
* Transfer of academic approaches into open source or commercial tools
and sharing lessons learned from this transfer;
* Creation of an innovative tool;
* Description of a significant adoption effort of a verification
approach with detailed descriptions of the strategies and challenges
of this adoption effort;
* Description of a working prototype of your research technique, any
feedback obtained from practitioners and description of the technical
challenges in developing it.
Testing Tools Chairs:
Andrea Arcuri, SIMULA Research Laboratory, Norway Sigrid Eldh, Ericsson, Sweden
For further details regarding the format and evaluation of papers, the award, and how to submit we refer to the conference website:
<a class="moz-txt-link-freetext" href="http://icst2015.ist.tugraz.at/?page_id=32">http://icst2015.ist.tugraz.at/?page_id=32</a>
Accepted papers will be included in the conference proceedings.
----------------------------------
Testing in Practice Track
----------------------------------
Goals:
The objective of the Testing in Practice track (TIP) (formerly known as Industry Practice program) is to establish a fruitful and meaningful dialog among software practitioners and with software engineering researchers on the results (both good and bad), obstacles, and lessons learned associated with applying software development practices in various environments. The TIP presentations will provide accounts of the application of software engineering practices (which may be principles, techniques, tools, methods, processes, testing techniques etc.) to a specific domain or to the development of a significant software system. In particular, we are interested in software development techniques that prevent bugs or detect bugs early during development in addition to various downstream bug metrics and reliability growth curves etc. We would like the TIP presentations to be of interest to software development professionals as well as software quality groups.
Submissions:
We seek submissions of two pages abstracts by authors in the software testing community on industry relevant topics in technology, tools and practices related to software testing, quality, safety, metrics, reliability, and modeling. The two pages abstracts using the IEEE style file from ICST 2015 should contain:
* A problem definition and its importance
* Any potential solution tried to address the problem
* Analysis of the results / lessons learned
* Ideally open research questions to be tackled should be raised
In addition, the submission may contain example slides or as much of the actual presentation as the author wants to submit.
Each accepted presentation will have 15-30 min to present at the main conference.
Accepted abstracts will be included in the conference proceedings.
Testing in Practice Track Chairs:
Mihai Nica, AVL, Austria
Ina Schieferdecker, Fraunhofer, Germany
Thomas Zimmermann, Microsoft Research, USA
For further details regarding the review process and how to submit we refer to the conference website:
<a class="moz-txt-link-freetext" href="http://icst2015.ist.tugraz.at/?page_id=26">http://icst2015.ist.tugraz.at/?page_id=26</a>
----------------------
Workshops
----------------------
In addition, the following ICST workshops call for contributions:
* 6th International Workshop on Security Testing (SECTEST 2015)
* 10th International Workshop on Mutation Analysis (Mutation 2015)
* 4th International Workshop on Combinatorial Testing (IWCT 2015)
* 2nd International Workshop on Software Test Architecture (InSTA 2015)
* 10th Testing: Academic and Industrial Conference - Practice and Research
Techniques (TAIC PART 2015)
* 11th Workshop on Advances in Model Based Testing (AMOST 2015)
* 13th User Symposium on Software Quality, Test and Innovation (ASQT 2015)
Details: <a class="moz-txt-link-freetext" href="http://icst2015.ist.tugraz.at/?page_id=135">http://icst2015.ist.tugraz.at/?page_id=135</a>
----------------------------
Organization of ICST
----------------------------
- General Chair
Franz Wotawa, TU Graz, Austria
- Program Chairs
Gordon Fraser, University of Sheffield, UK Darko Marinov, University of Illinois at Urbana-Champaign, USA
For further details we refer to the conference website:
<a class="moz-txt-link-freetext" href="http://icst2015.ist.tugraz.at">http://icst2015.ist.tugraz.at</a>
Dr. Bernhard K. Aichernig, Associate Professor (ao. Univ.-Prof.), IST, TU Graz <a class="moz-txt-link-freetext" href="http://aichernig.blogspot.com">http://aichernig.blogspot.com</a>
Don't miss ICST 2015 in Graz: <a class="moz-txt-link-freetext" href="http://icst2015.ist.tugraz.at">http://icst2015.ist.tugraz.at</a>
_______________________________________________
ecoop-info mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ecoop-info@ecoop.org">ecoop-info@ecoop.org</a>
<a class="moz-txt-link-freetext" href="http://web.satd.uma.es/mailman/listinfo/ecoop-info">http://web.satd.uma.es/mailman/listinfo/ecoop-info</a>
</pre>
<br>
</div>
<br>
</body>
</html>