ICTSS 2015

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. 

Keynote Speakers

Testing Software Systems - A Perspective

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

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

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

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.

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

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.