American University of Sharjah

ICTSS 2015

Conferences ICTSS 2015

Overview

The International Conference on Testing Software and Systems (ICTSS) addresses 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 the successor of previous (joint) conferences TESTCOM and FATES and aims to be 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.

Important Dates

  • Thursday, July 2, 2015: Deadline for submission of abstracts and papers
  • Monday, August 10, 2015: Author notification
  • Tuesday, September 1, 2015: Camera-ready papers due
  • November 23-25, 2015: ICTSS 2015

Publication

Accepted papers will be published by Springer in the Lecture Notes in Computer Science series.

Topics of Interest

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

  • 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 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
  • Combinations of different testing 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 and industrial applications involving qualified empirical evaluations 

Call for Papers

To download the Call for Papers, please click here

Sponsors

Conference-ICTSS-2015-Sponsors

AUS News and Events

AUS News and Events

Campus happenings

read more >

Future Students

Future Students

World of possibilities

read more >

Outreach

Outreach

Making connections

read more >

Student Life

Student Life

Find your place

read more >

AUS Chatbox

AUS Chatbox

Hear your voice!

read more >