![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
20. TestCom 8. FATES 2008: Tokyo, Japan
- Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa:
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
General Software Testing
- 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
Testing Continuous and Real-Time Systems
- 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
Network Testing
- 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
Test Generation
- 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
Concurrent System Testing
- 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
Applications of Testing
- Jens R. Calamé, 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.