TESTCOM 2005

 

Tutorials, May 30th, 2005

 

8:00 – 9:00 - Registration

9:00 – 12:00- Tutorial 1 (Coffee break  10:30 -10:45)

Model-Driven Engineering MDA, MOF, OCL, Model Transformers, and Their Application to Testing

Hajo Eichler (Fraunhofer FOKUS) and  Ina Schieferdecker (Technical University Berlin/ Fraunhofer FOKUS), Berlin, Germany

 

12:00 – 14:00 - Lunch

 

14:00 – 17:00  Tutorial 2 (Coffee break 15:30 – 15:45)

Modeling and Test Generation for Voice Over IP Applications: Challenges and Solutions

Umit Uyar, City University of New York, USA and James Allen, Avaya, New Jersey, USA

 

 

Technical Program

 

Tuesday May 31st, 2005

 

8:00 – 9:00 - Registration

9:00 – 9:30 - Conference Opening

Chairs: R. Dssouli & F. Khendek

Welcome words: Nabil Esmail, Dean Faculty of Engineering and Computer Science

 

9:30 – 10: 30 – Keynote Speaker:  Professor Tom  Maibaum

Canada Research Chair in Software Engineering Foundations

McMaster University, Hamilton, Canada

 

10:30 – 11:00 - Break and Refreshments

 

11:00 – 12:00 -  EFSM Based Testing

Chair: David Lee, Dept. of Computer Science and Engineering, Ohio State University

 

Passive Testing - a Constrained Invariant Checking Approach

Tork Ladani Behrouz, University of Isfahan, Alcalde Baptiste, Institut National des Télécommunications

Cavalli Ana, Institut National des Télécommunications

 

Dependence Testing: Extending Data Flow Testing with Control Dependence

Hyoung Hong, Concordia University, Hasan Ural, University of Ottawa

 

12:00 – 13:30 - Lunch

 

13:30 – 15:00 – Software Testing

Chair: Roland Groz

 

Comparing Bug Finding Tools with Reviews and Tests

Stefan Wagner, Technische Universität München, Jan Jürjens, Technische Universität München

Claudia Koller, Technische Universität München, Peter Trischberger, o2 Germany

 

Cross-Language Functional Testing for Middleware   

Arno Puder, San Francisco State University, Limei Wang, University of Southern California

 

Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams

Huaizhong Li, Edith Cowan University, C. Peng Lam, Edith Cowan University

 

15:00 – 15:30 – Break and Refreshments

 

15:30 – 17:00 - Testing Theory and Foundations

Chair: Gregor von Bochmann, SITE, University of Ottawa

 

Action refinement in conformance testing

Machiel Van der Bijl, Universiteit Twente, Arend Rensink, Universiteit Twente

Jan Tretmans, Radboud Universiteit Nijmegen

 

 Multiplexing of Partially Ordered Events

Colin Campbell, Microsoft Research, Redmond, Jiale Huo, McGill University, Canada

Canada Margus Veanes, Microsoft Research, Redmond, Alexandre Petrenko, Computer Research Institute of Montreal,

 

Testing Communicating Systems: a Model, a Methodology, and a Tool

Ismail berrda, Labri, Bordeaux, France, Richard Castanet, labri, Bordeaux, France

Patrick Felix, Labri, Bordeaux, France

 

 

Wednesday June 1st, 2005

 

8:00 – 9:00 - Registration

 

9:00 – 10:30 – FSM based Testing and Diagnosis

Chair: Umit Uyar, City University of New York, USA

 

Coping with Nondeterminism in Network Protocol Testing

Ray Miller, Department of Computer Science, University of Maryland, Dongluo Chen, Dept. of Computer Science, Tsinghua University, China, David Lee, Dept. of Computer Science and Engineering, Ohio State University, Ruibing Hao, Bell Labs Research China, Lucent

 

 Eliminating Redundant Tests in a Checking Sequence

Jessica Chen, School of Computer Science, University of Windsor, Ontario, Canada, Robert M. Hierons, Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex, UK, Hasan Ural, SITE, University of Ottawa, Ottawa, Ontario, Canada, Husnu Yenigun, Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey

 

On FSM-based Fault Diagnosis

