posted by user: petermkruse || 6345 views || tracked by 21 users: [display]

ICTSS 2012 : The 23rd IFIP Int. Conference on Testing Software and Systems


Conference Series : International Conference on Testing Software and Systems
When Nov 19, 2012 - Nov 21, 2012
Where Aalborg, Denmark
Abstract Registration Due Jun 11, 2012
Submission Deadline Jun 18, 2012
Notification Due Aug 8, 2012
Final Version Due Sep 3, 2012
Categories    software testing   testing

Call For Papers

Call for Papers
International Conference of Testing Software and Systems (ICTSS'12)

November 19-21 2012, Aalborg, Denmark

Scope and Objective
Testing is one of the most important quality assurance techniques for
the (partial) verification of communication and software systems as
well as for the validation of their models. Yet, testing remains very
challenging in the underlying theory, methods and tools, in industrial
use, and in its systematic combined application with other
verification techniques.

ICTSS is a series of international conferences addressing the
conceptual, theoretic, and practical problems of testing software
systems, including communication protocols, services, distributed
platforms, middleware, embedded- and cyber-physical-systems, and
security infrastructures.

The ICTSS is the successor of previous (joint) conferences TESTCOM and
FATES and aims at being a forum for researchers, developers, testers,
and users to review, discuss, and learn about new approaches,
concepts, theories, methodologies, tools, and experiences in the field
of testing of communicating systems and software.

Topics of interest

* Aspects of testing: test derivation, test selection, test coverage,
test implementation and execution, test result analysis, test
oracles, test management, monitoring and runtime verification, test

* Model-based testing: Formal models and modeling languages such as
automata, state machines, process algebra, logics, UML, HOL,
Markov-chains, test generation from models, model coverage

* Combination of techniques: Techniques that demonstrate how to
cleverly and systematically combine testing and formal (model-based)
verification and analysis to improve quality and reduce effort

* Quality aspects: Functional, interoperability, performance,
conformance, security, reliability, robustness, etc.

* Application areas: Communicating systems such as protocols,
middleware, networks, web services, wireless applications, control
systems, business information systems, embedded and real-time
software, etc.

* Combinations of different testing techniques: In particular
combination of techniques for the automated generation of test data

* Tools and methods: Automated support of any of the testing
activities, rigid testing processes, testing driven development,
sound metrics and measurements

* Case studies: Case studies and industrial applications involving
qualified empirical evaluations

Types of contributions
* Research papers (max. 16 pages) describing results of theoretical or
experimental research, which must be original, significant, and

* Industrial papers (max. 16 pages) describing approaches and means to
introduce new testing methodologies in industrial contexts or
reporting on industrial best practices

Submissions and publication

All contributions to ICTSS'12 have to be submitted electronically in
PDF format via easy chair. All submissions have to follow the Springer
LNCS paper format.

The submission type according to the categories mentioned under Types
of Contributions must be stated explicitly by the author(s) upon
submission via the conference website. The submission type influences
the review criteria.

Accepted contributions must be presented at the conference. Accepted
full papers are published by Springer in the LNCS series (Final
Approval Pending). Authors need to sign a copyright transfer form to
transfer usage rights on their papers to Springer.

Important dates
June 11, 2012 Deadline for submission of abstracts
June 18, 2012 Deadline for submission of full papers
August 8, 2012 Author Notification
September 3, 2012 Deadline for Camera ready copy
November 19 - 21, 2012 Conference

Program Chairs
Brian Nielsen, Aalborg University, DK
Carsten Weise, IVU Traffic Technologies, DE

Program Committee
Bernhard K. Aichernig, TU Graz, Austria
Ana Cavalli, National Institute of Telecommunications, France
Antonia Bertolino, CNR, Italy
John Derrick, U Sheffield, United Kingdom
Khaled El-Fakih, American University of Sharjah, UAE
Jens Grabowski, U Göttingen, Germany
Wolfgang Grieskamp, Google, U.S.A
Roland Groz, Grenoble Institute of Technology, France
Toru Hasegawa, KDDI R&amb;D Labs, Japan
Klaus Havelund, Nasa Jet Propulsion Laboratory, U.S.A
Rob Hierons, U Brunel, United Kingdom
Teruo Higashino, U Osaka, Japan
Thierry Jéron, IRISA Rennes, France
Ferhat Khendek, U Concordia, Canada
Victor Kuliamin, Russain Academy of Sciences, Russia
Bruno Legeard, Smartesting, France
Stephane Maag, Telecom Sud Paris, France
Karl Meinke, KTH Royal Institute of Technology, Sweden
Mercedes Merayo, U Complutense de Madrid, Spain
Zoltan Micskei, Budapest University of Technology and Economics, Hungary
Manuel Nuñez, U Complutense de Madrid, Spain
Doron Peled, U Bar-Ilan, Israel
Alexandre Petrenko, CRIM, Canada
Paul Pettersson, U Mälardalerne, Sweden
Andrea Polini, U of Camerino, Italy
Geguang Pu, ECNU, China
Holger Schlingloff, Humboldt University Berlin, Germany
Paul Strooper, U of Queensland, Australia
Adenilso Simao, U Sao Paulo, Brazil
Kenji Suzuki, Kennisbron .Co .Ltd, Japan
Nikolai Tillmann, Microsoft Research, U.S.A
Andreas Ulrich, Siemens AG, Germany
Hasan Ural, U Ottawa, Canada
Jüri Vain, TU Tallinn, Estonia
Nicky Williams, CEA-List, France
Burkhart Wolff, U Paris-Sud, France
Nina Yevtushenko, Tomsk State University, Russia
Fatiha Zaidi, U Paris-Sud, France
Jian Zhang, Chinese Academy of Science, China

Related Resources

DSN 2023   IEEE/IFIP International Conference on Dependable Systems and Networks
SOEA 2023   7th International Conference on Software Engineering and Applications
JSEP SI on SQ4MS 2023   Special Issue on “Software Quality for Modern Systems” - Journal of Software: Evolution and Process (Wiley)
ISAI 2023   2023 the 3rd International Symposium on AI (ISAI 2023)
NLPTT 2022   3rd International Conference on NLP Trends & Technologies
Agile Testing Days USA 2023   Agile Testing Days USA, May 22-24, 2023, is looking for Speakers!
PRO-VE 2022   23rd IFIP/SOCOLNET Working Conference on Virtual Enterprises
AgileTD Open Air 2023   Agile Testing Days Open Air 2023
Middleware 2022   23rd ACM/IFIP International Conference Middleware 2022
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)