18. TestCom 8. FATES 2008: Tokyo, Japan

Invited Talks

• Yutaka Yasuda:
  All-IP Based Ultra 3G Network/Service Development in a Competitive Market. 1-4
  Electronic Edition (link) BibTeX
• Paul Baker:
  Models and Testing - A Recipe for Improved Effectiveness?. 5-6
  Electronic Edition (link) BibTeX

General Software Testing

• Klaus Havelund:
  Runtime Verification of C Programs. 7-22
  Electronic Edition (link) BibTeX
• Victor V. Kuliamin:
  Test Construction for Mathematical Functions. 23-37
  Electronic Edition (link) BibTeX
• Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen:
  Model-Based Testing Service on the Web. 38-53
  Electronic Edition (link) BibTeX

Testing Continuous and Real-Time Systems

• Thao Dang, Tarik Nahhal:
  Using Disparity to Enhance Test Generation for Hybrid Systems. 54-69
  Electronic Edition (link) BibTeX
• Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock:
  Modeling Property Based Stream Templates with TTCN-3. 70-85
  Electronic Edition (link) BibTeX
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
  THOTL: A Timed Extension of HOTL. 86-102
  Electronic Edition (link) BibTeX

Network Testing

• Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
  Model-Based Firewall Conformance Testing. 103-118
  Electronic Edition (link) BibTeX
• Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee:
  VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. 119-134
  Electronic Edition (link) BibTeX
• George Din, Ina Schieferdecker, Razvan Petre:
  Performance Test Design Process and Its Implementation Patterns for Multi-services Systems. 135-152
  Electronic Edition (link) BibTeX

Test Generation

• Adenilso da Silva Simão, Alexandre Petrenko:
  Generating Checking Sequences for Partial Reduced Finite State Machines. 153-168
  Electronic Edition (link) BibTeX
• Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan:
  Testing Systems Specified as Partial Order Input/Output Automata. 169-183
  Electronic Edition (link) BibTeX
• Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil:
  Test Purpose Concretization through Symbolic Action Refinement. 184-199
  Electronic Edition (link) BibTeX

Concurrent System Testing

• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
  Implementation Relations for the Distributed Test Architecture. 200-215
  Electronic Edition (link) BibTeX
• Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz:
  Modular System Verification by Inference, Testing and Reachability Analysis. 216-233
  Electronic Edition (link) BibTeX
• Farn Wang, Geng-Dian Huang:
  Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. 234-249
  Electronic Edition (link) BibTeX

Applications of Testing

• Jens R. Calame, Jaco van de Pol:
  Applying Model-Based Testing to HTML Rendering Engines - A Case Study. 250-265
  Electronic Edition (link) BibTeX
• Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini:
  Model-Based Generation of Testbeds for Web Services. 266-282
  Electronic Edition (link) BibTeX
• Diana Alina Serbanescu, Victoria Molovata, George Din, Ina Schieferdecker, Ilja Radusch:
  Real-Time Testing with TTCN-3. 283-301
  Electronic Edition (link) BibTeX