20. TestCom 8. FATES 2008: Tokyo, Japan

Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (Eds.): Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings. Lecture Notes in Computer Science 5047 Springer 2008, ISBN 978-3-540-68514-2

Invited Talks

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

Klaus Havelund:
Runtime Verification of C Programs. 7-22
Victor V. Kuliamin:
Test Construction for Mathematical Functions. 23-37
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

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

Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
Model-Based Firewall Conformance Testing. 103-118
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
George Din, Ina Schieferdecker, Razvan Petre:
Performance Test Design Process and Its Implementation Patterns for Multi-services Systems. 135-152

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

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

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