All-IP Based Ultra 3G Network/Service Development in a Competitive Market.

Yutaka Yasuda

 1-4

Models and Testing - A Recipe for Improved Effectiveness?.

Paul Baker

 5-6

Runtime Verification of C Programs.

Klaus Havelund

 7-22

Test Construction for Mathematical Functions.

Victor V. Kuliamin

 23-37

Model-Based Testing Service on the Web.

Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen

 38-53

Using Disparity to Enhance Test Generation for Hybrid Systems.

Thao Dang, Tarik Nahhal

 54-69

Modeling Property Based Stream Templates with TTCN-3.

Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock

 70-85

THOTL: A Timed Extension of HOTL.

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

 86-102

Model-Based Firewall Conformance Testing.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

 103-118

VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection.

Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee

 119-134

Performance Test Design Process and Its Implementation Patterns for Multi-services Systems.

George Din, Ina Schieferdecker, Razvan Petre

 135-152

Generating Checking Sequences for Partial Reduced Finite State Machines.

Adenilso da Silva Simão, Alexandre Petrenko

 153-168

Testing Systems Specified as Partial Order Input/Output Automata.

Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan

 169-183

Test Purpose Concretization through Symbolic Action Refinement.

Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil

 184-199

Implementation Relations for the Distributed Test Architecture.

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez

 200-215

Modular System Verification by Inference, Testing and Reachability Analysis.

Roland Groz, Keqin Li 0002, Alexandre Petrenko, Muzammil Shahbaz

 216-233

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.

Farn Wang, Geng-Dian Huang

 234-249

Applying Model-Based Testing to HTML Rendering Engines - A Case Study.

Jens R. Calame, Jaco van de Pol

 250-265

Model-Based Generation of Testbeds for Web Services.

Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini

 266-282

Real-Time Testing with TTCN-3.

Diana Alina Serbanescu, Victoria Molovata, George Din, Ina Schieferdecker, Ilja Radusch

 283-301