Zoltan Pap, Department of Telecommunications and Media Informatics, Budapest University of Technology and Economics, Gyula Csopaki, Department of Telecommunications and Media Informatics, Budapest University of Technology and Economics, Sarolta Dibuz, Ericsson, Sweden

 

10:30 – 11:00 -  Break and Refreshments

 

11:00 – 12:30 -  Timed Systems

Chair:  Pierre de Saqui-Sannes, ENSICA, Toulouse

 

State identification problems for timed automata

Moez Krichen, Verimag, Grenoble, France, Stavros Tripakis, Verimag, Grenoble, France

 

Timing Fault Models for Systems with Multiple Timers

Umit Uyar, City College of the City Unviersity of New York ,Yu Wang, City College of the City Unviersity of New York, Samrath Bath, City College of the City Unviersity of New York, Adriana Wise, CUNY, New York, USA, Mariusz Fecko, Telcordia Technologies, Inc.

 

An Expressive and Implementable Formal Framework for Testing Real-Time Systems

Moez Krichen, Verimag, Grenoble, France, Stavros Tripakis, Verimag, Grenoble, France

 

12:30-14:30 -  Lunch

 

14:30 – 16:30: Testing Communication Networks and Systems

Chair: Ana Cavalli, Institut National des Télécommunications, France

 

Firewall Conformance Testing

Diana Senn, ETH Zürich, David Basin, ETH Zürich , Germano Caronni, ETH Zürich

 

Test Generation for Interaction Detection in Feature-rich Communication Systems

Caixia Chi, Lucent Technologies, Bell Labs, Ruibing Hao, Lucent Technologies, Bell Labs

 

Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms

Keqin Li, Bell Labs, Lucent Technologies, David Lee, Ohio State University, USA

 

Detecting Trapdoors in Smart Cards Using Timing and Power Analysis

Jung youp Lee, Graduate School of Information Security, Korea University, Seoul, Korea

Seok won Jung, Graduate School of Information Security, Korea University, Seoul, Korea

Jong in Lim, Graduate School of Information Security, Korea University, Seoul, Korea

 

 

Banquest:  June 1, 2005 at 7:00 p.m.
Le Milsa
1445 A, rue Bishop,
Montreal, Quebec
H3G 2E4
Tel. #: (514) 985-0777
 (514) 844-4550

 

Thursday June 2nd

 

8:00 – 9:00 - Registration

 

10:00 – 11:30 – TTCN-3

Chair:  Hasan Ural, SITE, University of Ottawa

 

 From U2TP Models to Executable Tests with TTCN-3

Justyna Zander, Fraunhofer FOKUS, Zhen Ru Dai, Fraunhofer FOKUS

Ina Schieferdecker, Fraunhofer FOKUS, George Din, Fraunhofer FOKUS

 

Using TTCN-3 for testing Platform Independent Models

Gabor Batori, Ericsson Hungary, Domonkos Asztalos, Ericsson Hungary

 

 Some lessons from an experiment using TTCN-3 for the RIPng testing

Annie Floch, IRISA/INRIA, Frédéric Roudaut, IRISA/Université de Rennes I

Ariel Sabiguero, IRISA and Instituto de Computación/Universidad de la Republica (Uruguay)

Cesar Viho, IRISA/Université de Rennes I

 

 

11:30 – 13:30 – Lunch

 

13:30 – 15:00 - Interoperability and Robustness Testing

Chair: Alexandre Petrenko, CRIM, Montreal

 

 A model-based approach for robustness testing

Jean-claude fernandez, VERIMAG/ Université Joseph Fourier, Laurent Mounier, VERIMAG/ Université Joseph Fourier, Cyril Pachon, VERIMAG/ Université Joseph Fourier

 

Content-Level Conformance Testing: An Information Mapping Case Study

Boonserm Kulvatunyou, NIST, Nenad Ivezic, NIST, Albert T. Jones, NIST, USA

 

 Quiescence Management improves Interoperability Testing

Alexandra Desmoulin, IRISA/Université de Rennes I, Cesar Viho, IRISA/Université de Rennes I

 

15:00 – 15:30 – Break and Refreshments

 

15:30 – 16:00 – Closing