posted by user: Montimage || 11535 views || tracked by 36 users: [display]

ICTSS 2014 : International Conference on Testing Software and Systems

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Testing Software and Systems
 
Link: http://antares.sip.ucm.es/ictss14/
 
When Sep 23, 2014 - Sep 25, 2014
Where Madrid, Spain
Abstract Registration Due Apr 14, 2014
Submission Deadline Apr 21, 2014
Notification Due Jun 23, 2014
Final Version Due Jul 15, 2014
Categories    software testing   performance   formal methods   model-driven development
 

Call For Papers

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

September 23-25 2014, Madrid, Spain
http://antares.sip.ucm.es/ictss14/
==========================================================================

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

* Full papers (up to 16 pages Springer LNCS format) describing either research, which must be original, significant, and sound, or case studies and empirical studies in an industrial context on new testing methodologies and industrial best practices.

* Short papers (up to 6 pages Springer LNCS format) describing a work in progress, a small complete work, or a short industrial experience.


Submissions and publication
---------------------------
All contributions to ICTSS'14 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. Accepted short papers will also be published in the same LNCS volume in a separate section.

Important dates
---------------
14th April 2014: Deadline for abstracts
21st April 2014: Deadline for submission of papers
9th June 2014: Deadline for reviews
23rd June 2014: Notification to authors
15th July 2014: Deadline for camera-ready versions
23rd-25th September 2014: ICTSS 2014

Program Chairs
--------------
Mercedes G. Merayo, Universidad Complutense de Madrid, Spain
Edgardo Montes de Oca, Montimage, France

Program Committee (TBP)
------------------

Related Resources

WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
FM 2024   Formal Methods
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 1)
ICFEM 2024   International Conference on Formal Engineering Methods
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)