Skip to main content
  • MY AUS
  • Library
  • Strategic Plan 2020–2025
  • Prospective Students
  • Current Students
  • Faculty / Staff
  • Parents
  • Alumni
S
Home
  • About
    • AUS at a Glance
    • Vision of the Founder
    • Mission
    • Leadership
    • AUS Strategic Plan 2020–2025
    • Partners and Community
    • Employment
    • Visit and Explore
  • Admissions
    • Study at AUS
    • Bachelor's Degrees
    • Master's Degrees
    • Doctoral Degrees
    • Forms and Publications
    • International Students
    • Grants and Scholarships
    • Contact Admissions
    • Executive Education
    • Apply Now
  • Academics
    • Colleges and Schools
    • Programs and Departments
    • Achievement Academy
    • General Education Program
    • Accelerated Master’s Program
    • International Study and Exchange
    • Registrar's Services
    • Services and Resources
    • Library
    • Meet the Faculty
  • Life at AUS
    • Around Campus
    • Housing and Dining
    • Health and Wellness
    • Sustainability
    • Athletics and Recreation
    • Student Life
    • AUS Discount Program
    • On-Campus Services
    • Blog
  • Research
  • Contact Us
  • Apply Now
  • .

Index

Overview
Registration
Accepted Papers
Keynote Speakers
Program
History
Committees
Submissions
Graduate Workshop
Travel Grants
Visa Information
Venues and Accommodations
Contact Us

Overview

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

Registration

At least one author of each accepted paper has to register using the early full (author) registration option. Additional coauthors can register using the student registration option if they have not completed their PhD before the conference.

To download the registration form, click here. 

Due Date

Amount

Author registration

September 4, 2015

550 USD = 2024 AED

Early Full registration

November 3, 2015

550 USD = 2024 AED

Early Student registration

November 3, 2015

400 USD = 1472 AED

Graduate Workshop Author Registration

November 3, 2015

400 USD = 1472 AED

Late Full registration

November
19, 2015

650 USD = 2392 AED

Late Student registration

November 19, 2015

500 USD = 1840 AED

Accepted Papers

Muhammad Aziz and Syed Abdul Baqi Shah. Test-data Generation for Testing Parallel Real-Time Systems

Harald Altinger, Steffen Herbold, Jens Grabowski and Franz Wotawa. Novel Insights on Cross Project Fault Prediction applied to Automotive Software

Takeshi Kitahara, Shuichi Nawata, Masaki Suzuki, Norihiro Fukumoto and Shigehiro Ano. A Practical Evaluation Method of Network Traffic Load for Capacity Planning

Roland Groz, Adenilso Simao, Alexandre Petrenko and Catherine Oriat. Inferring Finite State Machines Without Reset Using a Characterizing W-set

Ramsay Taylor and John Derrick. mu2: A refactoring-based mutation testing framework for Erlang

Fatiha Zaidi, Huu Nghia Nguyen, Stephane Maag and Xiaoping Che. Guiding Testers' hands in monitoring tools: Application of Testing Approaches on SIP

Sylvain Hallé, Edmond La Chance and Sebastien Gaboury. Graph Methods for Generating Test Cases with Universal and Existential Constraints

Imen Boudhiba, Christophe Gaston, Pascale Le Gall and Virgile Prevosto. Model-based testing from Input Ouput Symbolic Transition Systems enriched by Program Calls and Contracts

Rui Abreu, Birgit Hofer, Franz Wotawa and Simon Außerlechner. Testing for distinguishing repair candidates in spreadsheets - the Mussco approach

Natalia Kushik and Husnu Yenigun. Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines

Mariam Lahami, Moez Krichen and Mohamed Jmaiel. Selective Test Generation Approach for Runtime Testing of Dynamic Behavioral Adaptations

Sara Abbaspour Asadollah, Rafia Inam and Hans Hansson. A Survey on Testing for Cyber Physical System

Martin A. Schneider, Marc-Florian Wendland and Andreas Hoffmann. A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing

Cleverton Hentz, Jurgen J. Vinju and Anamaria Martins Moreira. Reducing the Cost of Grammar-based Testing using Pattern Coverage

Alexandre Petrenko and Adenilso Simao. Checking Experiments for Finite State Machines with Symbolic Inputs

