posted by user: petermkruse || 3867 views || tracked by 22 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Testing Software and Systems
 
Link: http://ictss2012.aau.dk/
 
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
http://ictss2012.aau.dk/
==========================================================================

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
-----
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
frameworks

* 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
sound

* 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

ISSTA 2018   International Symposium on Software Testing and Analysis
AI 2017   3rd International Conference on Artificial Intelligence and Applications
OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation
NMOCT 2017   3rd International Conference on Networks, Mobile Communications and Telematics (NMOCT-2017)
ICIST 2018   24th International Conference on Information and Software Technologies
SIPRO 2018   4th International Conference on Signal and Image Processing
ISSEA 2018   Special Session on Intelligent Systems and Software Engineering Advances
ART 2018   IEEE Transactions on Reliability Special Section on Adaptive Random Testing
VLSIA 2017   3rd International Conference on VLSI and Applications
IMDA 2018   INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING