|
Preliminary
Program
Overview
Information for presenters
Day1
Day2
Day3
|
Overview
|
Monday
May 26
|
Tuesday
May 27
|
Wednesday
May 28
|
|
Morning
|
- Conference Opening
- Keynote 1
- THEME
I:
NEXT GENERATION NETWORKS, IP AND UMTS
|
- Keynote 2
-
THEME III: AUTOMATA BASED METHODOLOGY (1)
|
- Keynote 3
-
THEME V: AUTOMATA BASED METHODOLOGY (2)
|
|
|
|
|
|
|
Afternoon
|
-
THEME II: TTCN-3
|
- THEME IV: INTEROPERABILITY
TESTING
|
THEME
VI:
TEST DESIGN, TOOLS AND METHODOLOGY
|
|
|
|
|
|
|
Evening
|
Welcome
Reception
Invited
|
Social Event
Excursion to Saint-Paul de Vence
|
..
|
|
Monday
26th May
|
|
|
Registration
opens 8:00
|
09.00 - 09.15
09.15 - 09.30
|
Conference
Opening: Conference Organisers
Welcome Speech: Mr Yves Chauvel, ETSI, Head of the Co-ordination
and Funded Work Program Department |
|
09.30 - 10.30
|
Keynote Presentation
Dr. Elaine Weyuker
AT&T Labs Research
"Prediction
= Power"
|
|
10.30 - 11.00
|
--------------------------Coffee
Break--------------------------- |
|
11.00 - 11.30
|
THEME I: NEXT GENERATION NETWORKS,
IP AND UMTS
UMTS
Terminal Testing: A Practical Perspective,
Olaf Bergengruen
|
|
11.30 - 12.00
|
Testing
of 3G 1xEV-DV Stack - A Case Study
Ira Acharya, Hemendra Kumar Singh |
|
12.00 - 12.30
|
Testing
SIP Call Flows Using XML Protocol Template
M. Ranganathan, Olivier Deruelle, Doug Montgomery |
|
12.30 - 14.00
|
--------------------------Lunch------------------------------------ |
|
14.00 - 14.30
|
Towards
Modeling and Testing of IP Routing Protocols
Jianping Wu, Zhongjie Li, Xia Yin |
|
14.30 - 15.00
|
THEME
II: TTCN-3
An
Intuitive TTCN-3 Data Presentation Format
Roland Gecse, Sarolta Dibuz |
|
15.00 - 15.30
|
--------------------------Coffee
Break--------------------------- |
|
15.30 - 16.00
|
The
UML 2.0 Testing Profile and its Relation to TTCN-3
Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch |
|
16.00 - 16.30
|
Realizing
Distributed TTCN-3 Test Systems with TCI
Ina Schieferdecker, Theofanis Vassiliou-Gioles |
|
16.30 - 17.00
|
TimedTTCN-3
Based Graphical Real-Time Test Specification
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen |
|
17.30
|
--------------------------Welcome
Reception---------------------------
The speech at the welcome reception coctail will be given
by Senateur Laffitte, Senateur of the Alpes Maritimes
Region and President of the prestigious Sophia
Antipolis Foundation.
|
|
Tuesday 27th
May
|
|
|
9.00 - 10.00
|
Keynote
Presentation
Mr. Philippe Cousin
Manager, ETSI PlugtestsTM Service |
|
10.00 - 10.30
|
THEME
III: AUTOMATA BASED METHODOLOGY (1)
Testing
Transition Systems with Input and Output Testers
Alex Petrenko, Nina Yevtushenko, Jia Le Huo |
|
10.30 - 11.00
|
--------------------------Coffee
Break--------------------------- |
|
11.00 - 11.30
|
Generating
Checking Sequences for a Distributed Test Architecture
Hasan Ural, Craig Williams |
|
11.30 - 12.00
|
2-3 Position statements/short
papers
A
Firm Step of 3GPP for UE Conformance & Interoperability
Shicheng Hu |
|
12.00 - 12.30
|
Conformance
of Distributed Systems
Maximilian Frey , Bernd-Holger Schlingloff |
|
12.30 - 14.00
|
--------------------------Lunch------------------------------------ |
|
14.00 - 14.30
|
THEME IV: INTEROPERABILITY
TESTING
Interoperability
Testing Based on a Fault Model for a System of Communicating
FSMs
Vadim Trenkaev, Myungchul Kim, Soonuk Seol |
|
14.30 - 15.00
|
Framework
and Model for Automated Interoperability
Péter Krémer, Sarolta Dibuz |
|
15.00 - 15.30
|
--------------------------Coffee
Break--------------------------- |
|
15:30 - 16.30
|
Panel Discussion,
Conformance, Interopability or Both
Moderator, Mr. Steve Randall, PQM |
|
16:45
|
--------------------------Social
Event--------------------------
Presentation
of IFIP Best Paper Award |
|
Wednesday 28th
May
|
|
|
9.00 - 10.00
|
Keynote
Presentation
Prof. Ana Cavalli
INT/Testnet |
|
10.00 - 10.30
|
THEME V: AUTOMATA
BASED METHODOLOGY (2)
An
Automata-based Approach to Property Testing in Event Traces
Hesham Hallal, Serge Boroday, Andreas Ulrich, Alexandre
Petrenko |
|
10.30 - 11.00
|
--------------------------Coffee
Break---------------------------- |
|
11.00 - 11.30
|
Fault Diagnosis
in Extended Finite State Machines
Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko,
Gregor v. Bochmann |
|
11.30 - 12.00
|
2-3 Position statements/short papers
Test
Generation for a Protocol During the Standardization Process
An Experience with Mobile IPv6
C. Viho, S. Barbin, F. Roudaut
The
TTCN-3 module and template concepts revisited
Michael Schmitt, Michael Ebner
|
|
12.00 - 12.30
|
A
Guided Method for Testing Timed Input Output Automata
Abdeslam En-Nouaary, Rachida Dssouli |
|
12.30 - 14.00
|
--------------------------Lunch------------------------------------- |
|
14.00 - 14.30
|
THEME
VI: TEST DESIGN, TOOLS AND METHODOLOGY
An Open Framework for Managed Regression Testing
Naina Mittal |
|
14.30 - 15.00
|
TUB-TCI An Architecture
for Dynamic Deployment of Test Components
Markus Lepper, Baltasar Trancòn y Widemann,
Jacob Wieland |
|
15.00 - 15.30
|
--------------------------Coffee
Break---------------------------- |
|
15.30 - 16.00
|
2-3 Position statements/short papers
Interworking:
Testing step by step
Jean-Noel Rollet
|
|
16.00 - 16.30
|
Fast Testing of
Critical Properties through Passive Testing
José Antonio Arnedo, Ana Cavalli, Manuel Núñez |
|
16.30 - 17.00
|
Summary discussion and close
Presentation of PQM Award
|
[ Home
] [ Submission
] [ Online
Meeting ] [ Contact
]
|
|