Ammar Sultan and Salmi Baharom. Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning

Canan Güniçen, Guy-Vincent Jourdan and Hüsnü Yenigün. Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

Stephan Weißleder, Florian Wartenberg and Hartmut Lackner. Automated Test Design for Boundaries of Product Line Variants

Keynote Speakers

Testing Software Systems - A Perspective

Dr Gregor Bochmann

Gregor
v. Bochmann 

School
of Electrical Engineering and Computer Science
University of Ottawa, Canada

Abstract: The talk will begin with a review of general testing
concepts, such as white-box and black-box testing, different realizations of
oracles (including a formal behavior specification), fault models and fault
coverage issues, and testing architectures. This will set the framework for the
following discussion, which has two parts: (a) a discussion of the history of
the ICTSS conference and the issues discussed during the early times since
around 1985, and (b) an overview of two ongoing research projects: (1) on
testing implementations against partial-order specifications, and (2) on
reverse engineering of Rich Internet Applications for vulnerability testing.

The first ICTSS conference was held in Vancouver (Canada) in
1988 and was called the International Workshop on Protocol Test Systems. The
main question discussed at that time was how to test a protocol implementation
to ensure that it satisfies all requirements of a given protocol specification
(a form of black-box testing). The main issues were the modeling language used
for the specification, fault models, and algorithms for obtaining test suites
with given fault coverage. At the same time, standardization committees of ISO
and ITU developed guidelines for architectures for protocol testing and a
language (TTCN) for specifying test cases. Later, the scope of ICTSS was
broadened to cover the testing of many other kinds of software systems.

In the second part of the talk, we will first discuss issues
that arise in testing systems against a behavior specification that defines a
partial order for the interactions of the implementation. Different
partial-order specification languages will be considered. Then another ongoing
research project on crawling Rich Internet Applications (RIAs) is discussed.
Through the testing of a given implementation, a model of the RIA is developed
(this is a kind of black-box testing, but without a reference specification).
The purpose here is to obtain a "complete" model of the application such that
each state (i.e., each page at the user interface) of the application can be
subsequently checked for security vulnerabilities or accessibility
requirements. Since the state space of these applications is usually huge, we
propose (a) different algorithms for obtaining the most important information
relatively fast, (b) concurrent exploration by multiple crawlers, and (c) some
methods for avoiding the exploration of "equivalent" and "redundant" states. 

Biography

Since 1998, Gregor v. Bochmann has
been Professor at the School of Information Technology and Engineering at the
University of Ottawa, after 25 years at the University of Montreal. He is a
Fellow of IEEE, ACM and the Royal Society of Canada. After initial research
work on programming languages and compiler design, he started work on
communication protocols around 1974 and devel­oped the field of "protocol
engineering," applying software engineering principles to communication
protocols.

In the early 1980s, he
participated in standardization committees of ISO and ITU and took a leading
role in the standardization of Formal Description Tech­niques for communication
protocols and services at the Canadian and interna­tional levels. He is
internationally well recognized for his innovative work on modeling the
behavior of distributed systems by extended finite state machines, and on their
verification and testing. He has had many research collaborations with industry
and, from 1989 to 1997, held the Hewlett-Packard - NSERC - CITI Industrial
Research Chair on communication protocols at the University of Montreal.

Dr. Bochmann has received many
prizes for his work, including the Thomas W. Eadie Medal of the Royal Society
in 2001, the Award for Excellence in Research of the University of Ottawa in
2002, and the McNaughton Gold Medal of IEEE Canada in 2011. His recent work has been in the areas of
software engineering for distributed applications, peer-to-peer systems,
quality of service and security management for Web applications, control
procedures for optical networks, and reverse engineering of Rich Internet
Applications.

Formal Modeling and Testing for Designing Future IoT based Systems

Dr Teruo Higashino

Teruo Higashino 

Graduate School of Information
Science and Technology
Osaka University, Japan

Abstract: Recently, sensing technology and IoT (Internet of Things)
have much attention for designing and developing affluent and smart social
systems. In this talk, we will focus on the design and development of future
IoT based systems such as ITS (self-driving vehicles and collision avoidance),
smart grid (power control), crowd-sensing systems from human beings with mobile
devices, and so on. We discuss considerations for developing resilient IoT
based systems such as (i) mobility influence, (ii) real-time data processing,
(iii) treatment of a huge amount of geospatial data, and so on, and provide
frameworks for their formal modeling and testing.

