ICTSS 2016

ICTSS 2016
International Conference on Testing Software and Systems
Event in series	International Conference on Testing Software and Systems
Dates	Oct 17, 2016 (iCal) - Oct 19, 2016
Homepage:	http://ictss2016.ist.tugraz.at/
Location
Location:	Graz, Austria
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":47.0708678,"lon":15.4382786,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	Jun 10, 2016
Notification:	Jul 18, 2016
Camera ready due:	August 1st, 2016
Table of Contents

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.

Topics

• 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

• Combinatorial Testing: From algorithms for generating combinatorial tests to its use in industry

• 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: Functionality, interoperability, performance, conformance, security, reliability, robustness, etc.

• Application Areas: 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

• Fault localization and repair ideally in combination with testing

Committees

• Co-Organizers
• General Co-Chairs
  • Franz Wotawa, TU Graz, Austria
  • Mihai Nica, AVL, Austria
  • Natalia Kushik, Telecom SudParis, France

• PC Co-Chairs
  • some person, some affiliation, country

• Workshop Chair
  • some person, some affiliation, country

• Panel Chair
  • some person, some affiliation, country

• Seminars Chair
  • some person, some affiliation, country

• Demonstration Co-Chairs
  • some person, some affiliation, country
  • some person, some affiliation, country

• Local Organizing Co-Chairs
  • some person, some affiliation, country

• Program Committee Members
  • some person, some affiliation, country