- Klaus Havelund:
Runtime Verification of C Programs. TestCom/FATES 2008: 7-22 - Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215 - Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen:
Model-Based Testing Service on the Web. TestCom/FATES 2008: 38-53 - Victor V. Kuliamin:
Test Construction for Mathematical Functions. TestCom/FATES 2008: 23-37 - Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102 - Diana Alina Serbanescu, Victoria Molovata, George Din, Ina Schieferdecker, Ilja Radusch:
Real-Time Testing with TTCN-3. TestCom/FATES 2008: 283-301 - 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. TestCom/FATES 2008: 119-134 - Adenilso da Silva Simão, Alexandre Petrenko:
Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom/FATES 2008: 153-168 - Farn Wang, Geng-Dian Huang:
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. TestCom/FATES 2008: 234-249 - Yutaka Yasuda:
All-IP Based Ultra 3G Network/Service Development in a Competitive Market. TestCom/FATES 2008: 1-4 - 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 [contents] - 2007
- Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho:
New Approach for EFSM-Based Passive Testing of Web Services. TestCom/FATES 2007: 13-27 - David Cebrián, Valentín Valero Ruiz, Fernando Cuartero:
Automation of Avionic Systems Testing. TestCom/FATES 2007: 28-40 - Camille Constant, Bertrand Jeannet, Thierry Jéron:
Automatic Test Generation from Interprocedural Specifications. TestCom/FATES 2007: 41-57 - Alexandra Desmoulin, César Viho:
A New Method for Interoperability Test Generation. TestCom/FATES 2007: 58-73 - Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson:
Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware. TestCom/FATES 2007: 74-89 - Alain Faivre, Christophe Gaston, Pascale Le Gall:
Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES 2007: 90-106 - Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier:
A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES 2007: 107-122 - László Gönczy, Reiko Heckel, Dániel Varró:
Model-Based Testing of Service Infrastructure Components. TestCom/FATES 2007: 155-170 - Cyril Grepet, Stéphane Maag:
Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols. TestCom/FATES 2007: 123-137 - Maxim Gromov, Tim A. C. Willemse:
Testing and Model-Checking Techniques for Diagnosis. TestCom/FATES 2007: 138-154 - Stefan Haar, Claude Jard, Guy-Vincent Jourdan:
Testing Input/Output Partial Order Automata. TestCom/FATES 2007: 171-185 - Tamás Horváth, Tibor Sulyán:
A Framework for Testing AIS Implementations. TestCom/FATES 2007: 186-198 - Antti Huima:
Implementing Conformiq Qtronic. TestCom/FATES 2007: 1-12 - Luiz Kawakami, André Knabben, Douglas Rechia, Denise Gasques Bastos, Otavio Pereira, Ricardo Pereira e Silva, Luiz C. V. dos Santos:
An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones. TestCom/FATES 2007: 199-211 - Vesa Luukkala, Ian Oliver:
Model Based Testing of an Embedded Session and Transport Protocol. TestCom/FATES 2007: 212-227 - Helmut Neukirchen, Martin Bisanz:
Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites. TestCom/FATES 2007: 228-243 - Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh:
A Bounded Incremental Test Generation Algorithm for Finite State Machines. TestCom/FATES 2007: 244-259 - Przemyslaw Plesowicz, Mieczyslaw Metzger:
Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control. TestCom/FATES 2007: 260-275 - Sebastian Schmerl, Hartmut König:
Towards Systematic Signature Testing. TestCom/FATES 2007: 276-291