TestCom: International Conference on Testing (of Software and) Communication Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2014 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
TESTCOM 2013 Conference on Testing of Communicating Systems
Nov 13, 2013 - Nov 15, 2013 Istanbul, Turkey Jun 10, 2013 (Jun 3, 2013)
 
 

Present CFP : 2013

The 25th IFIP International Conference on Testing Software and Systems (ICTSS'13)

Testing is the most important quality assurance technique 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.

ICTSS is a forum for researchers, developers, testers, and users from industry to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of software and systems.

Topics of interest

ICTSS seeks papers addressing the conceptual, theoretic, and practical problems of testing software and systems. The topics of interest include but not limited to:

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

Model-based testing: Formal models and modeling languages based on automata, state machines, process algebra, logics, UML, HOL, Markov-chains; test generation from models addressing model and fault coverage;

Combinations of testing and formal analysis techniques: Techniques that systematically combine testing and formal (model-based) analysis to improve quality and reduce efforts;

Quality aspects: Functional, interoperability, conformance, reliability, performance, robustness, security, 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;

Tools and methods: Automated support of testing activities, agile and lean testing processes, test-driven development, sound metrics and measurements;

Case studies: Case studies and industrial applications of testing involving qualified empirical evaluations.

Types of contributions

Full papers (max. 16 pages) 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 (max. 4-6 pages) describing a work in progress, a small complete work, or a short industrial experience.

Submissions and publication

The submissions to ICTSS 2013 must present original work, not published previously and not submitted elsewhere for publication. All contributions have to be submitted electronically in PDF format via EasyChair. 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 by one of the authors who must register by the Author Registration deadline. 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. Authors need to sign a copyright transfer form to transfer usage rights on their papers to IFIP and Springer.

We are also currently discussing with a journal to arrange a special issue for the extended versions of selected papers of ICTSS 2013.

Deadlines for Papers

June 03, 2013 Deadline for submission of abstracts
June 10, 2013 Deadline for submission of full papers
August 01, 2013 Author Notification
August 27, 2013 Deadline for Camera ready copy and author registration
 

Related Resources

ITEQS 2018   2nd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
ICVAT 2017   2017 2nd International Conference on Virtualization Application and Technology
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
SMDAP_WN 2017   Special Collection on Security Mechanisms and Data Access Protocols in Innovative Wireless Networks - IJDSN (IF: 0.906)
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)
SEAS 2017   6th International Conference on Software Engineering and Applications
EI CAECT 2018   2018 International Conference on Aerospace Engineering and Control Technologies(CAECT 2018)
WCCI 2018   World Congress on Computational Intelligence
OTC 2017   5th HPI Symposium on Operating the Cloud
ISSTA 2018   International Symposium on Software Testing and Analysis