posted by user: petermkruse || 5526 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

ITE 2021   2nd International Conference on Integrating Technology in Education
ISSTA 2021   International Symposium on Software Testing and Analysis
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
CYBI 2021   8th International Conference on Cybernetics & Informatics
WSAI--Ei Compendex and Scopus 2021   IEEE--2021 the 3rd World Symposium on Artificial Intelligence (WSAI 2021)--Ei Compendex, Scopus
CAIML 2021   2nd International Conference on Artificial Intelligence and Machine Learning
ECBS 2021   7th Conference on the Engineering of Computer Based Systems
ITCON 2020   6th International Conference on Information Technology Converge Services
IWPR--SPIE, Ei Compendex, Scopus 2021   SPIE--2021 6th International Workshop on Pattern Recognition (IWPR 2021)--Ei Compendex, Scopus