The reliability and performance
of most ITS and crowd-sensing systems are strongly affected from vehicular and
human mobility. In the first part of this talk, we will summarize recent
Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) wireless
communication mechanisms and crowd-sensing systems, and discuss their mobility
influence. Then, we will introduce frameworks for their formal modeling and
testing in order to improve their reliability.

In urban areas, since multiple
wireless communication devices often coexist, they interfere each other. In
such cases, geospatial monitoring and passive testing are useful in order to
observe that a set of desirable properties called "invariants" holds. In the
second part of this talk, we will summarize recent research about geospatial
monitoring and passive testing, and show how their formal modeling and testing frameworks
can be used.

In
the third part of this talk, we will focus on real-time data processing and
treatment of geospatial data. In smart grid systems, real-time feedbacks are
essential for stable power supply. In crowd-sensing systems, a huge amount of
geospatial sensing data need to be treated. General cloud servers might not be
able to be used for storing such a huge amount of data and providing real-time
feedback. We introduce recent research about edge computing (fog computing),
and provide frameworks for its formal modeling and testing.

Biography

Teruo Higashino received a PhD in Information and
Computer Sciences from Osaka University, Japan, in 1984. He joined the faculty
of Osaka University in 1984. Since 1999, he has been a professor at Osaka
University, and currently he leads the Mobile Computing Laboratory in the Graduate
School of Information Science and Technology. He has studied protocol testing
for EFSM, timed automata and process algebra. Recently, he is studying hybrid
methods combining passive testing and simulation in order for testing IoT based
systems. He also studies algorithms, software and design methodologies for
mobile/ubiquitous computing systems, ITS, Cyber Physical Systems (CPS), IT
technology for disaster mitigation and green innovation, and so on. He has
served on general/program co-chairs of several reputed international
conferences such as IEEE ICNP, IEEE ICDCS, IEEE P2P and ATVA conferences. He
has served as co-chair of the IEEE Intelligent Transportation Systems Society
Technical Committee on Mobile Communication Networks. Dr. Higashino is Senior
Member of IEEE, Member of the Science Council of Japan (SCJ), Senior Program
Officer of the Japan Society for the Promotion of Science (JSPS: Japanese NSF)
and Fellow of the Information Processing Society of Japan (IPSJ).

Program

To download the program, click here. 

Monday, November 23, 2015

Venue: American University of Sharjah (AUS), Sharjah, Main Building, Room Main-G42

Note: Busses will be available at the conference
venue (Movenpick Hotel Deira Dubai) to take participants to American University
of Sharjah at 8:30 a.m.

9:30-10:20

Registration

10:20-10:30

Opening

10:30-11:30

Gregor von Bochmann

Testing
Software Systems - A Perspective

11:30-12:00

Coffee Break

12:00-13:30

Session 1: Model Based Testing

Session Chair: Dieter Hogrefe

· Alexandre
Petrenko and Adenilso Simao

Checking Experiments for Finite State
Machines with Symbolic Inputs

· Canan Güniçen,
Guy-Vincent Jourdan and Hüsnü Yenigün

Using Multiple Adaptive Distinguishing
Sequences for Checking Sequence Generation

· Imen Boudhiba,
Christophe Gaston, Pascale Le Gall and Virgile Prevosto

Model-based Testing from Input Ouput
Symbolic Transition Systems Enriched by Program Calls and Contracts

13:30-15:00

Lunch

15:00-16:30

Session 2: Test Derivation Methods

Session Chair: Ana Cavalli

· Sylvain Hallé,
Edmond La Chance and Sebastien Gaboury

Graph Methods for Generating Test Cases
with Universal and Existential Constraints

· Cleverton Hentz,
Jurgen J. Vinju and Anamaria Martins Moreira

Reducing the Cost of Grammar-based
Testing using Pattern Coverage

· Stephan
Weißleder, Florian Wartenberg and Hartmut Lackner

Automated Test Design for Boundaries of
Product Line Variants

17:00

