More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

5. FATES 2005: Edinburgh, UK

> Home > Conferences and Workshops > FATES

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fates/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/2005
Wolfgang Grieskamp, Carsten Weise:
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
- view
  authority control:
- export record
  dblp key:
  - conf/fates/BlomIPRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/BlomIPRS05
Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
Simulated Time for Testing Railway Interlockings with TTCN-3. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/fates/KervinenMPK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/KervinenMPK05
Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara:
Model-Based Testing Through a GUI. 16-31
- view
  authority control:
- export record
  dblp key:
  - conf/fates/BlassGNV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/BlassGNV05
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes:
Play to Test. 32-46
- view
  authority control:
- export record
  dblp key:
  - conf/fates/Huima05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/Huima05
Antti Huima:
A Note on an Anomaly in Black-Box Testing. 47-61
- view
  authority control:
- export record
  dblp key:
  - conf/fates/TasiranEBK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/TasiranEBK05
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu:
A Novel Test Coverage Metric for Concurrently-Accessed Software Components. 62-71
- view
  authority control:
- export record
  dblp key:
  - conf/fates/Mayer05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/Mayer05
Johannes Mayer:
Adaptive Random Testing by Bisection and Localization. 72-86
- view
  authority control:
- export record
  dblp key:
  - conf/fates/BruckerW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/BruckerW05
Achim D. Brucker, Burkhart Wolff:
Interactive Testing with HOL-TestGen. 87-102
- view
  authority control:
- export record
  dblp key:
  - conf/fates/NunezR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/NunezR05
Manuel Núñez, Ismael Rodríguez:
Conformance Testing Relations for Timed Systems. 103-117
- view
  authority control:
- export record
  dblp key:
  - conf/fates/PetrenkoY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/PetrenkoY05
Alexandre Petrenko, Nina Yevtushenko:
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. 118-133
- view
  authority control:
- export record
  dblp key:
  - conf/fates/JurdzinskiPQ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/JurdzinskiPQ05
Marcin Jurdzinski, Doron A. Peled, Hongyang Qu:
Calculating Probabilities of Real-Time Test Cases. 134-151
- view
  authority control:
- export record
  dblp key:
  - conf/fates/PeledQ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/PeledQ05
Doron A. Peled, Hongyang Qu:
Time Unbalanced Partial Order. 152-169
- view
  authority control:
- export record
  dblp key:
  - conf/fates/XieD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/XieD05
Gaoyan Xie, Zhe Dang:
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. 170-186
- view
  authority control:
- export record
  dblp key:
  - conf/fates/ZelenovZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/ZelenovZ05
Sergey V. Zelenov, Sophia A. Zelenova:
Automated Generation of Positive and Negative Tests for Parsers. 187-202
- view
  authority control:
- export record
  dblp key:
  - conf/fates/AiguierABGM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/AiguierABGM05
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

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.