| 8:45-9:00am |
Introduction and Welcome |
| 9:00-10:00am |
Session I
Serdar
Tasiran (Koc University), Tayfun Elmas (Koc University), Guven
Bolukbasi (Koc University), M.Erkan Keremoglu (Koc University)
|
A Novel Test Coverage Metric for Concurrently-Accessed
Software Components |
| Antti Huima (Conformiq
Software) |
A Note on an Anomaly in Black-Box
Testing |
|
| 10:00-10:30am |
Coffee Break |
| 10:30-12:30am |
Session II
| Gaoyan Xie (Washington
State University), Zhe Dang (Washington State University)
|
Testing Systems of Concurrent
Black-boxes - an Automata-Theoretic and Decompositional Approach
|
| Alexandre Petrenko (CRIM),
Nina Yevtushenko (Tomsk State University) |
Conformance Tests as Checking
Experiments for Partial Nondeterministic FSM |
| Andreas Blass
(University of Michigan), Yuri Gurevich (Microsoft Research,
Redmond), Lev Nachmanson (Microsoft Research, Redmond), Margus
Veanes (Microsoft Research, Redmond) |
Play to test
|
| Manuel Núńez
(Universidad Complutense de Madrid), Ismael Rodríguez
(Universidad Complutense de Madrid) |
Conformance Testing Relations for
Timed Systems |
|
| 12:30-2pm |
Lunch Break |
| 2:00-3:30pm |
Session III
| Marcin Jurdzinski
(University of Warwick), Doron Peled (Department of Computer
Science), Hongyang Qu (University of Warwick) |
Calculating Probabilities of
Real-Time Test Cases |
| Natalia Ioustinova
(Centrum voor Wiskunde en Informatica), Stefan Blom (Centrum
voor Wiskunde en Infoermatica), Jaco van de Pol (Centrum voor
Wiskunde en Informatica), Axel Rennoch (Fraunhofer FOKUS),
Natalia Sidorova (Eindhoven University of Technology) |
Simulated Time for Testing Railway
Interlockings with TTCN-3 |
| Doron Peled
(Department of Computer Science), Hongyang Qu (University of
Warwick) |
Time Unbalanced Partial Order |
|
| 3:30-4:00pm |
Coffee Break |
| 4:00-6:30pm |
Session IV
| Johannes Mayer
(University of Ulm) |
Adaptive Random Testing by
Bisection and Localization |
| Achim Brucker (ETH
Zürich), Burkhart Wolff (ETH Zürich) |
Interactive Testing with
HOL-TestGen |
| Antti Kervinen (Tampere
University of Technology), Mika Maunumaa (Tampere University of
Technology), Tuula Pääkkönen (Nokia Technology Platforms), Mika
Katara (Tampere University of Technology) |
Model-Based Testing Through a GUI
|
| Sergey Zelenov (ISP
RAS), Sophia Zelenova (ISP RAS) |
Automated Generation of Positive
and Negative Tests for Parsers |
| Pascale LE GALL (Université
d'Evry) |
Testing from Algebraic
Specifications: Test Data Set Selection by Unfolding Axioms
|
|