Busses
Leave AUS to Movenpick Hotel Deira, Dubai

20:00

Program
Committee Meeting

Tuesday, November 24, 2015

Venue: Movenpick Hotel Deira, Dubai, Room
Al Barsha I & II

9:30-10:30

Teruo Higashino

Formal
Modeling and Testing for Designing Future IoT based Systems

10:30-11:00

Coffee Break

11:00-12:30

Session 3: Monitoring and Fault
Localization

Session Chair: Husnu Yenigun

· Xiaoping Che, Stephane
Maag, Huu Nghia Nguyen and Fatiha Zaidi

Guiding Testers' Hands in Monitoring
Tools: Application of Testing Approaches on SIP

· Rui Abreu, Simon
Außerlechner, Birgit Hofer and Franz Wotawa

Testing for Distinguishing Repair
Candidates in Spreadsheets: The Mussco Approach

· Harald Altinger,
Steffen Herbold, Jens Grabowski and Franz Wotawa

Novel Insights on Cross Project Fault
Prediction Applied to Automotive Software

12:30-13:30

Lunch

13:30-15:00

Session 4: Model and System Testing

Session Chair: Ferhat Khendek

· Roland Groz,
Adenilso Simao, Alexandre Petrenko and Catherine Oriat

Inferring Finite State Machines Without
Reset Using State Identification Sequences

· Ramsay Taylor
and John Derrick

mu2: A Refactoring-Based Mutation Testing
Framework for Erlang

· Sara Abbaspour
Asadollah, Rafia Inam and Hans Hansson

A Survey on Testing for Cyber Physical
System

15:30-22:00

Excursion and Conference Dinner

Wednesday, November 25, 2015

Venue: Movenpick Hotel Deira, Dubai, Room
Al Barsha I & II

9:30-11:00

ICTSS 2015 Graduate Workshop

Session Chair: Ana Cavalli

· Kenji Yoi, Khaled El-Fakih and Keiichi Yasumoto

An Appliance Control
System for Reaching Target Temperature and Humidity

with Minimal Cost in
Smart Home

· AbdulRahim
Haddad

Experiments with Separating Sequences for
Nondeterministic FSMs

· Hanin Mohamed AlMuhallabi

A
Survey of Penetration Testing for Web Applications

· Aleksandr
Tvardovskii

Minimizing Test Suites against Timed Nondeterministic Finite State
Machines

11:00-11:30

Coffee Break

11:30-12:30

Session 5: Real-Time Systems

Session Chair: Keiichi Yasumoto

· Muhammad Waqar Aziz and Syed Abdul Baqi Shah

Test-data Generation for Testing Parallel
Real-Time Systems

· Mariam Lahami, Moez Krichen, Hajer Barhoumi and Mohamed
Jmaiel

Selective Test Generation Approach for
Runtime Testing Dynamic Behavioral Adaptations

12:30-13:30

Lunch

13:30-14:50

Session 6: Short Papers

Session Chair: Mercedes Merayo

· Natalia Kushik
and Husnu Yenigun

Heuristics for Deriving Adaptive Homing
and Distinguishing Sequences for Nondeterministic Finite State Machines

· Ammar Mohammed
Sultan, Salmi Baharom, Abdul Azim Abd Ghani, Jamilah Din and Hazura Zulzalil

Genetic Algorithm Application for
Enhancing State-Sensitivity

· Martin A.
Schneider, Marc-Florian Wendland and Andreas Hoffmann

A Negative Input Space Complexity Metric
as Selection Criterion for Fuzz Testing

· Takeshi
Kitahara, Shuichi Nawata, Masaki Suzuki, Norihiro Fukumoto and Shigehiro Ano

A Practical Evaluation Method of Network
Traffic Load for Capacity Planning

14:50

Closing

History

Formerly, ICTSS was known as the
International Workshop for Protocol Test Systems (IWPTS). Nine workshops took
place:

  • IWPTS'88:
    Vancouver, BC, Canada
  • IWPTS'89:
    Berlin, Germany, October 1989
  • IWPTS'90:
    McLean, Virginia, USA, October 1990
  • IWPTS'91:
    Leidschendam, Netherlands, October 1991
  • IWPTS'92:
    Montréal, Canada, September 1992
  • IWPTS'93:
    Pau, France, September 1993
  • IWPTS'94:
    Tokyo, Japan, November 1994
  • IWPTS'95:
    Evry, France, September 1995
  • IWPTS'96:
    Darmstadt, Germany, September 1996

