5. FATES 2005: Edinburgh, UK

Wolfgang Grieskamp, Carsten Weise (Eds.): Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3997 Springer 2006, ISBN 3-540-34454-3 BibTeX

Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
Simulated Time for Testing Railway Interlockings with TTCN-3. 1-15
Electronic Edition (link) BibTeX
Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara:
Model-Based Testing Through a GUI. 16-31
Electronic Edition (link) BibTeX
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes:
Play to Test. 32-46
Electronic Edition (link) BibTeX
Antti Huima:
A Note on an Anomaly in Black-Box Testing. 47-61
Electronic Edition (link) BibTeX
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu:
A Novel Test Coverage Metric for Concurrently-Accessed Software Components. 62-71
Electronic Edition (link) BibTeX
Johannes Mayer:
Adaptive Random Testing by Bisection and Localization. 72-86
Electronic Edition (link) BibTeX
Achim D. Brucker, Burkhart Wolff:
Interactive Testing with HOL-TestGen. 87-102
Electronic Edition (link) BibTeX
Manuel Núñez, Ismael Rodríguez:
Conformance Testing Relations for Timed Systems. 103-117
Electronic Edition (link) BibTeX
Alexandre Petrenko, Nina Yevtushenko:
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. 118-133
Electronic Edition (link) BibTeX
Marcin Jurdzinski, Doron Peled, Hongyang Qu:
Calculating Probabilities of Real-Time Test Cases. 134-151
Electronic Edition (link) BibTeX
Doron Peled, Hongyang Qu:
Time Unbalanced Partial Order. 152-169
Electronic Edition (link) BibTeX
Gaoyan Xie, Zhe Dang:
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. 170-186
Electronic Edition (link) BibTeX
Sergey V. Zelenov, Sophia A. Zelenova:
Automated Generation of Positive and Negative Tests for Parsers. 187-202
Electronic Edition (link) BibTeX
Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre:
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. 203-217
Electronic Edition (link) BibTeX