-------- Original-Nachricht -------- Betreff: [WI] CFP: ICST'14 Datum: Fri, 26 Jul 2013 14:02:42 -0500 Von: Miroslav Velev mvelev@gmail.com An: researchers@pascal-network.org, ai-sges@jiscmail.ac.uk, allstat@jiscmail.ac.uk, bioforum@magpie.bio.indiana.edu, cfp@eventseer.org, clp@comp.nus.edu.sg, comic@comp.lancs.ac.uk, comp-bio@magpie.bio.indiana.edu, compulognet-parimp@dia.fi.upm.es, "concurrency@cwi.nl" concurrency@cwi.nl, csec-adm@sdl.hitachi.co.jp, confer-ann@iro.umontreal.ca, datamine-l@nautilus-sys.com, demetri@dcs.shef.ac.uk, eccai-individuals@uni-koblenz.de, "elsnet-list@let.uu.nl" elsnet-list@let.uu.nl, emo-list@ualg.pt, fg-db@informatik.uni-rostock.de, iceimt@tools.org, icml2002@cse.unsw.edu.au, intranet-km@egroups.com, isca@ipass.net, isg@ee.ed.ac.uk, isworld@listserv.heanet.ie, isworld@lyris.isworld.org, it-announce@cs.usyd.edu.au, "kr@kr.org" kr@kr.org, linguist@listserv.linguistlist.org, medenif@cogs.susx.ac.uk, ml@isle.org, news-announce-conferences@uunet.uu.net, risc@idf.ext.jussieu.fr, sb.all@ieee.org, smbnet@smb.org, support-vector-machines@jiscmail.ac.uk, turkstat@bilkent.edu.tr, vavtalk@csd.abdn.ac.uk, vavtalk@pigeon.csd.abdn.ac.uk, vki-list@dfki.de, vki-list@dfki.uni-sb.de, webir@egroups.com, wi@aifb.uni-karlsruhe.de, www-rdf-interest@w3c.org, ai-grid@mailman.isi.edu, ak-kd-list@aifb.uni-karlsruhe.de, cse-cfp@cse.stfx.ca, fca-list@cs.uni-kassel.de, Lprolog@cs.umn.edu, artificialintelligencegroup@yahoogroups.com, dba_gurus@yahoogroups.com, Information_Systems_Forum@yahoogroups.com, machine-learning@yahoogroups.com, Statisticians_group@yahoogroups.co.in
Call for Papers
Seventh IEEE International Conference on Software Testing, Verification, and Validation (ICST’14)
Cleveland, Ohio, U.S.A., March 31 - April 4, 2014
https://sites.google.com/site/icst2014/home
Submission of abstracts: September 23, 2013
Paper submission: September 30, 2013
The IEEE International Conference on Software Testing, Verification, and Validation (ICST) is the premier conference for research in all areas related to software testing. The ever-increasing complexity, ubiquity, and dynamism of modern software systems is making software quality assurance activities, and in particular software testing more challenging. ICST provides an ideal forum where academics, industrial researchers, and practitioners can present their latest approaches for ensuring the quality of today’s complex software systems, exchange and discuss ideas, and compare experiences. In this spirit, ICST welcomes both research papers that present high quality original work and industry reports from practitioners that present real world experiences from which others can benefit.
Topics of interest include, but are not limited to:
- Testing theory and practice
- Testing in globally-distributed organizations
- Model-based testing
- Domain specific testing, such as:
= Web-service testing
= Database testing
= Embedded software testing
- Testing concurrent software
- Testing large-scale distribute systems
- Testing in multi-core environments
- Validation testing
- Security testing
- Quality assurance
- Model checking
- Testing metrics
- Fuzzing
- Inspections
- Testing tools
- Design for testability
- Testing education
- Technology transfer in testing
- Unit test-driven development
- Acceptance test-driven development and behavior driven development
- Testing of open source and third-party software
- Software reliability
- Performance and QoS testing
- Standards
- Formal verification
- Empirical studies of testing techniques
- Experience reports
Each submission will be reviewed by at least three members of the ICST Program Committee. Authors of the best research papers presented at ICST 2013 will be invited to extend their work for possible inclusion in a special issue of Software Testing, Verification, and Reliability, a Wiley journal.
Format
--------------------------------
Research Track:
We invite submission of research and technical papers that describe original and significant work in the research and practice of software testing, verification and validation. Case studies and empirical research are welcome. Papers must neither have been previously accepted for publication nor submitted in another conference or journal. The ICST 2013 research track accepts only full research papers. Short papers are not accepted to the research track. Research papers must conform to the two-column IEEE conference publication format (http://www.computer.org/portal/web/cscps/formatting), must be submitted in PDF format and must not exceed 10 pages (incl. references and appendix).
Industry Track:
There are two paper formats: full length (ten pages) and short (four pages). Full length papers should present significant achievements and advances in industrial software testing, verification, or validation. Papers with metrics that quantify effects on time, cost, and quality are preferred. Short papers should concentrate on experience reports or discuss open problems or challenges. The program committee will review all submission. Accepted and presented contributions will be part of the published conference proceedings. The evaluation criteria for industry papers are based less on the originality of the technical contribution, and more on its relevance for practice soundness of the presented results, and implications for research. Practitioners can alternatively submit to the Industrial Presentations track that does not require a paper. Industry papers must conform to the two-column IEEE conference publication format (http://www.computer.org/portal/web/cscps/formatting), must be submitted in pdf format and must not exceed 10 or 4 pages, respectively to full-length papers or short papers (incl. references and appendix).
How to submit?
--------------------------------
Submissions will be handled via EasyChair at http://www.easychair.org/conferences/?conf=icst2014.
Important Dates
--------------------------------
Submission of abstracts: September 23, 2013
Paper submission: September 30, 2013
Notification of acceptance: December 22, 2013
Camera ready paper: TBA
Conference date: March 31 - April 4, 2014
Program Committee
--------------------------------
Program Committee Chairs:
- Laurie Williams, North Carolina State University, USA
- Claes Wohlin, Blekinge Institute of Technology, Sweden
Committee Members:
- Paul Ammann, George Mason University, USA
- Anneliese Andrews, University of Denver, USA
- Giuliano Antoniol, Ecole Polytechnique de Montréal, Canada
- Thomas Ball, Microsoft Research, USA
- Fevzi Belli, University of Paderborn, Germany
- Tomas Berling, Saab AB, EDS, Sweden
- Kirill Bogdanov, University of Sheffield, UK
- Fabrice Bouquet, Université de Franche Comté, France
- Tevfik Bultan, University of California at Santa Barbara, USA
- Cristian Cadar, Imperial College London, UK
- Ana Cavalli, Institut National des Telecommunications, France
- James Clause, University of Delaware, USA
- Ian Craggs, IBM United Kingdom, UK
- Christoph Csallner, University of Texas at Arlington, USA
- Marcio Eduardo Delamaro, Universidade de São Paulo, Brazil
- Massimiliano Di Penta, University of Sannio, Italy
- Rachida Dssouli, Concordia University, Canada
- Lydie Du Bousquet, Laboratoire d'Informatique de Grenoble (LIG), France
- Stephen Edwards, Virginia Tech, USA
- Sigrid Eldh, Ericsson and Karlstad University, Sweden
- Robert Feldt, Blekinge Institute of Technology, Sweden
- Franck Fleurey, SINTEF, Norway
- Gordon Fraser, University of Sheffield, UK
- Sudipto Ghosh, Colorado State University, USA
- Arnaud Gotlieb, Simula Research Laboratory, Norway
- Jens Grabowski, Gottingen University, Germany
- Mark Harman, University College London, UK
- Robert Hierons, Brunel University, UK
- Florentin Ipate, University of Bucharest, Romania
- Natalia Juristo, Universidad Politécnica de Madrid, Spain
- Gail Kaiser, Columbia University, USA
- Aditya Kanade, Indian Institute of Science, India
- Johannes Kinder, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
- Yu Lei, University of Texas at Arlington, USA
- Francesca Lonetti, ISTI CNR, Italy
- Eda Marchetti, ISTI-CNR, Italy
- Leonardo Mariani, University of Milan-Bicocca, Italy
- Darko Marinov, University of Illinois at Urbana-Champaign, USA
- Wes Masri, American University of Beirut, Lebanon
- Phil McMinn, University of Sheffield, UK
- Atif Memon, University of Maryland, USA
- James Miller, University of Alberta, Canada
- Tejeddine Mouelhi, University of Luxembourg, Luxembourg
- Henry Muccini, University of L'Aquila, Italy
- Jürgen Münch, University of Helsinki, Finland
- Nachiappan Nagappan, Microsoft Corporation, USA
- Brian Nielsen, Aalborg University, Denmark
- Jeff Offutt, George Mason University, USA
- Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil
- Thomas Ostrand, Rutgers University Center for Discrete Mathematics & Computer Science, USA
- Alexander Pretschner, Technische Universitaet Muenchen, Germany
- Marc Roper, University of Strathclyde, UK
- Gregg Rothermel, University of Nebraska - Lincoln, USA
- Abhik Roychoudhury, National University of Singapore, Singapore
- Per Runeson, Lund University, Sweden
- Saurabh Sinha, IBM Research, India
- Paul Strooper, University of Queensland, Australia
- Lin Tan, University of Waterloo, Canada
- Tatsuhiro Tsuchiya, Osaka University, Japan
- Richard Torkar, Chalmers and the University of Gothenburg, Sweden
- Jan Tretmans, TNO - Embedded Systems Innovation, The Netherlands
- T.H. Tse, University of Hong Kong, Hong Kong
- Hasan Ural, University of Ottawa, Canada
- Arie van Deursen, Delft University of Technology, The Netherlands
- Miroslav Velev, Aries Design Automation, USA
- Helene Waeselynck, LAAS-CNRS, France
- Hironori Washizaki, Waseda University, Japan
- Michael Whalen, University of Minnesota, USA
- Franz Wotawa, Graz University of Technology, Austria
- Tao Xie, University of Illinois, USA
- Xiangyu Zhang, Purdue University, USA
- Hong Zhu, Oxford Brookes University, UK
- Peter Zimmerer, Siemens AG, Germany
- Thomas Zimmerman, Microsoft Research, USA