In 1997 it
became the International Workshop on Testing of Communicating Systems (IWTCS).
There were three workshops:

  • IWTCS'97:
    Cheju Island, Korea, September 1997
  • IWTCS'98:
    Tomsk, Russia, August-September 1998
  • IWTCS'99:
    Budapest, Hungary, September 1999

In 2000, the
conference was renamed as the International Conference on Testing of Communicating
Systems (TESTCOM) and nine TESTCOMs were held:

  • TESTCOM'00 : Ottawa, Canada, August-September 2000
  • TESTCOM'02:
    Berlin, Germany, March 2002
  • TESTCOM'03 : Sophia Antipolis, France, May 2003
  • TESTCOM'04 : Oxford, UK, 2004
  • TESTCOM'05
    : Montreal, PQ, Canada, 2005
  • TESTCOM'06
    : New York City, USA, 2006
  • TESTCOM/FATES'07: Tallinn, Estonia, 2007
  • TESTCOM/FATES'08: Tokyo, Japan, 2008
  • TESTCOM/FATES'09: Eindhoven, the Netherlands, 2009

Since 2010 the
conference has been called the International Conference on Testing of Software
and Systems (ICTSS). The conference locations and dates have been as follows:

  • ICTSS
    '10: Natal, Brazil, November 2010
  • ICTSS
    '11: Paris, France, November 2011
  • ICTSS
    '12: Aalborg, Denmark, November 2012
  • ICTSS
    '13: Istanbul, Turkey, November 2013
  • ICTSS
    '14: Madrid, Spain, September 2014

Committees

General Chairs

  • Khaled El-Fakih,
    American University of Sharjah, UAE
  • Gerassimos
    Barlas, American University of Sharjah, UAE
  • Nina
    Yevtushenko, Tomsk State University, Russia

Graduate Workshop Chair

  • Ana R. Cavalli,
    Telecom SudParis, France

Local Organization Committee

  • Khaled El-Fakih,
    American University of Sharjah, UAE
  • Gerassimos
    Barlas, American University of Sharjah, UAE
  • Abdulrahman
    Al-Ali, American University of Sharjah, UAE

Publicity Chair

  • Moez
    Krichen, Al-Baha University, KSA
  • Uraz
    Turker, Brunel University, UK

Steering Committee

  • Ana R. Cavalli,
    Telecom SudParis, France
  • Rob Hierons,
    Brunel University, UK (Chair)
  • Mercedes G.
    Merayo, Universidad Complutense de Madrid, Spain
  • Edgardo Montes
    de Oca, Montimage, France
  • Brian Nielsen,
    Aalborg University, Denmark
  • Andreas Ulrich,
    Siemens AG, Germany
  • Carsten Weise,
    IVU Traffic Technologies, Germany
  • Cemal Yilmaz,
    Sabanci University, Turkey
  • Husnu Yenigun,
    Sabanci University, Turkey

Technical Program Committee

  • Rui
    Abreu, University of Porto, Portugal
  • Gerassimos
    Barlas, American University of Sharjah, UAE
  • Gregor
    v. Bochmann, University of Ottawa, Canada
  • Kirill
    Bogdanov, University of Sheffield, UK
  • John
    Derrick, University of Sheffield, UK
  • Khaled
    El-Fakih, American University of Sharjah, UAE
  • Vahid
    Garousi, Hacettepe University, Turkey
  • Sudipto
    Ghosh, Colorado State University, USA
  • Jens
    Grabowski, Georg-August-University of Goettingen, Germany
  • Roland
    Groz, Grenoble INP-LIG, France
  • Dieter
    Hogrefe, Goettingen University, Germany
  • Thierry
    Jéron, Inria Rennes-Bretagne Atlantique, France
  • Guy-Vincent
    Jourdan, University of Ottawa, Canada
  • Ferhat
    Khendek, Concordia University, Canada
  • Moez
    Krichen, Al-Baha University, KSA
  • Hartmut Koenig, BTU Cottbus, Germany
  • Victor
    Kuliamin, Russian Academy of Sciences, Russia
  • Pascale
    Le Gall, Université d'Evry, France
  • Bruno
    Legeard, Smartesting, France
  • Stephane
    Maag, Telecom SudParis, France
  • Patricia
    Machado, Federal Univ. of Campina Grand, Brazil
  • Wissam
    Mallouli, Montimage, France
  • Nashat
    Mansour, Lebanese American University, Lebanon
  • Wes
    Masri, American University of Beirut, Lebanon
  • Mercedes
    Merayo, Universidad Complutense de Madrid, Spain
  • Tejeddine
    Mouelhi, itrust, Luxembourg
  • Brian
    Nielsen, Aalborg University, Denmark
  • Manuel
    Nunez, Universidad Complutense de Madrid, Spain
  • Jan
    Peleska, TZI, Universitat Bremen, Germany
  • Alexander
    K. Petrenko, Russian Academy of Sciences, Russia
  • Adenilso
    Simao, ICMC/USP, Brazil
  • Kenji
    Suzuki, Kennisbron Co., Ltd, Japan
  • Uraz
    Turker, Brunel University, UK
  • Hasan
    Ural, University of Ottawa, Canada
  • Farn
    Wang, National Taiwan University, Taiwan
  • Neil
    Walkinshaw, University of Leicester, UK
  • Stephan
    Weissleder, Thales Deutschland, Germany
  • Franz
    Wotawa, Technische Universitaet Graz, Austria
  • Hirozumi
    Yamaguchi, Osaka University, Japan
  • Keiichi
    Yasumoto, NAIST, Japan
  • Hüsnü
    Yenigün, Sabanci University, Turkey
  • Nina
    Yevtushenko, Tomsk State University, Russia
  • Cemal
    Yilmaz, Sabanci University, Turkey
  • Fatiha
    Zaidi, Université Paris-Sud, France

Submissions

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 2015 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. Authors need to sign
a copyright transfer form to transfer usage rights on their papers to IFIP and
Springer.

IFIP Author Code of Conduct

As ICTSS 2015 is an IFIP Conference, authors must be aware of the IFIP Author Code
of Conduct.

Graduate Workshop

The International Conference on Testing Software and
Systems ICTSS 2015 Graduate Workshop provides a forum for MS and PhD students
to present preliminary results and their thesis work and receive constructive
feedback from experts in the field as well as from their peers. Also it is an
opportunity for researchers to get an overview of the latest research topics in
the field. We invite applications from MS and PhD students at any stage of
their graduate studies.

The topic of the student's thesis should be within the
scope of ICTSS (please see https://www.aus.edu/ictss15 ). This will,
naturally, be a work-in-progress. It can be in the early planning phase, or be
close to the finishing stage of the thesis.

To give a presentation in the workshop, you will be
asked to submit an abstract of your presentation which is no longer than 6-8
pages (PDF), formatted in the LNCS style. The submitted contributions will be
evaluated by the Workshop Technical Program Committee.

Publication

Accepted contributions will be published in the form of
informal proceedings of the workshop and paper copies will be handed out to the
participants. At the workshop, you will have the opportunity to present your
thesis project and receive feedback from the audience and mentors.

All accepted contributions should register through the
main ICTSS 2015 registration site at the student rate. Registered students can thus attend ICTSS
sessions (November 23 to 25) and the banquet (November 24).

Important
Dates

  • October 11, 2015: Deadline for submission of papers (submit your paper by email to [email protected]  and copy [email protected])
  • October 21, 2015: Author Notification
  • November 3, 2015 : Deadline for
    Camera Ready Copy
  • November 25, 2015: ICTSS 2015-Graduate Workshop

Workshop Chair

Ana R. Cavalli,
Telecom SudParis, France

Workshop Technical Program Committee

Javier Bailoisian, U. de la Republica, Uruguay
Natalia Kushik, Tomsk State U., Russia
Stephane Maag, Telecom SudParis, France
Wissam Mallouli, Montimage, France
Mercedes Merayo, U. Complutense de Madrid, Spain
Fatiha Zaidi, U. de Paris
Sud, France
Franz Wotawa,
Technische U. Graz, Austria

Local
Organization

Khaled
El-Fakih, American University of Sharjah, UAE
Gerassimos
Barlas, American University of Sharjah, UAE

Travel Grants

A limited
number of partial travel grants, supported by the IFIP, are available for MSc
and PhD student-authors of accepted papers of ICTSS 2015.

In order to
apply for these grants, please:

  • Send an e-mail to [email protected] explaining how attending ICTSS
    2015 will benefit your work, together with a one-page CV, and
  • Have your supervisor support your
    application by sending an e-mail message to [email protected]

The grants are
for travel only. IFIP will reimburse the granted amount by making a direct
deposit to the bank account of the recipients of the grant after the
conference. You will need to provide the IFIP with the original invoice(s).

The recipients
of the grant are required to register at the main conference before the early author
registration deadline. A student can use the student rate if another author of
the paper has used the full registration option.

  • Deadline
    for application: August 21, 2015
  • Notification:
    August 24, 2015
  • Early author
    registration deadline: Sept. 3, 2015

Visa Information

Citizens of the following countries can obtain a visa upon entry: Andorra, Australia, Austria, Belgium, Brunei, Bulgaria, Canada, Croatia, Cyprus, Czech, Denmark, Estonia, Finland, France, Germany, Greece, Hong Kong, Hungary, Holland, Iceland, Italy, Ireland, Japan, Latvia, Liechtenstein, Lithuania, Luxembourg, Malaysia, Malta, Monaco, New Zealand, Norway, Poland, Portugal, Romania, San Marino, Singapore, Slovakia, Slovenia, South Korea, Spain, Sweden, Switzerland, United Kingdom, United States and Vatican.

Participants from
countries other than those listed above should kindly:

1. Prepare the following
documents:

a. a
clear passport copy with six-months' validity on the date of travel

b. one
passport photograph on white background

c. invitation
letter (You can obtain an invitation letter
by sending an email to  [email protected].)

2. Email copies of the
above documents to Mr. Ali Al Hoti  [email protected]  (Sina
Star Tourist Agency)
and cc a copy of your email to [email protected].

Note: The visa
fee is AED 350 (the AUS special rate). The
agency will inform you about the fee payment procedure. Mr. Ali Al Hoti may be contacted at +971
050 481 4 866 or +971 050 422 4 113.

Venues and Accommodations

  • On November 23, 2015, the conference will be held at
    the Main Building, American University of Sharjah (AUS), Sharjah, UAE. Location
    information can be found here.
  • On November 24 and 25, the conference will be held at
    the Mövenpick Hotel Deira, Dubai.
    P.O. Box 234344, Dubai,
    United Arab Emirates
    Phone: +971 4 4440111
    Email: [email protected]
    Website

Important Note: On November 23, the first day of
the conference, busses will be provided to bring ICTSS15 attendees from the
Mövenpick Hotel Deira (in Deira, Dubai) to American University of Sharjah (AUS).
Furthermore, AUS can be easily reached from Dubai or Sharjah by taxi. Taxis are
also available at the AUS campus.

Accommodations

Dubai has numerous hotel accommodations with a wide
variety of categories and prices.

The conference
venue is the Mövenpick Hotel Deira, Dubai.

Please note
that there are many other hotels near the conference venue. A simple search for
"Deira, Dubai, UAE" in booking.com will provide you with all related details.

Contact Us

Khaled El Fakih
Tel +971 6 515 2492
[email protected]

Department of Computer Science and Engineering
College of Engineering
American University of Sharjah
PO Box 26666
Sharjah, UAE

Payment Error

Thank You for Registering

ABOUT US

  • Accreditation
  • Job Opportunities
  • Leadership
  • Maps and Directions
  • Safety and Security

APPLY

  • Financial Grants
  • Funding and Assistantships
  • Undergraduate
  • Graduate
  • Study Abroad
  • Residential Halls

RESOURCES

  • AUS Catalogs
  • Academic Calendar
  • Photo Gallery
  • Discover Sharjah
  • Library
  • FAQ

TOOLS

  • AUS Employee Email
  • AUS Student Email
  • MY AUS

© 2021 American University of Sharjah. All rights reserved.

  • PRIVACY POLICY
  • SITEMAP
  • CONTACT US